Brevis lanza el Whitepaper de ProverNet: el primer marketplace descentralizado para la generación de pruebas de conocimiento cero

Fuente: Brevis

Brevis ha publicado hoy el Whitepaper de ProverNet, presentando su arquitectura de marketplace descentralizado para la generación de pruebas de conocimiento cero (zero-knowledge proofs), derivada de pruebas en entornos reales de producción multicadena. Este sistema aborda una limitación fundamental en la infraestructura de pruebas existente: la incapacidad de servir eficazmente cargas de trabajo informáticas heterogéneas que requieren diferentes hardware, sistemas de pruebas y métodos de optimización.

ProverNet considera la generación de pruebas como un mercado de dos lados, donde las aplicaciones envían solicitudes específicas y los provers especializados pujan para satisfacer estas necesidades. El mercado opera a través de un mecanismo de subasta doble en línea veraz (TODA), diseñado para manejar múltiples tipos de pruebas simultáneamente, garantizando pujas honestas y una asignación óptima de recursos. ProverNet planea lanzarse a finales de 2025.

La escala de producción revela limitaciones de infraestructura

La infraestructura actual de Brevis ha generado más de 124 millones de pruebas para 98,000 usuarios, abarcando protocolos como PancakeSwap, Uniswap, Euler, Linea y MetaMask, facilitando la distribución de recompensas sin confianza por valor de 224 millones de dólares. Estos despliegues han revelado prominentemente la diversidad del trabajo de prueba, lo que dificulta que una arquitectura de proveedor único sirva eficazmente.

El sistema de descuento de comisiones VIP de PancakeSwap requiere generar pruebas en menos de un segundo para cada trader antes de cada operación para verificar la elegibilidad. La distribución de incentivos de Euler procesa 100,000 direcciones cada cuatro horas, priorizando el rendimiento sobre la latencia. La actividad del ecosistema de Linea ha generado 12.1 millones de pruebas para el cálculo de recompensas multiprotocolo que involucran a 61,902 direcciones. Cada carga de trabajo requiere diferentes configuraciones de hardware, sistemas de pruebas (SNARKs vs. STARKs) y características de rendimiento.

Michael, CEO y cofundador de Brevis, declaró: "Los sistemas de pruebas existentes están optimizados para casos de uso específicos, como ciertos Rollups, máquinas virtuales individuales o tipos de carga de trabajo homogéneos. El inicio de ProverNet proviene de nuestra observación de que las aplicaciones requieren fundamentalmente diferentes enfoques de prueba. Un mercado donde compiten provers especializados es más eficiente que cualquier operador único que intente servir todos los casos de uso".

Arquitectura de mercado y mecanismo TODA

La arquitectura de ProverNet trata diferentes tipos de pruebas como diferentes productos básicos en una subasta. Las aplicaciones especifican los requisitos de prueba, incluidos los tipos de procesamiento (ejecución zkVM, pruebas de datos, agregación recursiva), plazos, comisiones máximas y parámetros de calidad. El mecanismo TODA calcula la asignación óptima en cada ronda, emparejando solicitudes heterogéneas con capacidades de prueba adecuadas.

Este mecanismo aborda un desafío único del mercado de generación de pruebas. Los mecanismos de subasta tradicionales se basan en la suposición de bienes homogéneos, mientras que TODA es capaz de manejar múltiples tipos de pruebas simultáneamente. Las tareas de prueba complejas se descomponen en subtareas, que son ejecutadas colaborativamente por diferentes provers.

Por ejemplo, una prueba zkVM puede implicar fragmentación en un prover, compresión en otro, agregación en un tercero y, finalmente, validación de empaquetado en un cuarto sistema especializado.

TODA garantiza varias propiedades económicas:

Veracidad (la estrategia óptima es pujar honestamente)

Equilibrio presupuestario (las comisiones recaudadas superan las comisiones pagadas)

Racionalidad individual (ningún participante acepta tareas no rentables)

Optimalidad asintótica (a medida que crece la oferta de provers, la asignación se acerca a la máxima eficiencia).

Este mercado funciona en la Brevis Chain, una arquitectura de Rollup dedicada diseñada específicamente para la coordinación de subastas. Esta arquitectura aísla el rendimiento del mercado de la congestión de la red de Capa 1 o Capa 2 mientras mantiene la transparencia y la participación sin permisos. Las pruebas generadas a través de ProverNet pueden validarse contra cualquier blockchain de destino.

Pico zkVM y prueba en tiempo real

ProverNet se basa en la infraestructura de pruebas existente de Brevis, que incluye dos productos complementarios para satisfacer diferentes necesidades computacionales.

Pico zkVM adopta una arquitectura de "núcleo general + coprocesador de alto rendimiento", donde un núcleo ultraeficiente está conectado a un acelerador criptográfico dedicado, lo que permite que los programas ejecuten una máquina virtual estable mientras se benefician de optimizaciones de hardware específicas.

Pico Prism logró recientemente una cobertura de prueba del 99.6% de un bloque 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. El sistema utiliza un clúster de 64×RTX 5090 GPU y logra pruebas en tiempo real a un costo de hardware un 50% menor en comparación con la zkVM líder del mercado anterior.

El ZK Data Coprocessor permite que los smart contract accedan a datos históricos de blockchain y realicen cálculos verificables fuera de la cadena.

Las aplicaciones compatibles con este sistema incluyen la tasa VIP de PancakeSwap (verificación previa a la transacción de 30 días de volumen trading), la distribución de recompensas sin confianza de Euler (procesamiento de saldos ponderados por tiempo de miles de direcciones) y los reembolsos de ruta de Uniswap v4 (verificación de la elegibilidad de la transacción sin un libro mayor centralizado).

Estas integraciones demuestran los requisitos de prueba intensivos en datos que difieren de la verificación de computación de propósito general.

Juntos, estos sistemas establecen la viabilidad económica de la verificación criptográfica en tiempo real en la capa fundamental mientras sirven a los tipos de carga de trabajo heterogéneos que incentivan la arquitectura de mercado de ProverNet.

Impacto en el ecosistema ZK

ProverNet representa un cambio de la infraestructura de un solo proveedor de pruebas a la asignación de recursos impulsada por el mercado. Las redes de provers 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 servir eficazmente demandas diversas.

El modelo de subasta de mercado permite a los equipos de provers centrarse en objetivos de optimización específicos (por ejemplo, procesamiento por lotes basado en STARK, pruebas SNARK de baja latencia, operaciones criptográficas específicas) sin necesidad de construir una infraestructura genérica. Las aplicaciones pueden beneficiarse de precios competitivos y garantías de servicio sin estar sujetas a la dependencia del proveedor.

Para los desarrolladores, esto elimina el dilema de equilibrar la construcción de una infraestructura de prueba personalizada (costosa y lenta) y depender de servicios centralizados (introduciendo suposiciones de confianza), porque la verificación criptográfica garantiza la corrección de la computación mientras que la competencia del mercado garantiza la eficiencia de los precios y la disponibilidad de recursos.

Más información

El whitepaper completo de ProverNet se puede encontrar en la siguiente dirección: http://www.brevis.network/whitepaper/provernet.pdf

Se ha publicado un resumen técnico conciso en el blog de Brevis: https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/

Este artículo es contenido contribuido y no representa los puntos de vista de BlockBeats.