El consenso blockchain requiere que cada validador ejecute repetidamente los mismos cálculos, lo que convierte el procesamiento directo y on-chain de lógica compleja en una tarea costosa y limitada. El valor de zkVM radica en trasladar la ejecución off-chain, con solo una prueba sucinta verificada on-chain, superando así el límite computacional de las transacciones individuales.
Como capa de ejecución universal para la computación verificable de Brevis (BREV), Pico zkVM emplea una arquitectura glue-and-coprocessor que equilibra flexibilidad y rendimiento, proporcionando una cadena de herramientas unificada para programación y pruebas en procesamiento de datos, verificación de firmas, inferencia de machine learning y escenarios de pruebas de bloques de Ethereum.
¿Qué es Pico zkVM?
Pico zkVM, la capa de ejecución universal de computación verificable de Brevis, fusiona la “escritura de programas” y la “prueba de ejecución correcta” en una única cadena de herramientas open-source. Los desarrolladores pueden definir la lógica de computación en Rust sin diseñar circuitos de bajo nivel; Pico se encarga de la ejecución off-chain y la generación de pruebas.
La modularidad opera en dos niveles: el núcleo universal ejecuta cualquier programa y los coprocesadores dedicados enchufables están optimizados para operaciones de alta frecuencia. Este diseño permite que Pico soporte una amplia gama de computaciones y se acerque al rendimiento de circuitos especializados en operaciones críticas, evitando las limitaciones de “flexible pero lento” de las zkVM de propósito general.
¿Qué es la arquitectura glue-and-coprocessor?
La arquitectura glue-and-coprocessor es esencial en el diseño de Pico zkVM: el núcleo universal actúa como “glue”, conectando el flujo completo del programa, mientras las tareas intensivas y de alta frecuencia se delegan a coprocesadores dedicados o circuitos precompilados.
El núcleo universal RISC-V ejecuta cualquier programa Rust, garantizando flexibilidad. Cuando el programa requiere operaciones como hashing Keccak-256, verificación de firmas, inferencia de machine learning o procesamiento de datos blockchain, Pico dirige estas tareas a circuitos especializados, evitando la generación de pruebas en cada instrucción RISC-V.
La prueba a nivel de instrucción consume muchos recursos y es el principal cuello de botella de las zkVM de propósito general. Al reemplazar este proceso por circuitos optimizados para pruebas de conocimiento cero, Brevis reporta que la velocidad de prueba mejora entre 10x y 80x, reduciendo drásticamente los costos sin sacrificar versatilidad.
¿Cómo colaboran el núcleo universal y los coprocesadores dedicados?
El núcleo universal y los coprocesadores dedicados combinan “ejecución flexible” y “prueba eficiente”: el núcleo gestiona cualquier lógica, mientras los coprocesadores aceleran las operaciones de alta frecuencia.
| Componente |
Función |
Computación |
Método de prueba |
| Núcleo universal RISC-V (Glue) |
Capa glue |
Cualquier flujo de programa Rust |
Prueba a nivel de instrucción |
| Circuito precompilado Keccak-256 |
Coprocesador dedicado |
Cálculo de hash |
Circuito optimizado |
| Coprocesador de verificación de firmas |
Coprocesador dedicado |
Validación de firmas |
Circuito optimizado |
| Coprocesador de inferencia ML |
Coprocesador dedicado |
Inferencia de machine learning |
Circuito optimizado |
| Coprocesador de datos blockchain |
Coprocesador dedicado |
Procesamiento de datos on-chain/históricos |
Circuito optimizado |
Como se muestra, el núcleo universal asegura que Pico pueda ejecutar cualquier programa, mientras los coprocesadores dedicados transforman operaciones de alta frecuencia—hashing, verificación de firmas, inferencia ML y procesamiento de datos—de pruebas a nivel de instrucción a pruebas de circuito completo. El enrutamiento es automático, por lo que los desarrolladores rara vez tienen que cambiar manualmente las rutas de ejecución.
Figura 1. Arquitectura glue-and-coprocessor de Pico zkVM: El núcleo universal RISC-V (glue) ejecuta cualquier programa, enrutando tareas de Keccak-256, verificación de firmas, inferencia ML y datos blockchain a coprocesadores dedicados o circuitos precompilados.
¿Cómo pueden los desarrolladores crear programas verificables con Pico?
El flujo de trabajo de Pico se centra en “ejecución off-chain, verificación on-chain” en cuatro pasos: escribir la computación en Rust, Pico ejecuta off-chain y produce resultados, generar una prueba criptográfica de ejecución correcta y, finalmente, un contrato inteligente verifica la prueba sucinta on-chain.
El paso clave es el último: los contratos on-chain verifican la prueba, no el programa completo. Verificar una prueba sucinta toma milisegundos y es prácticamente independiente de la escala de la computación original, permitiendo validar lógica compleja on-chain a un costo mínimo.
Para los desarrolladores, Pico reduce la barrera de desarrollo de conocimiento cero utilizando Rust. No es necesario dominar el diseño de circuitos para crear programas verificables; la complejidad criptográfica está gestionada por la cadena de herramientas.
Figura 2. Flujo de trabajo de desarrollo de Pico zkVM: Escribir programa en Rust → Pico ejecuta off-chain → Generar prueba ZK → Contrato inteligente verifica on-chain.
¿Cuál es la relación entre Pico y los ZK Data Coprocessors?
Pico zkVM y los coprocesadores a nivel de aplicación conforman una relación de “glue universal” y “motor dedicado”. El ZK Data Coprocessor es un ejemplo destacado: accede a datos históricos y cross-chain off-chain, completa la computación y adjunta pruebas criptográficas de autenticidad y corrección de datos.
En esta división de tareas, Pico actúa como glue, enrutando datos entre módulos dedicados y manteniendo la flexibilidad de una zkVM de propósito general. La lógica de aplicación puede invocar el núcleo universal para computación personalizada o utilizar el coprocesador de datos para acceso eficiente al historial on-chain.
En resumen, Pico ofrece capacidad de computación universal, mientras los coprocesadores a nivel de aplicación proporcionan procesamiento especializado y de alta velocidad para escenarios concretos. Juntos, constituyen el stack de ejecución de computación verificable de Brevis.
¿Cuáles son los casos de uso de Pico zkVM?
Pico zkVM es ideal para escenarios que requieren “computación confiable + verificación on-chain”, con procesamiento de datos, verificación de firmas, inferencia de machine learning y pruebas de bloques de Ethereum como aplicaciones típicas.
| Escenario |
Función de Pico |
Sistema o circuito representativo |
| Procesamiento de datos |
Agregación y análisis de historial on-chain y datos cross-chain |
ZK Data Coprocessor |
| Verificación de firmas |
Validación de firmas por lotes |
Coprocesador de verificación de firmas |
| Inferencia ML |
Generación de resultados verificables para inferencia de modelos off-chain |
Coprocesador de inferencia ML |
| Prueba de bloques de Ethereum |
Generación de pruebas de bloques de Ethereum en tiempo real |
Pico Prism |
La tabla anterior describe cuatro escenarios típicos y sus componentes de ejecución correspondientes. El procesamiento de datos y la verificación de firmas dependen de coprocesadores dedicados para aceleración, la inferencia ML adjunta pruebas a salidas de modelos off-chain y la prueba de bloques de Ethereum es el caso de uso más destacado.
La prueba de bloques de Ethereum se gestiona con Pico Prism, un sistema de pruebas en tiempo real basado en Pico. Según Brevis, logra aproximadamente el 99,8 % de cobertura en tiempo real en 16 GPU, igualando el objetivo de hardware de 100 000 $ de la Ethereum Foundation. A diferencia de los oráculos que llevan datos off-chain a on-chain, Pico se centra en la computación verificable de datos on-chain. La diferencia entre Brevis y los oráculos es que Pico prioriza la computación verificable de datos blockchain en lugar de feeds de precios externos. La On-Prem Proving Initiative (Ethproof) de la Ethereum Foundation seleccionó a Brevis como uno de los cuatro equipos en marzo de 2026.
¿Cuáles son las ventajas y consideraciones de usar Pico zkVM?
La principal ventaja de Pico zkVM es la combinación de flexibilidad y rendimiento: el núcleo universal permite ejecutar cualquier programa, los coprocesadores dedicados llevan operaciones de alta frecuencia a la eficiencia de circuitos especializados y la cadena de herramientas Rust reduce la barrera de desarrollo de conocimiento cero.
Las consideraciones se relacionan principalmente con la cobertura de circuitos especializados y la dinámica del mercado de pruebas. Coprocesadores y circuitos precompilados solo aplican a operaciones optimizadas; los programas que dependen de computaciones no soportadas deben recurrir a la prueba a nivel de instrucción con el núcleo universal, reduciendo las ganancias de rendimiento. El staking y slashing de probadores en tokens BREV y coChain vinculan la fiabilidad de entrega de pruebas al colateral de tokens.
Los costos de prueba son otra limitación estructural. La generación de pruebas de conocimiento cero requiere hardware especializado y hashrate, y el overhead de prueba para computación de propósito general sigue siendo mayor que la ejecución nativa. El costo y la latencia de lógica compleja deben considerarse durante el diseño. Estas son limitaciones objetivas a nivel de mecanismo y no constituyen asesoramiento de inversión.
Resumen
Pico zkVM, la máquina virtual modular open-source de conocimiento cero de Brevis, integra el núcleo universal RISC-V y circuitos precompilados dedicados en una arquitectura glue-and-coprocessor: el núcleo ejecuta cualquier programa Rust, las tareas de alta frecuencia se enrutan a coprocesadores especializados y Brevis informa que la velocidad de prueba mejora entre 10x y 80x. Los desarrolladores escriben la computación en Rust, ejecutan off-chain y generan pruebas, verificando solo pruebas sucintas on-chain. Junto con coprocesadores de aplicación como el ZK Data Coprocessor y sistemas desplegados como Pico Prism, Pico conforma la capa de ejecución universal para la computación verificable de Brevis.
Preguntas frecuentes
¿Qué es Pico zkVM?
Pico zkVM, la máquina virtual modular open-source de conocimiento cero (zkVM) de Brevis, permite a los desarrolladores escribir cualquier lógica de computación en Rust, ejecutar off-chain y generar pruebas de conocimiento cero. Los contratos inteligentes solo deben verificar pruebas sucintas on-chain, eliminando la necesidad de reejecutar programas completos.
¿Cómo acelera las pruebas la arquitectura glue-and-coprocessor?
La arquitectura utiliza el núcleo universal RISC-V como glue para ejecutar programas, enrutando operaciones comunes como hashing Keccak-256, verificación de firmas e inferencia ML a coprocesadores dedicados (precompilados). Los circuitos optimizados para pruebas de conocimiento cero sustituyen la prueba a nivel de instrucción, mejorando la velocidad de prueba entre 10x y 80x según Brevis.
¿Cómo pueden los desarrolladores crear programas verificables con Pico?
Los desarrolladores escriben la lógica de computación en Rust, Pico ejecuta off-chain y produce resultados, luego genera una prueba criptográfica de ejecución correcta. Los contratos inteligentes verifican esta prueba sucinta on-chain, con un overhead de verificación a nivel de milisegundos y prácticamente independiente de la escala de la computación original.
¿Cuál es la relación entre Pico zkVM y los ZK Data Coprocessors?
Pico zkVM actúa como glue, enrutando datos entre módulos dedicados y manteniendo la generalidad. Los ZK Data Coprocessors son los coprocesadores de aplicación más destacados, accediendo a datos históricos y cross-chain off-chain y adjuntando pruebas de computación correcta. Juntos, forman el stack de ejecución completo.
¿Qué es Pico Prism?
Pico Prism, construido sobre Pico, es un sistema de pruebas de bloques de Ethereum en tiempo real. Según Brevis, logra aproximadamente el 99,8 % de cobertura en tiempo real en 16 GPU, igualando el objetivo de hardware de 100 000 $ de la Ethereum Foundation. La On-Prem Proving Initiative (Ethproof) de la Ethereum Foundation seleccionó a Brevis como uno de los cuatro equipos en marzo de 2026.
