ZK-rollup
Un layer 2 que agrupa miles de transacciones y envía una prueba criptográfica de que todas eran válidas.
Esa prueba se puede verificar en la cadena principal mucho más barato que volviendo a ejecutar las transacciones, y ahí está toda la ganancia de escalado. Como la validez queda demostrada matemáticamente, no hace falta ningún periodo de impugnación: los retiros pueden hacerse al instante, a diferencia de los rollups optimistas, donde hay que esperar una semana.
El nombre es en parte engañoso. Las pruebas de conocimiento cero tratan en realidad de demostrar algo sin revelar los datos subyacentes, pero aquí la técnica se usa sobre todo por su capacidad de comprimir; la privacidad es un efecto secundario que no siempre se aprovecha. Generar las pruebas exige mucho cómputo, y ejecutar contratos inteligentes arbitrarios en un entorno zk ha sido la parte difícil.