ZK-rollup : définition

ZK-rollup : comment ça marche ?

Le ZK-rollup regroupe un grand nombre de transactions en lots. Un séquenceur les ordonne et les exécute, puis un prover calcule une preuve cryptographique que le lot respecte les règles. Un smart contract sur la couche 1, par exemple Ethereum, vérifie cette preuve. Les données nécessaires à la reconstruction des soldes sont aussi publiées sur la couche 1, ce qui permet aux utilisateurs de retrouver leurs fonds même si l'opérateur disparaît.

Grâce à ce mécanisme, la couche 1 n'a pas à réexécuter les transactions, et le coût de chacune est fortement réduit. Les retraits vers la couche 1 n'imposent pas de période de contestation de plusieurs jours, contrairement aux rollups optimistes : ils deviennent possibles dès que la preuve est vérifiée, ce qui peut prendre de quelques minutes à quelques heures selon la fréquence de publication. Certains ZK-rollups sont compatibles avec l'EVM, d'autres utilisent leur propre machine virtuelle.

À ne pas confondre avec

• Rollup optimiste : Un rollup optimiste suppose les lots valides et prévoit une période de contestation, alors qu'un ZK-rollup prouve chaque lot à l'avance.
• Validium : Un validium utilise aussi des preuves de validité mais garde les données hors de la couche 1, ce qui affaiblit la garantie de récupération des fonds.
• Sidechain : Une sidechain a son propre consensus et sa propre sécurité, alors qu'un ZK-rollup fait vérifier ses états par la couche 1.

Questions fréquentes sur ZK-rollup

Un ZK-rollup rend-il les transactions anonymes ?

Généralement non. Le terme ZK fait référence aux preuves cryptographiques utilisées pour la validité ; les transactions restent le plus souvent publiques et consultables.

Pourquoi les retraits sont-ils plus rapides sur un ZK-rollup que sur un rollup optimiste ?

Parce qu'il n'y a pas de période de contestation : dès que la preuve du lot est vérifiée sur la couche 1, les fonds peuvent être retirés.