Un ZK-rollup usa pruebas de conocimiento cero para demostrar a la L1 que un lote de transacciones es válido, permitiendo finalización más rápida sin periodo largo de disputa.
En palabras simples
- Publica pruebas de validez.
- Puede tener retiros más rápidos que optimistic.
- Tiene complejidad criptográfica y de implementación.