jakiro
Autor: Haotian; Fuente: X, @tmel0211
El día de eth_proofs, Justin Drake usó el cliente zklighthouse para verificar la prueba de Brevis Pico ZKVM en el sitio: puede finalizar bloques directamente sin volver a ejecutar transacciones, y gritó que la era de Gigagas ETH está llegando.
No hay duda de que Brevis ha sido seleccionado una vez más por la Fundación Ethereum. Entonces, ¿qué está planeando Brevis exactamente?
Después de leer su último documento técnico y demostración de ProverNet, descubrí que, de hecho, es diferente de otras soluciones de zk:
1) Generalmente, el mercado de certificación ZK sigue un modelo de proveedor único., pero Brevis encontró un problema embarazoso en el entorno de producción: por ejemplo, el proceso de reembolso fuera de la cadena de Uniswap requiere que ZK proporcione una solución transparente, la tarifa VIP de PancakeSwap requiere verificaciones de prueba de menos de un segundo antes de cada transacción, y la asignación de incentivos de Euler Labs que requiere una cierta cantidad de tiempo para procesar por lotes más de 100,000 direcciones tiene requisitos de rendimiento.
Según la lógica normal, varios escenarios de demanda diferentes tienen requisitos completamente diferentes en cuanto a la configuración del hardware, especificaciones de sistema probadas y direcciones de optimización.Si se trata de un único proveedor, solo puede realizar una optimización profunda de la escena para necesidades temporales o solo puede proporcionar una solución y un compromiso generales. De esta forma, resulta evidentemente difícil satisfacer las necesidades complicadas y diferenciadas en escenarios verticales;
2) La solución ProverNet que Brevis quiere hacer es muy simple: construir un mercado bilateral., la parte solicitante presenta la demanda y el Prover profesional puja y recibe la orden, que es el mecanismo TODA (Doble Subasta de Reproducción Verdadera). Una solución «orientada al mercado» de este tipo puede manejar naturalmente múltiples tipos de pruebas heterogéneas al mismo tiempo, de modo que las aplicaciones con requisitos de escenarios subdivididos puedan obtener el Prover más profesional para proporcionar servicios de contraparte dedicados.
De hecho, podemos dar un paso más. Si nos encontramos con tareas más complejas, diferentes Provers también pueden desmontar las tareas y colaborar.Por ejemplo, una prueba de zkVM se puede dividir por A, comprimir por B, agregar por C y empaquetar final por D. En resumen, se requiere una división profesional del trabajo y una escisión para satisfacer demandas de mercado más diversificadas.
arriba.
De hecho, la lógica es muy simple: desde el pasado pensando en «vender palas» hasta construir un «mercado», el sistema de servicios de proveedores puramente centralizado del pasado se ha transferido a un Mercado descentralizado.
En la llamada era Gigagas ETH, lo que se necesita no es de ninguna manera un servicio de herramienta única, sino una infraestructura que pueda programar Prover en toda la red.
