[Hilo en inglés] Informe de investigación de Brevis: Capa de computación infinitamente verificable de zkVM y coprocesadores de datos ZK

Chainfeeds Guía de lectura:

Brevis ha construido una capa de cómputo verificable multichain al integrar una zkVM universal (Pico/Prism) con un coprocesador de datos (zkCoprocessor).

Fuente del artículo:

Jacob Zhao

Opinión:

Jacob Zhao: El “cómputo verificable” (Verifiable Computing) se ha convertido en el modelo de cómputo generalizado para blockchain, cuyo concepto central es “cómputo off-chain + verificación on-chain”. Este paradigma permite que blockchain mantenga la descentralización y la seguridad con mínima confianza, mientras obtiene una libertad de cómputo 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, trasladando el cómputo off-chain y verificando pruebas concisas on-chain, logrando así una expansión de confianza con alto rendimiento y bajo costo. La evolución de la tecnología ZK puede resumirse como: 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 cómputo 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; finalmente, L1 zkEVM 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 del cómputo sin confianza. El camino de zkEVM en Ethereum ha pasado por dos etapas: la primera (2022–2024), donde los Rollups L2 migran la capa de ejecución pero introducen 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 mejora el rendimiento. Fuera de Ethereum, el cómputo de conocimiento cero avanza hacia un campo de cómputo verificable más amplio, con un sistema central compuesto por zkVM y zkCoprocessor. zkVM (máquina virtual de conocimiento cero) es un motor de ejecución verificable universal, capaz de ejecutar cualquier programa en conjuntos de instrucciones RISC-V, MIPS o WASM, cuyos resultados pueden ser verificados on-chain, 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 costo de generar pruebas es alto y la optimización paralela es compleja. 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ómputo y pruebas 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 costo, aunque con menor universalidad. Ambos comparten la lógica de “cómputo off-chain + verificación on-chain”: el costo on-chain de ejecutar el cómputo es mucho mayor que el costo combinado de generar pruebas off-chain y verificarlas on-chain. En cuanto al negocio, zkVM sigue el modelo “Proving-as-a-Service”, proporcionando el motor de cómputo para la infraestructura; zkCoprocessor es “Proof-API-as-a-Service”, un servicio SaaS estructurado por tareas para la capa de aplicaciones. El primero construye una barrera tecnológica, el segundo impulsa la adopción comercial. Juntos forman los dos polos de la red de cómputo sin confianza: zkVM como base de cómputo, zkCoprocessor impulsando la prosperidad del ecosistema. Brevis Network fusiona las arquitecturas de zkVM y zkCoprocessor, creando una infraestructura de cómputo verificable universal y de alto rendimiento, denominada “capa de cómputo infinito”. Su Pico zkVM utiliza una arquitectura modular, desacoplando 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 pruebas y módulos de compresión recursiva. Los desarrolladores pueden escribir la lógica de negocio en Rust y generar pruebas automáticamente, reduciendo enormemente la barrera de entrada. Pico Prism lleva aún más lejos el rendimiento en clusters de GPU, logrando en un entorno de 64×RTX5090 un promedio de 6,9 segundos por prueba y una tasa de cobertura RTP del 96,8%, superando en 3,4 veces la relación rendimiento/costo de sus pares. El zk Data Coprocessor de Brevis otorga “memoria” a los smart contracts, permitiéndoles acceder a datos históricos y ejecutar verificaciones sin necesidad de confianza, siendo ú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, ya en uso por protocolos como PancakeSwap, Euler, UsualMoney y Linea. Según Brevis Explorer, para octubre de 2025 la red habrá generado 125 millones de pruebas ZK, soportando más de 2.8 billones de dólares en TVL y validando un volumen de transacciones superior a 1 billón de dólares. Brevis, apoyándose en la capa de seguridad de Ethereum y EigenLayer, se expande 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 cómputo verificable con retroalimentación técnica y de aplicaciones en forma de flywheel. [El artículo original está en inglés]