Brevis publica el libro blanco de ProverNet, detallando el primer mercado descentralizado de generación de pruebas de conocimiento cero

Chainfeeds Guía de lectura:

ProverNet se lanzará oficialmente en breve, y se anunciarán más detalles de implementación y el cronograma en el futuro.

Fuente del artículo:

Autor del artículo:

Brevis

Opinión:

Brevis: La arquitectura de ProverNet considera los diferentes tipos de pruebas como distintos productos en una subasta. Las aplicaciones especifican los requisitos de prueba, incluyendo el tipo de procesamiento (ejecución zkVM, prueba de datos, agregación recursiva), fecha límite, tarifa máxima y parámetros de calidad. El mecanismo TODA calcula la asignación óptima en cada ronda, emparejando solicitudes heterogéneas con las capacidades de prueba adecuadas. Este mecanismo resuelve los desafíos únicos del mercado de generación de pruebas. Los mecanismos de subasta tradicionales se basan en la suposición de homogeneidad de los productos, mientras que TODA puede manejar múltiples tipos de pruebas simultáneamente. Las tareas de prueba complejas se dividen en subtareas, ejecutadas en colaboración por diferentes probadores. Por ejemplo, una prueba zkVM puede implicar la generación de fragmentos en un probador, la compresión en otro, la agregación en un tercero y, finalmente, el encapsulamiento de la verificación final en un cuarto sistema especializado. TODA garantiza varias propiedades económicas: veracidad (la estrategia óptima es ofertar honestamente); equilibrio presupuestario (las tarifas cobradas superan los pagos realizados); racionalidad individual (ningún participante acepta tareas no rentables) y optimalidad asintótica (a medida que aumenta la oferta de probadores, la asignación se acerca a la máxima eficiencia). ProverNet se construye sobre la infraestructura de pruebas existente de Brevis, que incluye dos productos complementarios para atender diferentes necesidades computacionales. Pico zkVM adopta una arquitectura de "núcleo universal + coprocesador de alto rendimiento", donde un núcleo minimalista y eficiente se conecta a aceleradores criptográficos dedicados, permitiendo que los programas obtengan optimización de hardware dirigida mientras ejecutan una máquina virtual estable. Pico Prism ha logrado recientemente una cobertura de pruebas del 99,6% de los bloques de Ethereum con un límite de gas de 45 millones, completando el 96,8% de las pruebas en 12 segundos, con un tiempo promedio de prueba de 6,9 segundos. Este sistema utiliza un clúster de 64×RTX 5090 GPU, logrando pruebas en tiempo real con un coste de hardware un 50% menor que el zkVM más eficiente del mercado. El coprocesador de datos ZK permite a los contratos inteligentes acceder a datos históricos de blockchain y ejecutar cálculos off-chain verificables criptográficamente. Las aplicaciones soportadas por este sistema incluyen la tarifa VIP de PancakeSwap (verificación del volumen de operaciones de 30 días antes de la transacción), la distribución de recompensas sin confianza de Euler (procesamiento de saldos ponderados por tiempo de miles de direcciones) y los reembolsos de enrutamiento de Uniswap v4 (verificación de elegibilidad de transacciones sin necesidad de un libro mayor centralizado), entre otros. Estas integraciones demuestran la demanda de pruebas intensivas en datos, diferente de la verificación de cálculos generales. Estos sistemas establecen conjuntamente la viabilidad económica de la verificación criptográfica en tiempo real a escala de capa base, al tiempo que atienden los tipos de cargas de trabajo heterogéneas que impulsan la arquitectura de mercado de ProverNet. ProverNet representa una transición de la infraestructura de un solo proveedor de pruebas hacia una asignación de recursos basada en la demanda del mercado. Las redes de probadores existentes suelen estar optimizadas para casos de uso estrechos (por ejemplo, pruebas de Rollup específicas, máquinas virtuales específicas o tipos de trabajo homogéneos), lo que limita su capacidad para atender eficientemente demandas diversificadas. El modelo de subasta de mercado permite a los equipos de pruebas centrarse en objetivos de optimización específicos (procesamiento por lotes basado en STARK, pruebas SNARK de baja latencia, operaciones criptográficas específicas) sin necesidad de construir una infraestructura universal, mientras que las aplicaciones pueden obtener precios competitivos y garantía de servicio sin verse afectadas por el bloqueo de proveedores. Para los desarrolladores, esto elimina el dilema entre construir una infraestructura de pruebas personalizada (costosa y lenta) y depender de servicios centralizados (que introducen supuestos de confianza), ya que la verificación criptográfica garantiza la corrección de los cálculos y la competencia del mercado asegura la eficiencia de precios y la disponibilidad de capacidad.