En eth_proofs Día, @drakefjustin usó el cliente zklighthouse para verificar la prueba de @brevis_zk Pico ZKVM en el momento, finalizando bloques directamente sin reejecutar transacciones, y gritó que se avecinaba la era del ETH de Gigagas. No hay duda de que Brevis ha sido una vez más seleccionado personalmente por la Fundación Ethereum. ¿A qué tipo de juego juega Brevis? Después de hojear su último white paper de ProverNet y añadir una demo, descubrí que efectivamente es diferente a otras soluciones zk: 1) Generalmente, el mercado de pruebas 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 cadena de @Uniswap requiere que ZK proporcione una resolución transparente, la tarifa VIP de @PancakeSwap requiere comprobaciones de prueba de menos de un segundo antes de cada transacción, y @eulerfinance requiere un tiempo determinado para agrupar la distribución de incentivos para direcciones superiores a 10W, lo que requiere rendimiento. Según la lógica normal, varios escenarios de demanda diferentes tienen configuraciones de hardware completamente distintas, especificaciones de sistema y direcciones de optimización completamente distintas. Si es un solo proveedor, solo puede optimizar escenarios en profundidad para necesidades temporales, o solo puede ofrecer un plan general. De este modo, es evidente que es difícil satisfacer las necesidades diferenciadas de escenarios verticales complicados; 2) La solución ProverNet que Brevis quiere hacer es muy sencilla: construir un mercado bilateral, la parte de la aplicación aumenta la demanda y el Prover profesional puja y recibe órdenes, es decir, el mecanismo TODA (Real Reproduction Double Auction). Una solución "orientada al mercado" puede gestionar de forma natural múltiples tipos de pruebas heterogéneos al mismo tiempo, de modo que las aplicaciones que satisfacen las necesidades de escenarios subdivididos puedan obtener el Prover más profesional y bueno para servicios de contraparte especial. Por ejemplo, una demostración de zkVM puede estar compuesta por A para el fragmentado, B para la compresión, C para la agregación y D para la encapsulación final. En resumen, división profesional del trabajo y derivación para satisfacer demandas de mercado más diversificadas. Encima. De hecho, la lógica es muy simple, es decir, desde el pensamiento de "vender palas" en el pasado hasta construir un "mercado", y el sistema centralizado de servicios a proveedores en el pasado ha cambiado hacia un mercado descentralizado. En la llamada era Gigagas ETH, lo que se necesita no es un único servicio de herramienta, sino una infraestructura que pueda programar toda la red de proveadores.