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 otra oportunidad.

Fuente del artículo:

Autor del artículo:

Brevis

Opinión:

Brevis: La arquitectura de ProverNet considera los diferentes tipos de pruebas como distintos bienes en una subasta. Las aplicaciones especifican los requisitos de prueba, incluyendo el tipo de procesamiento (ejecución zkVM, pruebas 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 bienes, 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 bloques 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 recientemente logró 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 costo 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 (verificando el volumen de operaciones de 30 días antes de la transacción), la distribución de recompensas sin confianza de Euler (procesando saldos ponderados por tiempo de miles de direcciones) y los reembolsos de enrutamiento de Uniswap v4 (verificando la elegibilidad de la transacción sin un libro mayor centralizado), entre otros. Estas integraciones demuestran la demanda de pruebas intensivas en datos, diferente a la verificación de cálculos generales. Estos sistemas, en conjunto, establecen la viabilidad económica de la verificación criptográfica en tiempo real a escala de capa base, atendiendo al mismo tiempo los tipos de cargas de trabajo heterogéneas que impulsan la arquitectura de mercado de ProverNet. ProverNet representa una transición de una 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 específicos (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 diversas. El modelo de subasta de mercado permite que los equipos de pruebas se centren 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 generalista, mientras que las aplicaciones pueden obtener precios competitivos y garantía de servicio, sin estar sujetas a la dependencia 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.