Este es un segmento del boletín 0xResearch. Para leer ediciones completas, suscribir.
Todo comienza con Ethereum. El L1 es demasiado lento. Cada nodo necesita volver a ejecutar redundantemente las transacciones en un bloque para garantizar la validez, lo que limita la escalabilidad.
Para 2020, la comunidad de Ethereum se unió en torno a los rollups como el Solución de escala. La publicación de blog histórica 2021 de Vitalik sobre rollups explica cómo los rollups optimistas y ZK pueden escalar Ethereum.
Los rollups ZK son tecnológicamente superiores para la escala, pero la tecnología aún era demasiado costosa de usar y muy atrás (más tarde).
Así que los rollups optimistas irrumpieron primero en el mercado. Los rollups optimistas suponen que todas las transacciones son válidas hasta que alguien lo desafía con una prueba de fraude dentro de un período de desafío de siete días.
Rollups optimistas funcionaron, pero vinieron con costos ocultos. El período de desafío significó una mayor finalidad de la transacción antes de que los usuarios pudieran retirar fondos. La liquidez bloqueada significaba eficiencias de capital y un UX generalmente más pobre, especialmente con la interoperabilidad de la cadena.
Mientras tanto, Zk estaba poniéndose al día. En ETHCC 2022, Polygon, ZkSync y Scroll todos los Zkevms anunciados, que permiten a los desarrolladores de solidez escribir código y probar la ejecución del EVM, lo que permite efectivamente que Ethereum aproveche la tecnología de conocimiento cero.
Para 2023, los rollups de ZK comenzaron a ganar tracción real.
¿Por qué exactamente son mejores pruebas de ZK que las pruebas de fraude optimistas? A saber, porque las pruebas de ZK son mucho más pequeñas (~ 1-10 kb) en comparación con los datos de transacción sin procesar (megabytes en tamaño).
Al usar la criptografía ZK para probar las transacciones de Ethereum, estas pruebas altamente comprimidas significaban costos de disponibilidad de datos más bajos y una mejor escalabilidad.
Cómo funciona cero conocimiento en pocas palabras
Aunque ZK estaba despegando, la generación de pruebas aún era costosa. Basado en Zkstats.io, el costo promedio de generar una prueba de ZK en diciembre de 2023 fue de $ 80.21.
Avance rápido hasta 2025. Los costos de prueba han caído a $ 1.3 por prueba, aproximadamente una mejora del 98.4%.
¿Qué cambió?
Hoy, cada una de las piezas centrales de la pila de rollo ZK se ha roto.
En primer lugar, ZKVMS están aquí. Estas máquinas virtuales especializadas aceleran la experiencia de desarrollo de ZK y hacen que la generación de prueba de validez sea más eficiente. Antes de ZKVMS, los desarrolladores necesitaban escribir “circuitos” matemáticos complejos para probar la ejecución de EVM.
ZKVMS como SP1, RISC Zero, Nexus y OpenVM hoy democratizan efectivamente el desarrollo de ZK para todos los desarrolladores (C ++, Rust) sin experiencia criptográfica de ZK. En el pasado, Zkevms solo permitió el desarrollo de solidez en los rollups de ZK. Piense en ZKVM como un concepto más general que Zkevms.
En segundo lugar, los costos para generar pruebas están bajando debido a la competencia del mercado. Hoy en día, hay muchos mercados competitivos operados por RISC Zero, Cysic, Lagrange y sucinto. Algunos todavía están en Testnet, otros están operativos.
Los ZK L2 también están recurriendo a las técnicas de agregación de prueba para amortizar los costos de verificación. La forma en que esto funciona es al llorar muchas pruebas dentro de una, lo que hace que la prueba final sea más rápida para verificar.
Estos mercados también no tienen permiso, lo que significa que cualquier persona con una plataforma de GPU puede registrarse, publicar un bono y generar pruebas de ZK. Anteriormente, los rollups de ZK usaban “Provergidos centralizados”, lo que significa que alquilaron hardware GPU/FPGA de Google o Amazon.
Los sistemas de mejor prueba también se están lanzando constantemente. Estos sistemas de prueba (ejemplos: Groth16, Halo2-KZG, Stark, Plonk, Expander) definen algorítmicamente las reglas sobre cómo se construyen y verifican las pruebas de ZK. Están mejorando, lo que significa que las pruebas de ZK se están volviendo cada vez más rápidas para verificar. Esto a su vez significa aumentar las ganancias de rendimiento de ZKVM.
