Por qué cada L2 de Ethereum se convertirá en un ZK Rollup

"Cada rollup será un rollup ZK".

Esa es la atrevida afirmación de Uma Roy de Succinct, y cada día es más cierta. Capa 2 de Ethereum - primero Mantoy luego Cadena Mundialy ahora Arbitrum y su ecosistema- están pasando de suposiciones "optimistas" a la certeza criptográfica a través de pruebas de conocimiento-cero.

El problema de escalabilidad original de Ethereum era sencillo de entender pero difícil de resolver: la L1 se congestionaba, las tarifas se disparaban y los usuarios sufrían. Los rollups surgieron como respuesta, agrupando transacciones fuera de la cadena antes de establecerse en Ethereum. Pero acabamos con dos tipos: optimista y conocimiento-cero.

El primero, que es el estándar dominante para rollups como Arbitrum o Base hoy en día, asume que las transacciones son válidas a menos que alguien las cuestione en el plazo de una semana, lo que significa que algunas transacciones ilegítimas podrían colarse en la mainnet. El segundo garantiza la legitimidad de las transacciones mediante criptografía y matemáticas de alto nivel.

En la actualidad, Succinct y el estudio Tandem de Offchain Labs, desarrollador de Arbitrum, han anunciado hoy una asociación formal para integrar el sistema de pruebas de Succinct* en la pila de la red Arbitrum, una importante inyección de impulso a la tendencia de las L2 a adoptar ZK. Para dejar clara la importancia de este anuncio, repasaremos cómo ZK aporta velocidad, seguridad y eficiencia superiores a los rollups, y cómo los mercados de pruebas como Succinct permiten que esto ocurra.

Vamos al grano 👇

Las principales ventajas de ZK Rollups

El uso de los métodos matemáticos de ZK para agrupar y liquidar transacciones en la mainnet aporta varias ventajas como:

• Finalidad y liquidación más rápidas - Los rollups ZK reducen drásticamente los tiempos de retirada y liquidación de 7 días a minutos. Ya no hay que esperar una semana para mover los fondos de vuelta a mainnet, retrasados por el optimista periodo de impugnación. Los comprobantes ZK ofrecen verificación instantánea, eliminando por completo las disputas.
• Mayor seguridad y confianza - Las pruebas ZK son "pruebas de validez", es decir, garantizan matemáticamente la corrección, lo que significa que si se envían a mainnet, se puede confiar en sus datos al cien por cien. Piense en ello como una verificación exhaustiva que repite las transacciones o cualquier acción realizada en blockchain, evitando estados inválidos antes de que lleguen a la cadena.
  
  El CEO de Offchain Labs, Steven Goldfeder, destacó cómo las redes de verificadores como Succinct crean "mayor seguridad" y hacen avanzar a las L2 hacia la descentralización de segunda fase (sin componentes centralizados). La magia de ZK reside en la rápida verificación: un hardware sencillo como una Raspberry Pi de 7 Raspberry Pi puede comprobar pruebasgarantizando la descentralización incluso a medida que aumenta el rendimiento.
• Reducción de costes: las pruebas son minúsculas en comparación con los datos completos de las transacciones. Esto envío de datos comprimidos produce un importante ahorro de costes, impulsado por los sistemas de comprobación en los que los comprobadores compiten para generar las pruebas más baratas y rápidas, haciendo ganar dinero tanto a la cadena como a sus usuarios.
• Interoperabilidad L2 mejorada - Como resultado de permitir liquidaciones más rápidas, los rollups de zk proporcionan una verificación de estado más sencilla entre L2, refinando la experiencia y funcionalidad de las aplicaciones entre cadenas, swaps atómicos y pools de liquidez unificados. En pocas palabras, es una mejora neta para todo el ecosistema: más zk L2 crean una "supercadena" unificada con menos fragmentación.

Estas cuatro ventajas -finalidad instantánea, seguridad matemática, menores costes e interoperabilidad sin fisuras- hacen que los rollups zk sean categóricamente superiores a los diseños optimistas. Juntos, representan no sólo mejoras incrementales, sino una actualización fundamental de cómo funcionan los L2.

Cómo funcionan los sistemas de comprobación ZK

