Bitaigen Research Introducción
ZK‑Rollup es una solución de escalado de capa 2 que agrupa miles de transacciones en una única prueba criptográfica de conocimiento cero (zero‑knowledge proof) que se publica en la cadena principal. A diferencia de los rollups optimistas, la validez de cada lote se verifica de forma inmediata mediante una prueba SNARK o STARK, lo que elimina la necesidad de un período de disputa. En la práctica, un rollup de 2 000 transacciones puede costar menos de 0,01 USD en gas, frente a los ~5 USD que requeriría ejecutar esas mismas transacciones directamente en Ethereum.
工作原理/How it works
- Agregación de transacciones: Un operador (sequencer) recoge transacciones de los usuarios y las ordena en un bloque off‑chain.
- Generación de la prueba: Con un algoritmo de pruebas de conocimiento cero (por ejemplo, Groth16) el operador crea una prueba que demuestra que todas las transacciones cumplen con las reglas del protocolo sin revelar sus datos internos.
- Publicación en L1: La prueba, junto con un resumen de estado (root de Merkle), se envía a un contrato inteligente en la capa 1. El contrato verifica la prueba en menos de 200 000 gas y actualiza el estado global del rollup.
- Finalidad instantánea: Como la prueba es verificable de forma determinista, los usuarios pueden confiar en la validez del lote tan pronto como la transacción de publicación se incluya en un bloque de Ethereum.
常见用例/Common use cases
- Intercambios descentralizados (DEX): Plataformas como dYdX y zkSync utilizan ZK‑Rollup para procesar órdenes de trading con latencias de < 1 s y costes de gas inferiores a 0,005 USD por operación, permitiendo volúmenes de > 1 M USD diarios sin congestionar L1.
- Pagos de alta frecuencia: Aplicaciones de micropagos (por ejemplo, juegos on‑chain) agrupan miles de transferencias de 0,001 ETH en un solo lote, reduciendo el coste total en más del 99 % y manteniendo la privacidad del remitente mediante pruebas de conocimiento cero.
- Finanzas estructuradas: Protocolos de préstamos y derivados pueden ejecutar liquidaciones masivas en un solo rollup, garantizando que todas las garantías y márgenes se actualicen correctamente sin exposición a manipulaciones intermedias.
常见误解/Pitfalls
- “Zero‑knowledge = anonimato total”: La prueba oculta los datos internos de la transacción, pero el propio rollup mantiene un registro público de los saldos y los hashes de las transacciones; la privacidad depende del diseño del contrato y de la capa de datos.
- “Los operadores pueden censurar”: Aunque el sequencer decide el orden, cualquier usuario puede publicar una transacción de “fallback” directamente en la capa 1, forzando la inclusión del lote mediante un mecanismo de desafío; sin embargo, esto incrementa los costes de gas y puede retrasar la finalización.
- “Escalado ilimitado”: La capacidad está limitada por el tamaño máximo de la prueba verificable y por el límite de gas de los bloques de L1; actualmente, los rollups más eficientes manejan entre 2 000 y 5 000 tx por lote antes de que la prueba supere los 2 000 000 gas.
FAQ
Q1: ¿Cuál es la diferencia principal entre ZK‑Rollup y Optimistic Rollup?
A: ZK‑Rollup verifica la validez de cada lote mediante pruebas criptográficas al momento de la publicación, mientras que Optimistic Rollup asume la validez y permite un período de disputa de hasta una semana; esto implica que ZK‑Rollup ofrece finalización casi instantánea pero requiere mayor complejidad computacional en la generación de pruebas.
Q2: ¿Puedo retirar fondos directamente del rollup sin confiar en el operador?
A: Sí. Los contratos de salida (exit contracts) permiten a cualquier usuario presentar una prueba de la última raíz de estado conocida y los datos de su propia cuenta; el contrato verifica la prueba y libera los fondos en L1 sin necesidad de la firma del operador.
Q3: ¿Qué impacto tiene la introducción de EIP‑4844 (proto‑Danksharding) en los ZK‑Rollup?
A: EIP‑4844 introduce blobs de datos de bajo coste que pueden almacenar los datos de transacciones off‑chain de forma eficiente; los ZK‑Rollup pueden publicar sus datos de transacción en estos blobs, reduciendo el coste de publicación de datos en aproximadamente un 80 % y aumentando la viabilidad económica de lotes mayores.
