Una Breve Historia de las zkVMs

Las zkVMs se han convertido en una parte muy importante tanto de Ethereum como de sus Layer 2. Sin embargo, hay muchas información confusa al rededor de ellas.

Este artículo tiene como objetivo servir como una introducción para usuarios e investigadores interesados en comprender su importancia, así como para desarrolladores que desean iniciar en zkVMs, así puedan elegir la mejor opción para ellos si quieren construir un proyecto o contribuir a una zkEVM.

De las Librerías de Bajo Nivel a las zkVMs

Esta sección explora la evolución de los proyectos ZK, desde sus orígenes en librerías de bajo nivel hasta el surgimiento de los zkDSLs y las zkVMs modernas.

, que se utilizó para crear y

Proyectos principales de ZK separados por categoría.

La segunda ola de aplicaciones de usuario final se desarrollaron utilizando zkDSLs, como Tornado Cash para transacciones privadas y MACI para votación. Más tarde, ZK llegó a las L2, aprovechando sus propiedades de compresión para reducir los costos de transacción. Las L2 suelen requerir máquinas virtuales sintéticas construidas sobre librerías zk y zkDSLs. Por ejemplo:

• Polygon zkEVM se construyó combinando diferentes librerías donde tenía más sentido, zkSTARKs y Plonky2 para producir pruebas de ejecución rápidas y Circom para una verificación económica. Esto resultó en la máquina virtual sintética zkASM + PIL.


• Scroll nació de un fork de la zkEVM iniciada por la Privacy and Scaling Exploration (PSE) de la Ethereum Foundation, utilizando la librería zk Halo2 que tenía como objetivo generar pruebas zk de la L1 de Ethereum de la manera mas directa posible.


• Starkware presentó su propia Cairo-VM, que difiere de la EVM pero aún así puede ser verificada por Ethereum L1.

, un fork del OP Stack que transforma Optimism en un ZK Rollup. Mientras tanto, Risc Zero introdujo sus planes para implementar OpenVM en mainnet, aprovechando su modularidad para crear un módulo en OpenVM de Ceno, la nueva iniciativa zkVM de Scroll.

Cómo las zkVMs Generan Valor

Te preguntarás sobre el modelo de negocios, dado que las zkVMs son de código abierto y gratuitas. La respuesta está en el mercado de provers. A medida que crece la demanda de pruebas zk, los provers confiables y rápidos se volverán esenciales. Un mercado de provers descentralizado, regido por tokens de seguridad y gobernanza, podría ser la solución. Risc Zero tiene actualmente una beta cerrada de que su solución ya está siendo desarrollada.

¿Morirán los zkDSLs?

En mi opinión no morirán. Pero esta pregunta está siendo debatida en este momento. Una gran parte de la comunidad ZK argumenta que los zkDSLs como Circom o Noir seguirán siendo fundamentales para Ethereum porque pueden cubrir una mayor variedad de casos y también porque, con el tiempo y los recursos adecuados, pueden ser más eficientes que las zkVMs. Y con más eficientes me refiero a más económicos de verificar y más rápidos de probar. Pero actualmente, los zkDSLs parecen menos adecuados para las L2s, con las zkVMs tomando la delantera. Es probable que las aplicaciones centradas en la privacidad sigan dependiendo de los zkDSLs por un largo tiempo.

Curiosamente, las zkVMs podrían habilitar nuevas formas de privacidad mediante pruebas del lado del cliente y light clients. Por ejemplo, las zkVMs podrían facilitar aplicaciones en las que los usuarios ejecuten nodos con recursos mínimos para verificar estados localmente utilizando pruebas zk. Este concepto quizás merece un artículo por sí solo para no desviar la atención de este.

¿Hay Competencia en el Espacio de las zkVM?

¡Por supuesto! Y sí, hay

• Anunciado: )


• Desarrollador: en X

Risc Zero ha sido el pionero en zkVMs y hoy es el proyecto que está más avanzado. Esto ha hecho que se gane la confianza de la comunidad con sus importantes contribuciones al espacio zkVM.

Primeros pasos con con Risc Zero

Ejecuta el siguiente para obtener orientación detallada.

SP1

git clone https://github.com/Turupawn/zkBenchmark.git

cd zkBenchmark

sh generate_proof_sp1.sh