CriptoMundo
Academia/Avanzado
Avanzado

ZK-Rollups

Por Cristian ArangoRevisada el 3 min lectura

En pocas palabras

Los ZK-Rollups (Zero-Knowledge Rollups) son una tecnología de escalabilidad que usa pruebas criptográficas para verificar la validez de transacciones sin revelar sus detalles. Son considerados por muchos como el futuro de la escalabilidad blockchain por su mayor seguridad teórica y finalidad más rápida comparados con Optimistic Rollups.

Pruebas de conocimiento cero, en una frase

Una prueba de conocimiento cero (zero-knowledge proof, ZK) permite demostrar que una afirmación es verdadera sin revelar toda la información que la sustenta, y de forma que verificar la prueba sea muchísimo más rápido que repetir el cálculo.

Para escalar blockchains, lo importante es la segunda parte: comprimir la verificación. En lugar de que Ethereum vuelva a ejecutar miles de transacciones, basta con que compruebe una prueba pequeña de que se ejecutaron correctamente.

Cómo funciona un ZK-rollup

  1. El secuenciador recibe y ordena las transacciones.
  2. Un probador (prover) ejecuta el lote y genera una prueba criptográfica de que el nuevo estado es correcto. Es un cálculo pesado que requiere hardware potente.
  3. El rollup publica en Ethereum los datos comprimidos del lote y la prueba.
  4. Un contrato en Ethereum verifica la prueba. Si es válida, el nuevo estado queda aceptado de forma definitiva.

Frente a los optimistic rollups

ZK-rollupsOptimistic rollups
Garantía de correcciónPrueba matemática con cada lotePlazo para presentar pruebas de fraude
Retirada a EthereumEn cuanto se verifica la pruebaTras el plazo (unos 7 días)
Coste de funcionamientoGenerar pruebas es caroMás barato de operar
Compatibilidad con EthereumHistóricamente más difícil, hoy muy mejoradaAlta desde el principio

SNARK y STARK

Son dos grandes familias de sistemas de prueba:

  • SNARK: pruebas muy pequeñas y baratas de verificar. Algunas necesitan una "ceremonia" inicial de configuración en la que hay que confiar en que se destruyeron ciertos datos secretos.
  • STARK: no necesitan esa configuración inicial y se consideran resistentes a futuros ordenadores cuánticos, a cambio de pruebas más grandes.

No es que una sea mejor que la otra: son compromisos distintos.

"ZK" no significa privado

Aunque la tecnología permite ocultar información, la mayoría de ZK-rollups no son privados: publican los datos de las transacciones para que cualquiera pueda reconstruir el estado. Usan las pruebas para escalar, no para ocultar. Existen proyectos centrados en la privacidad, pero son otra categoría.

Riesgos

  • Complejidad: los circuitos que generan las pruebas son software muy complejo; un error podría aceptar un estado incorrecto. Por eso muchos rollups mantienen mecanismos de seguridad adicionales.
  • Centralización: en muchos casos un único secuenciador y un único probador, operados por el equipo.
  • Contratos actualizables: quién puede cambiarlos y con cuánto aviso es una pregunta clave.

Como con cualquier red de capa 2, consulta su nivel de madurez antes de dejar fondos importantes.

Ejemplos prácticos

  • •Retirar fondos de un ZK-rollup a Ethereum sin esperar el plazo de impugnación de los optimistic rollups
  • •Comprobar en L2BEAT quién genera las pruebas y quién puede actualizar los contratos de un ZK-rollup
  • •Verificar con una sola prueba en Ethereum la validez de miles de transacciones

Ventajas

  • ✓Seguridad matemática: validez verificada criptográficamente
  • ✓Finalidad más rápida que Optimistic Rollups
  • ✓Potencial de privacidad (no revelan datos de transacciones)
  • ✓Escalabilidad teórica superior a largo plazo

Riesgos

  • ✗Tecnología compleja aún en maduración
  • ✗Compatibilidad EVM no siempre perfecta
  • ✗Centralización de provers (generadores de pruebas)
  • ✗Ecosistemas más pequeños que Optimistic Rollups

Errores comunes

  • ⚠ Pensar que 'ZK' significa automáticamente que las transacciones son privadas
  • ⚠ Dar por hecho que un ZK-rollup es más seguro sin mirar su nivel de madurez
  • ⚠ Confundir distintos sistemas de prueba (SNARK, STARK) como si fueran lo mismo
Temas relacionados:rollupslayer-2ethereumbridgesmodular-blockchains

Comprueba lo que has aprendido

4 preguntas. Elige una respuesta en cada una y verás la explicación.

  1. 1. ¿Qué publica un ZK-rollup con cada lote?
  2. 2. ¿Son privadas las transacciones en la mayoría de ZK-rollups?
  3. 3. ¿Qué ventaja tienen frente a los optimistic rollups al retirar a Ethereum?
  4. 4. ¿Qué diferencia a los STARK de algunos SNARK?

0 de 4 respondidas

Fuentes

Aviso: Este contenido es exclusivamente educativo e informativo. No constituye asesoramiento financiero, de inversión ni legal. Las criptomonedas conllevan riesgos significativos. Consulta siempre con un profesional cualificado.