zkVM

Las primeras aplicaciones de conocimiento cero obligaban a expresar la lógica como circuitos aritméticos, una tarea lenta y especializada. Una zkVM elimina esa barrera. Emula un conjunto de instrucciones general, sobre todo RISC-V, de modo que los desarrolladores escriben programas en lenguajes como Rust, los compilan como siempre, los ejecutan dentro de la zkVM y reciben una prueba de que la ejecución produjo un resultado concreto. Cualquiera puede verificar la prueba con poco coste.

Las zkVM se han convertido en infraestructura clave. Impulsan zk-rollups y pruebas de validez para otras cadenas, puentes con confianza minimizada que demuestran el consenso de una cadena en otra, coprocesadores que calculan sobre datos históricos y pruebas de bloques enteros de Ethereum. En 2025 varios equipos demostraron que podían probar la mayoría de los bloques de Ethereum dentro de los 12 segundos de un slot con grandes clústeres de GPU, lo que alimentó los planes de usar estas pruebas en la capa base.

Generar pruebas sigue siendo mucho más caro que ejecutar el programa normalmente y a menudo exige hardware especializado o mercados de probadores. Los sistemas complejos también tienen riesgo de errores: un fallo en la zkVM o en su sistema de pruebas podría dar por buenas ejecuciones inválidas, así que auditorías, verificación formal y varios probadores independientes son salvaguardas importantes.