ZK-Rollup

Un ZK-rollup es una red de Layer 2 que escala una blockchain base ejecutando las transacciones fuera de la cadena y publicando cada lote junto con una prueba de validez de conocimiento cero: una prueba criptográfica compacta de que todas las transacciones del lote siguieron las reglas. El contrato inteligente de la cadena base verifica la prueba antes de aceptar el lote, de modo que es matemáticamente imposible colar una transición de estado no válida, hagan lo que hagan los operadores del rollup.

Esto contrasta con los rollups optimistas, que asumen que los lotes son válidos y se apoyan en una ventana de impugnación por fraude de aproximadamente una semana. Como los lotes de un ZK-rollup se demuestran correctos desde el principio, los retiros de vuelta a la Layer 1 pueden finalizarse en cuanto se verifica la prueba: de minutos a horas en lugar de días. La contrapartida es la complejidad de ingeniería: generar pruebas para una ejecución arbitraria de contratos inteligentes es computacionalmente pesado, y por eso las «zkEVM» (ZK-rollups que ejecutan contratos estándar de Ethereum) tardaron años más en llegar que los diseños optimistas. Entre los ejemplos en Ethereum están zkSync Era, Starknet, Linea y Scroll; una transferencia de tokens en ellos cuesta centavos y hereda la seguridad de Ethereum a través de las pruebas y los datos publicados on-chain.

Un error común es creer que la parte de «conocimiento cero» significa que las transacciones son privadas; la mayoría de los ZK-rollups usan las pruebas únicamente para la validez y la compresión, y los datos de sus transacciones son públicos: la privacidad es una función aparte que solo añaden algunos sistemas. A largo plazo, muchos investigadores consideran que las pruebas de validez son el punto final del escalado de las blockchains, ya que permiten que una verificación barata sustituya a la reejecución de enormes cantidades de cómputo.