[Hilo en inglés] Informe de investigación de Brevis: zkVM y la capa de computación verificable ilimitada de los coprocesadores de datos ZK

Chainfeeds Guía de lectura:

Brevis ha construido una capa de computación verificable multichain integrando una zkVM universal (Pico/Prism) con un coprocesador de datos (zkCoprocessor).

Fuente del artículo:

Jacob Zhao

Opinión:

Jacob Zhao: La "Computación Verificable" se ha convertido en el modelo de computación universal para blockchain, cuyo concepto central es "cálculo off-chain + verificación on-chain". Este paradigma permite que blockchain mantenga la descentralización y la seguridad con mínima confianza, al tiempo que obtiene una libertad computacional casi ilimitada. Las pruebas de conocimiento cero (ZKP) son el pilar de este sistema, con aplicaciones principales en escalabilidad, privacidad e interoperabilidad/integridad de datos. Entre ellas, la escalabilidad fue la primera en implementarse, logrando una expansión de confianza de alto rendimiento y bajo coste al trasladar el cálculo fuera de la cadena y verificar pruebas concisas en la cadena. La evolución de la tecnología ZK puede resumirse así: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. L2 zkRollup logró por primera vez la ejecución off-chain y la verificación on-chain, mejorando enormemente el rendimiento; zkVM amplió esto a una capa de computación verificable universal, soportando verificación cross-chain, inferencia de IA y tareas criptográficas; zkCoprocessor modularizó este modelo, convirtiéndose en un servicio de pruebas plug-and-play para DeFi, RWA y gestión de riesgos; L1 zkEVM finalmente integra la verificación ZK en la capa de ejecución de Ethereum, logrando pruebas en tiempo real (Realtime Proving, RTP). Esta evolución representa la transición de blockchain de la "escalabilidad" a la "verificabilidad", entrando en la era de la computación sin confianza. El camino de zkEVM de Ethereum ha pasado por dos etapas: la primera (2022–2024), donde L2 Rollup migró la capa de ejecución pero introdujo fragmentación de liquidez y estado; la segunda (2025–), donde L1 RTP reemplaza la verificación N-of-N por pruebas 1-of-N, manteniendo la descentralización mientras aumenta el rendimiento. Más allá de Ethereum, la computación de conocimiento cero avanza hacia un campo más amplio de computación verificable, con un sistema central que incluye zkVM y zkCoprocessor. zkVM (Máquina Virtual de Conocimiento Cero) es un motor de ejecución verificable universal que soporta la ejecución de cualquier programa en conjuntos de instrucciones RISC-V, MIPS o WASM, cuyos resultados pueden verificarse en la cadena, y se utiliza para validación de bloques, inferencia de IA y tareas cross-chain. Su ventaja radica en la universalidad y flexibilidad, aunque el coste de generar pruebas es alto y la optimización paralela es compleja. Los proyectos representativos incluyen RiscZero, SP1 de SuccinctLabs y Pico zkVM de Brevis. En comparación, zkCoprocessor es más bien un "módulo verificable para escenarios específicos", proporcionando interfaces estandarizadas de cálculo y prueba para DeFi, RWA, etc.; las aplicaciones solo necesitan llamar al SDK o API para obtener resultados y pruebas, con integración rápida y bajo coste, aunque con menor universalidad. Ambos comparten la lógica de "cálculo off-chain + verificación on-chain": el coste de ejecutar cálculos en la cadena es mucho mayor que el coste combinado de generar pruebas off-chain y verificarlas on-chain. En cuanto a negocio, zkVM adopta el modelo "Proving-as-a-Service", proporcionando el motor de cálculo para la infraestructura; zkCoprocessor es "Proof-API-as-a-Service", sirviendo a la capa de aplicaciones con una estructura SaaS basada en tareas. El primero construye una barrera tecnológica, el segundo impulsa la adopción comercial. Juntos forman los dos polos de la red de computación sin confianza: zkVM como base computacional, zkCoprocessor impulsando la prosperidad del ecosistema. Brevis Network fusiona las arquitecturas de zkVM y zkCoprocessor para crear una infraestructura computacional verificable universal y de alto rendimiento, denominada "capa de computación infinita". Su Pico zkVM utiliza una arquitectura modular que desacopla la capa de ejecución universal de la capa de coprocesador acelerada por hardware, logrando un sistema dual "General + Specialized", soportando múltiples backends de prueba y módulos de compresión recursiva; los desarrolladores pueden escribir la lógica de negocio en Rust y generar pruebas automáticamente, reduciendo significativamente la barrera de entrada. Pico Prism lleva aún más lejos el rendimiento en clústeres de múltiples GPU, logrando una media de 6,9 segundos por prueba y una cobertura RTP del 96,8% en un entorno de 64×RTX5090, con una relación coste-rendimiento 3,4 veces superior a la competencia. El zk Data Coprocessor de Brevis dota a los contratos inteligentes de "memoria", permitiéndoles acceder y verificar datos históricos sin confianza, útil para recompensas de liquidez, identidad cross-chain y DeFi impulsado por datos. Su capa de incentivos Incentra distribuye recompensas on-chain de forma transparente mediante pruebas ZK, sirviendo ya a protocolos como PancakeSwap, Euler, UsualMoney y Linea. Según Brevis Explorer, hasta octubre de 2025, la red ha generado 125 millones de pruebas ZK, soportando más de 2.8 billones de dólares en TVL y verificando un volumen de transacciones superior a 1 billón de dólares. Basándose en la capa de seguridad de Ethereum y EigenLayer, Brevis se ha expandido a BNB, Linea, 0G y otros ecosistemas, proporcionando soporte fundamental para incentivos on-chain, optimización de liquidez y verificación cross-chain, construyendo una red de computación verificable con retroalimentación bidireccional entre tecnología y aplicaciones. [El texto original está en inglés]