Brevis ha publicado el libro blanco de ProverNet, que detalla el primer mercado descentralizado de generación de pruebas de conocimiento cero.
Fuente: Brevis
Brevis ha publicado hoy el Libro Blanco de ProverNet, donde presenta su arquitectura de mercado descentralizada para la generación de pruebas de conocimiento cero, derivada de pruebas en un entorno de producción de protocolos multicadena convencionales. Este sistema resuelve una limitación fundamental de la infraestructura de pruebas existente: la incapacidad de gestionar eficazmente cargas de trabajo informáticas heterogéneas que requieren hardware, sistemas de prueba y métodos de optimización diferentes.
ProverNet concibe la generación de pruebas como un mercado bilateral, donde las aplicaciones envían solicitudes específicas y los verificadores especializados compiten para satisfacerlas. El mercado opera mediante un mecanismo de subasta doble en línea transparente, diseñado para gestionar simultáneamente múltiples tipos de pruebas, garantizando la honestidad de las ofertas y una asignación óptima de recursos. ProverNet tiene previsto su lanzamiento para finales de 2025.
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, y facilitando la distribución de recompensas sin intermediarios por valor de 224 millones de dólares. Estas implementaciones han puesto de manifiesto la diversidad del trabajo de verificación de autenticidad, lo que dificulta que una única arquitectura de proveedor pueda dar servicio de forma eficaz.
El sistema de descuentos VIP de PancakeSwap requiere generar pruebas en menos de un segundo para cada operador antes de cada transacción, con el fin de verificar su elegibilidad. El sistema de 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 61 902 direcciones. Cada carga de trabajo requiere configuraciones de hardware, sistemas de prueba (SNARKs frente a STARKs) y características de rendimiento diferentes.
Michael, CEO y cofundador de Brevis, declaró: «Los sistemas de prueba 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. La creación de ProverNet surge de nuestra observación de que las aplicaciones requieren, fundamentalmente, enfoques de prueba diferentes. Un mercado donde compiten verificadores especializados es más eficiente que cualquier operador individual que intente abarcar todos los casos de uso».
La arquitectura de ProverNet trata los distintos tipos de prueba como bienes diferentes en una subasta. Las aplicaciones especifican los requisitos de prueba, incluyendo los tipos de procesamiento (ejecución de zkVM, pruebas de datos, agregación recursiva), plazos, tarifas máximas y parámetros de calidad. El mecanismo TODA calcula la asignación óptima en cada ronda, relacionando las solicitudes heterogéneas con las capacidades de prueba adecuadas.
Este mecanismo aborda un desafío singular 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 puede gestionar múltiples tipos de pruebas simultáneamente. Las tareas de prueba complejas se descomponen en subtareas, que son ejecutadas de forma colaborativa por diferentes probadores.
Por ejemplo, una prueba zkVM puede implicar la segmentación en un probador, la compresión en otro, la agregación en un tercero y, finalmente, la validación del empaquetado en un cuarto sistema especializado.
TODA garantiza varias propiedades económicas:
Veracidad (la estrategia óptima es pujar con honestidad)
Saldo presupuestario (los ingresos recaudados superan los ingresos pagados)
Racionalidad individual (ningún participante acepta tareas no rentables)
Óptimo asintótico (a medida que aumenta la oferta de probadores, la asignación se aproxima a la máxima eficiencia).
Este mercado opera en la Brevis Chain, una arquitectura 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 las redes de capa 1 o capa 2, manteniendo la transparencia y la participación sin permisos. Las pruebas generadas a través de ProverNet pueden validarse en cualquier blockchain de destino.
ProverNet se basa en la infraestructura de prueba 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 al tiempo que se benefician de optimizaciones de hardware específicas.
Pico Prism alcanzó recientemente una cobertura de prueba del 99,6 % en 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 GPU RTX 5090 y logra pruebas en tiempo real con un coste de hardware un 50 % menor en comparación con el anterior líder del mercado, zkVM.
El coprocesador de datos ZK permite que los contratos inteligentes accedan a datos históricos de la cadena de bloques 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 del volumen de operaciones de los últimos 30 días), 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 con gran cantidad de datos que difieren de la verificación de computación de propósito general.
En conjunto, estos sistemas establecen la viabilidad económica de la verificación criptográfica en tiempo real en la capa fundamental, al tiempo que dan servicio a los tipos de cargas de trabajo heterogéneas que incentivan la arquitectura de mercado de ProverNet.
ProverNet representa un cambio desde la infraestructura de un único proveedor de pruebas hacia la asignación de recursos impulsada por el mercado. Las redes de probadores existentes suelen estar optimizadas para casos de uso específicos (por ejemplo, pruebas Rollup concretas, máquinas virtuales concretas o tipos de trabajo homogéneos), lo que limita su capacidad para atender de forma eficiente diversas demandas.
El modelo de subasta de mercado permite a los equipos de pruebas 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 desarrollar una infraestructura genérica. De este modo, las aplicaciones pueden beneficiarse de precios competitivos y garantías de servicio sin estar sujetas a la dependencia de un proveedor.
Para los desarrolladores, esto elimina el dilema de equilibrar la creación de una infraestructura de prueba personalizada (costosa y que requiere mucho tiempo) y la dependencia de servicios centralizados (que introduce supuestos de confianza), ya que la verificación criptográfica garantiza la corrección de los cálculos, mientras que la competencia del mercado garantiza la eficiencia de los precios y la disponibilidad de recursos.
El documento técnico completo de ProverNet se puede encontrar en la siguiente dirección: http://www.brevis.network/whitepaper/provernet.pdf
En el blog de Brevis se ha publicado una breve reseña técnica: https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/
Este artículo es contenido aportado por terceros y no representa las opiniones de BlockBeats.
Bienvenido a la comunidad oficial de BlockBeats:
Grupo de suscripción a Telegram: https://t.me/theblockbeats
Grupo de discusión en Telegram: https://t.me/BlockBeats_App
Cuenta oficial de Twitter: https://twitter.com/BlockBeatsAsia
Este contenido se proporciona únicamente con fines informativos y educativos y no constituye asesoramiento de inversión relacionado con BTCC. BTCC realiza todos los esfuerzos posibles, pero no puede garantizar la veracidad, exactitud u originalidad del contenido anterior.