Como ya se ha mencionado, los sistemas de comprobación potencian estas ventajas creando pruebas matemáticas de que las transacciones son válidas sin revelar su contenido. En lugar de que cada cadena cree y mantenga su propio comprobador, lo que supondría unos costes fijos y limitaría la escalabilidad, estas redes descentralizadas subcontratan el trabajo a un mercado competitivo de comprobadores independientes, lo que reduce los gastos gracias a las economías de escala y los efectos de red, al tiempo que aumenta la fiabilidad y la descentralización.

En esencia, estos sistemas funcionan mediante un proceso sencillo pero potente. Un demostrador toma un lote de transacciones y las reejecuta fuera de la cadena en un entorno controlado. Esto genera una prueba sucinta, un pequeño fragmento de datos criptográficos que el L1 verifica a bajo coste. La prueba actúa como un certificado infalsificable que dice "estas transacciones son válidas" sin mostrar las transacciones en sí.

Estos sistemas de comprobación suelen utilizar zkVM, máquinas virtuales de conocimiento cero que simulan la ejecución de blockchain de esta forma comprobable. Piense en una zkVM como un ordenador seguro que puede demostrar que ejecutó un programa correctamente sin revelar lo que ocurrió en su interior. Múltiples mercados de comprobadores pueden competir para generar pruebas para la misma L2, reduciendo costes y aumentando la fiabilidad a través de la redundancia.

Si finalmente es aprobada por el DAO, la zkVM SP1 de Succinct -específicamente diseñada para Arbitrum- impulsaría una red descentralizada de comprobadores que competirían para generar pruebas, tal y como ya está haciendo para una miríada de otras cadenas.

Piensa en los sistemas de comprobación como una "comprobación omnisciente", que reproduce lotes en una caja de arena criptográfica. Si al ejecutar la comprobación todo es válido, la prueba lo sella. Si no, no hay prueba posible. Este enfoque preventivo cambia fundamentalmente el modelo de seguridad de "confía pero verifica" a "nunca confíes, siempre prueba", ahorrando a todos tiempo, dinero y una supervisión interminable.

¿Por qué ahora? El momento y la inevitabilidad de la transición al ZK

Hace cuatro o cinco años, ZK era computacionalmente intenso, lento y caro. Las pruebas tardaban horas o días y no eran compatibles con el EVM. compatible con el EVM.

Los últimos avances lo han cambiado todo. Mejores algoritmos criptográficos (SNARKs/STARKs), hardware más rápido (GPUs), y actualizaciones de Ethereum como Dencun hicieron que ZK fuera práctico en lugar de sólo teórico.

Goldfeder explicó que ZK simplemente no estaba listo antes: no existía la infraestructura, pero ahora, como dice Uma, "ZK es barato, fácil y rápido", gracias a equipos dedicados y demostradores competitivos.

Si bien la integración de la red de pruebas de Succinct en Arbitrum por parte de la asociación tendrá que ser aprobada por el DAO, su importancia no puede ser exagerada. Con el ecosistema Arbitrum asegurando más de 12.000 millones de dólares en TVL, además de prepararse para futuros lanzamientos importantes como la cadena de Robinhood, esto marca un paso fundamental para la formación de consenso en torno a ZK como el final del juego.

Por supuesto, no ocurrirá de la noche a la mañana (la gobernanza y los sistemas heredados crean fricciones), pero la trayectoria parece cada vez más inevitable a medida que la tecnología madura.

A medida que más cadenas cambian a ZK, más se enfoca el juego final de escalado de Ethereum. Finalidad más rápida, seguridad demostrable, costes más bajos e interoperabilidad sin fisuras: todo gracias a ZK.

Tras años de desarrollo, los mercados de prover finalmente están generando pruebas reales para L2 reales con miles de millones en TVL. La tecnología que hace unos años parecía imposiblemente compleja ahora funciona en producción, asegurando un valor masivo y mejorando día a día.

Con anuncios como los de Succinct y Arbitrum, las piezas parecen alinearse continuamente para hacer realidad la predicción de Uma de que "cada rollup... será un rollup ZK". Aunque Ethereum y su ecosistema aún están en pleno desarrollo, una cosa es segura: ZK desempeñará un papel insustituible en la realización de su visión final.