En el día de eth_proofs, @drakefjustin verificó en vivo la prueba del Pico ZKVM de @brevis_zk utilizando el cliente zklighthouse, ¡sin necesidad de volver a ejecutar la transacción para finalizar el bloque directamente, y exclamó que la era Gigagas ETH está por llegar! Sin duda, Brevis ha sido nuevamente señalado por la Fundación Ethereum. ¿Qué está tramando Brevis? Revisé su último libro blanco de ProverNet, junto con la demostración, y descubrí que efectivamente es diferente de otras soluciones zk: 1) En general, el mercado de pruebas ZK sigue un modelo de proveedor único, pero Brevis ha encontrado un problema incómodo en el entorno de producción: por ejemplo, el proceso de Rebate fuera de la cadena de @Uniswap necesita que ZK proporcione una solución de transparencia, la tarifa VIP de @PancakeSwap debe realizar una verificación de prueba en menos de un segundo antes de cada transacción, y @eulerfinance requiere un procesamiento por lotes de más de 100,000 direcciones para la distribución de incentivos, lo que también plantea requisitos de rendimiento. Siguiendo la lógica normal, diferentes escenarios de demanda requieren configuraciones de hardware, especificaciones del sistema de pruebas y direcciones de optimización completamente diferentes. Si se trata de un proveedor único, solo puede optimizar profundamente para necesidades temporales o proporcionar una solución generalizada que no satisfaga completamente. De esta manera, es evidente que es difícil satisfacer las exigencias diferenciadas en escenarios verticales; 2) La solución ProverNet que Brevis quiere implementar es muy simple: construir un mercado bilateral donde las aplicaciones planteen sus necesidades y los Prover profesionales pujen por los contratos, es decir, un mecanismo TODA (subasta doble de representación real). Esta solución "marketizada" puede manejar simultáneamente múltiples tipos de pruebas heterogéneas, permitiendo que las aplicaciones con necesidades específicas obtengan el Prover más profesional y especializado para un servicio a medida. De hecho, se puede ir más allá; si se encuentra con tareas más complejas, diferentes Prover pueden descomponer tareas para colaborar, por ejemplo, una prueba zkVM podría ser dividida en partes por A, comprimida por B, agregada por C y finalmente empaquetada por D. En resumen, la especialización y la división del trabajo pueden satisfacer una demanda de mercado más diversa. Eso es todo. La lógica es bastante simple: se trata de cambiar de la mentalidad de "vender palas" a la de construir un "mercado"; el sistema de servicios de proveedores puramente centralizado se está trasladando hacia un Marketplace descentralizado. La llamada era Gigagas ETH no requiere simplemente herramientas únicas, sino una infraestructura que pueda coordinar a todos los Prover de la red.