jakiro
Autor: Donovan Choy, Blockworks;
Todo comienza con Ethereum.L1 es demasiado lento.Cada nodo necesita volver a ejecutar las transacciones en el bloque redundantemente para garantizar la validez, lo que limita la escalabilidad.
Para 2020, la comunidad de Ethereum se unirá alrededor de los rollups como una solución de escala.La emisión de blog de Vitalik sobre los rollups en 2021 explica cómo los rollups optimistas y ZK escalan ethereum.
Los acurrucados de ZK tienen ventajas técnicas en la escala, pero la tecnología sigue siendo demasiado costosa y muy atrás (más sobre eso más adelante).
Por lo tanto, los rollups optimistas irrumpieron primero en el mercado.Los rollups optimistas suponen que todas las transacciones son válidas hasta que alguien las desafíe con la prueba de fraude durante un período de desafío de siete días.
Los rollups optimistas son válidos, pero tienen costos ocultos.El período de desafío significa que los usuarios necesitan más tiempo de finalización de transacciones antes de retirar los fondos.Bloquear la liquidez significa eficiencia de capital y generalmente una experiencia de usuario deficiente, especialmente en términos de interoperabilidad de la cadena.
Mientras tanto, ZK se está poniendo al día.En ETHCC 2022, Polygon, ZkSync y Scroll han anunciado ZKEVM, que permite a los desarrolladores de solidez escribir código y probar la ejecución de EVM, permitiendo efectivamente que Ethereum aproveche la tecnología de conocimiento cero.
Para 2023, los rollups de ZK están comenzando a llamar la atención.
¿Por qué la prueba de ZK es mejor que la prueba optimista de fraude?Es decir, porque ZK demuestra ser mucho más pequeño (~ 1-10 kb) en comparación con los datos de transacción originales (tamaño de megabyte).
Al probar las transacciones de Ethereum utilizando el cifrado de ZK, estas pruebas altamente comprimidas significan costos de disponibilidad de datos más bajos y una mejor escalabilidad.
Aunque ZK está despegando, el costo de generar pruebas sigue siendo alto.Según Zkstats.io, el costo promedio de generar pruebas de ZK en diciembre de 2023 es de $ 80.21.
Avance rápido hasta 2025.Los costos de prueba han caído a $ 1.3 por prueba, un aumento de aproximadamente 98.4%.
¿Qué cambios se han realizado?
ahora,Rollup ZK Cada parte central de la pila se descompone.
En primer lugar, ZKVM ha sido lanzado.Estas máquinas virtuales dedicadas aceleran la experiencia de desarrollo de ZK y hacen que la generación de efectividad sea más eficiente.Antes de que surgiera ZKVM, los desarrolladores necesitaban escribir «circuitos» matemáticos complejos para probar la ejecución de EVM.
Hoy, ZKVM como SP1, RISC Zero, Nexus y OpenVM permiten efectivamente a todos los desarrolladores (C ++, Rust) que no tienen la experiencia en el cifrado de ZK para democratizar el desarrollo de ZK.En el pasado, Zkevm permitió el desarrollo de solidez solo en los rollups de ZK.Piense en ZKVM como un concepto más general que Zkevm.
En segundo lugar, el costo de generar pruebas está disminuyendo debido a la competencia del mercado.Hoy, RISC Zero, Cysic, LaGrange y sucinto operan muchos mercados competitivos.Algunos todavía están en la red de pruebas, y otros ya están en funcionamiento.
ZK L2 también está recurriendo a la tecnología de agregación de prueba para amortizar los costos de verificación.Funciona aproximadamente al llorar múltiples pruebas en una sola prueba, lo que hace que la prueba final sea más rápida.
Estos mercados tampoco requieren ninguna licencia, lo que significa que cualquier persona con un dispositivo GPU puede registrarse, emitir un margen y generar certificados ZK.Anteriormente, los rollups de ZK usaban «Provergidos centralizados», lo que significaba que alquilaron hardware GPU/FPGA de Google o Amazon.
También se están lanzando mejores sistemas de prueba.Estos sistemas de prueba (por ejemplo, Groth16, Halo2-KZG, Stark, Plonk, Expander) definen algorítmicamente las reglas sobre cómo construir y verificar las pruebas de ZK.Están mejorando, lo que significa que las pruebas de ZK se están volviendo más pequeñas y más rápidas y más rápidas.Esto a su vez significa mejoras de rendimiento de ZKVM.
Finalmente, está el coprocesador ZK construido sobre ZKVM.Estas cosas básicamente permiten aplicaciones en cadena que no existen en el entorno de ejecución de ZK para explotar el milagro de la tecnología ZK.La forma en que lo hace es mover el cálculo fuera de la cadena y, por lo tanto, ejecutar asincrónicamente con la ejecución de la cadena de bloques.Esto permite que la aplicación calcule estadísticas complejas fuera de la cadena, lo demuestre con ZK y luego publique la prueba en la cadena.
Aplicaciones como Frax, Azuki, Etherfi y Gearbox están utilizando el coprocesador ZK de LaGrange para evitar las restricciones Ethereum L1.
Entonces lo consigues.Es por eso que ZK es el objetivo final.
