ZK-rollup
Un layer 2 che raggruppa migliaia di transazioni e invia una prova crittografica che attesta la validità di tutte.
La prova può essere verificata sulla catena principale a un costo molto inferiore rispetto a rieseguire le transazioni, e in questo consiste l'intero guadagno di scalabilità. Poiché la validità è dimostrata matematicamente, non serve alcun periodo di contestazione: i prelievi possono avvenire subito, a differenza degli optimistic rollup, dove si attende una settimana.
Il nome è in parte fuorviante. Le prove a conoscenza zero servono in realtà a dimostrare qualcosa senza rivelare i dati sottostanti, ma qui la tecnica è usata soprattutto per la sua proprietà di compressione; la riservatezza è un effetto collaterale non sempre sfruttato. Generare le prove è computazionalmente oneroso, e far girare smart contract arbitrari in un ambiente zk è stata la parte difficile.