Qu'est-ce qu'un ZK-rollup (Zero-Knowledge rollup) ?

Définition et mécanisme de base

1. Un ZK-rollup est une solution de mise à l’échelle de couche 2 qui regroupe plusieurs transactions hors chaîne et soumet une seule preuve cryptographique – appelée argument de connaissance succinct et non interactif à connaissance nulle (zk-SNARK) – à la blockchain principale d’Ethereum.

2. Cette preuve vérifie cryptographiquement que toutes les transactions groupées sont valides sans révéler leurs données sous-jacentes, préservant ainsi la confidentialité et réduisant la charge de calcul en chaîne.

3. Contrairement aux cumuls optimistes, qui supposent leur validité par défaut et s'appuient sur des preuves de fraude pendant une fenêtre de défi, les cumuls ZK affirment d'emblée leur exactitude grâce à une vérification mathématique.

4. La chaîne principale ne stocke qu'un minimum de données : les données d'appel de transaction et le zk-SNARK, permettant un débit élevé tout en maintenant les garanties de sécurité d'Ethereum.

5. Chaque transition d'état dans un rollup ZK est accompagnée d'une preuve de validité, ce qui signifie qu'aucune hypothèse de confiance n'est nécessaire au-delà de la solidité de la cryptographie sous-jacente.

Stratégie de publication de données en chaîne

1. Les cumuls ZK publient les données de transaction compressées (y compris l'expéditeur, le destinataire, le montant et le nombre occasionnel) dans l'espace de données d'appel d'Ethereum, garantissant ainsi la disponibilité des données pour la reconstruction et l'audit.

2. Cette publication de données permet à tout observateur de vérifier l'exactitude de l'état du rollup même si l'opérateur se déconnecte ou agit de manière malveillante.

3. Les techniques de compression réduisent considérablement la taille des données d'appel ; par exemple, un simple transfert ERC-20 peut passer de plus de 100 octets à moins de 12 octets dans le format publié.

4. Les données publiées n'incluent pas les entrées privées utilisées dans la génération de la preuve, préservant ainsi la confidentialité de l'utilisateur lorsque la logique de l'application l'exige.

5. Les contrats cumulatifs sur Ethereum valident les preuves entrantes par rapport à la dernière racine d'état et ne les mettent à jour qu'une fois la vérification réussie.

Infrastructure du prouveur et compromis informatiques

1. La génération de zk-SNARK nécessite des ressources de calcul substantielles, d'autant plus que la complexité des circuits augmente avec les types de transactions et la fonctionnalité des contrats intelligents.

2. Les prouveurs peuvent être centralisés ou décentralisés ; de nombreux déploiements en direct reposent actuellement sur du matériel fiable ou sur des testeurs autorisés en raison de contraintes de latence et de coûts.

3. La preuve récursive, où une preuve atteste de la validité d'une autre, est de plus en plus adoptée pour rendre les épreuves par lots plus efficaces et réduire les coûts de gaz de vérification.

4. Les progrès des machines virtuelles compatibles STARK telles que RISC Zero et Cairo ont étendu la programmabilité, permettant aux développeurs d'écrire des circuits en utilisant des langages de niveau supérieur au lieu de systèmes de contraintes bruts.

5. L'accélération matérielle utilisant des GPU et des FPGA est de plus en plus courante parmi les opérateurs de preuves visant à réduire le temps de génération de preuves de quelques minutes à quelques secondes.

Implications du modèle de sécurité

1. La finalité des rollups ZK est immédiate dès l'acceptation de la preuve, éliminant ainsi les délais de retrait de 7 jours typiques des rollups optimistes.

2. Le modèle de sécurité repose entièrement sur la solidité des hypothèses cryptographiques sous-jacentes, telles que le logarithme discret ou la résistance aux collisions, et sur l'exactitude de la mise en œuvre du circuit.

3. Des bogues dans la logique des circuits ou dans les chaînes d'outils du compilateur peuvent conduire à l'acceptation de preuves invalides, faisant de la vérification formelle des circuits une pratique d'ingénierie critique.

4. Aucune incitation économique ou mécanisme de réduction n'est requis pour sécuriser le système, contrairement aux conceptions basées sur la fraude, dans lesquelles la taille des obligations et le calendrier de la contestation affectent la sécurité.

5. Si un prouveur malveillant construit un zk-SNARK incorrect mais apparemment valide, le contrat du vérificateur Ethereum le rejettera catégoriquement : aucun fonds ne pourra être volé ou détourné sans détection.

Foire aux questions

Q : Les ZK-rollups peuvent-ils prendre en charge des contrats intelligents arbitraires ? R : Oui, mais avec des contraintes. Des plates-formes telles que zkSync Era et Starknet utilisent des machines virtuelles personnalisées (par exemple, zkEVM, Cairo) qui compilent Solidity ou d'autres langages dans des circuits vérifiables. L’équivalence complète EVM reste un domaine de développement actif.

Q : Pourquoi certains rollups ZK nécessitent-ils toujours des séquenceurs centralisés ? R : Le séquençage consiste à ordonner les transactions avant de les prouver. La décentralisation de cette couche introduit des problèmes de surcharge de coordination et de latence. De nombreux projets donnent la priorité à la vivacité et aux frais peu élevés, en planifiant la décentralisation du séquenceur après la stabilité du réseau principal.

Q : Le coût des données d'appel sur Ethereum est-il un goulot d'étranglement pour les rollups ZK ? R : C’est un facteur important. Même avec la compression, l’envoi fréquent de gros lots a un impact sur la consommation de gaz. EIP-4844 a introduit le proto-danksharding pour réduire ce coût, et d'autres optimisations des données d'appel sont intégrées dans les implémentations client actuelles.

Q : Comment les ZK-rollups gèrent-ils l'abstraction de compte et la récupération de portefeuille ? R : Ils héritent du modèle de compte d'Ethereum mais l'étendent via des portefeuilles de contrats intelligents. Les mécanismes de récupération dépendent de la logique du portefeuille (et non du protocole de cumul lui-même) permettant la récupération sociale, le multisig ou les mises à niveau verrouillées dans le temps, comme le permet le contrat de compte déployé.