Curso 3: Escalabilidad, L2s y Nueva Arquitectura | Módulo 4 de 12

ZK-ROLLUPS: ZKSYNC, STARKNET, SCROLL

Magia matemática: pruebas de validez sin revelar datos

Validity Proofs zk-SNARKs / STARKs Finalidad inmediata
Piénsalo así: Un ZK-rollup es como un mago que hace un truco y te da una prueba matemática de que fue real sin mostrarte cómo lo hizo. No necesitas confiar en el mago — la prueba es suficiente para verificar que el truco ocurrió. Así funcionan los validity proofs: generas una prueba criptográfica de que todas las transacciones son correctas y la publicas en L1.

Objetivos de este módulo

Intuición

Los ZK-Rollups generan una prueba matemática (validity proof) que demuestra que todas las transacciones de un lote son correctas. Cualquiera puede verificar esta prueba en segundos sin necesidad de confiar en nadie. Es como un sello notarial digital infalsificable.

Paso a paso

1. Usuarios envían transacciones al sequencer. 2. Prover genera una prueba ZK comprimida. 3. Prueba + datos se publican en L1. 4. Contrato verificador en L1 valida la prueba en milisegundos. 5. Transacciones finalizadas inmediatamente.

Ejemplo concreto

zkSync Era puede procesar ~2000 TPS. El prover genera una prueba zk-SNARK de ~288 bytes en ~3 segundos. El verificador en L1 la confirma en ~0.01 segundos. El usuario ve su transacción finalizada en L1 tan rápido como en la L2.

Error común

Pensar que ZK-Rollups siempre son más rápidos y baratos que Optimistic. En realidad, generar pruebas ZK requiere hardware especializado (GPUs potentes) y puede ser costoso. La ventaja real es la finalidad inmediata y la seguridad matemática.

Relevancia actual

En 2026, zkSync, Starknet y Scroll lideran la adopción ZK. Los provers han mejorado 10x desde 2025, reduciendo costos. Starknet usa STARKs (sin trusted setup), zkSync usa SNARKs (más pequeños). La evolución hacia zkEVMs nativas acelera la adopción.

Conexión

Los ZK-Rollups complementan a los Optimistic. Ambos son rollups pero con enfoques opuestos: fraud proofs vs validity proofs. La elección depende de las necesidades de finalidad, costo y seguridad de cada aplicación.

Cómo dominar ZK-Rollups

1
Genera un ZK proof

Haz clic en "Generar y Verificar Prueba" para ver el proceso completo de generación y verificación de un zk-SNARK.

2
Compara SNARKs vs STARKs

SNARKs: pruebas pequeñas (~288 bytes), requieren trusted setup. STARKs: pruebas grandes (~100KB), no requieren confianza inicial, resistentes a quantum.

3
Entiende la finalidad inmediata

A diferencia de los Optimistic (7 días de disputa), los ZK finalizan en segundos. Esto es crítico para DeFi, puentes y aplicaciones que requieren finalidad rápida.

4
Conoce el ecosistema ZK

zkSync Era (zkEVM tipo 4), Starknet (CairoVM nativa), Scroll (zkEVM tipo 2). Cada uno tiene su propia aproximación a la compatibilidad con EVM.

5
Responde el quiz

Demuestra tu comprensión respondiendo 3 preguntas. 2 de 3 correctas te dan la insignia.

Demostración: Validity Proof

Tú envías:0.5 ETH a 0x742...f9E2
Prover genera:Esperando...
Generando prueba zk-SNARK...
Circuitos R1CS construidos
Trusted setup verificada
L1 verifica:Pendiente

zk-SNARKs vs zk-STARKs

SNARKs (Succinct Non-interactive Argument of Knowledge): pruebas pequeñas (~200 bytes), requieren trusted setup, rápidas de verificar. STARKs (Scalable Transparent Arguments of Knowledge): pruebas más grandes (~100KB), no requieren trusted setup, resistentes a quantum. Starknet usa STARKs, zkSync usa SNARKs.

2026: ZK en Producción

  • zkSync Era: zkEVM tipo 4, miles de dApps
  • Starknet: STARKs nativos, CairoVM maduro
  • Scroll: zkEVM tipo 2, máxima compatibilidad
  • Mejoras en prover efficiency: proofs en segundos
  • Costos de prueba reducidos 10x desde 2025

Mini-quiz: ZK-Rollups

Resumen del módulo

Anterior Menú