ZK-rollup

Un ZK-rollup ejecuta las transacciones fuera de la cadena principal, las comprime en lotes y genera una prueba criptográfica de que el cambio de estado resultante cumple las reglas. Un contrato inteligente en Ethereum verifica esa prueba, de modo que la cadena principal acepta el nuevo estado sin volver a ejecutar las transacciones. Un lote inválido no puede darse por cerrado, porque no existe una prueba válida para él.

zkSync, Starknet, Linea y Scroll son algunos ejemplos. Algunos buscan compatibilidad total con la EVM, mientras que Starknet usa su propio lenguaje, Cairo. Como la validez se demuestra de antemano, las retiradas hacia Ethereum pueden completarse en cuanto se verifica la prueba, a menudo en horas y no en la semana de espera de los rollups optimistas.

Generar las pruebas exige mucha capacidad de cálculo, lo que añade costes y complica admitir todas las funciones de la EVM. Los sistemas de pruebas son código complejo que puede contener errores, y muchos ZK-rollups aún dependen de un único secuenciador y de contratos actualizables controlados por un equipo reducido.