Cumul sans connaissance

Définition

Un ZK Rollup (Zero-Knowledge Rollup) est un Solution de mise à l'échelle blockchain de couche 2 qui exécute des transactions en dehors de la chaîne principale Ethereum, puis soumet une preuve de validité cryptographique (une preuve à divulgation nulle de connaissance) au réseau principal Ethereum pour confirmer que toutes les transactions regroupées ont été traitées correctement. Contrairement aux Optimistic Rollups, qui supposent que les transactions sont valides sauf contestation, les ZK Rollups prouvent mathématiquement la validité en amont — ce qui signifie qu'il n'y a pas de période de contestation et que les retraits vers la couche 1 peuvent être quasi instantanés. Un opérateur ZK Rollup regroupe des centaines ou des milliers de transactions, calcule une preuve de validité succincte (zk-SNARK ou zk-STARKCe processus prouve la validité de toutes les transitions d'état et envoie cette preuve, ainsi que les données de transaction compressées, à Ethereum. Le contrat intelligent d'Ethereum vérifie la preuve en une seule opération sur la chaîne, acceptant ou rejetant l'ensemble du lot. Résultat : Ethereum conserve ses garanties de sécurité tout en gérant un volume de transactions considérablement plus important à un coût par utilisateur bien moindre. Les ZK Rollups représentent sans doute l'approche la plus ambitieuse sur le plan technique et la plus solide sur le plan théorique en matière de passage à l'échelle de la blockchain. Parmi les principales implémentations figurent zkSync Era, StarkNet (utilisant les STARKs), Polygon zkEVM, Scroll et Linea. Historiquement, la principale difficulté résidait dans l'extrême complexité de la construction des preuves ZK pour l'exécution de contrats intelligents à usage général (équivalence EVM complète), un problème largement résolu dès 2023 grâce à la technologie zkEVM.

 Origine & Histoire

 « Les ZK Rollups représentent la solution ultime pour la mise à l'échelle d'Ethereum : ils nous offrent à la fois évolutivité ET sécurité avec une certitude mathématique, et non des hypothèses économiques. » Vitalik Buterin

 Fonctionnement

« Transactions utilisateur (hors chaîne) : Tx1 : Alice → Bob 1 ETH Tx2 : Bob → Carol 0.5 ETH Regroupées par Tx3 : Carol → Dave 0.2 ETH ────► Séquenceur ──► Prouveur ZK … Tx10 000 : … │ ▼ Preuve de validité (zk-SNARK/STARK) « Les 10 000 transactions sont valides » │ ▼ Contrat du réseau principal Ethereum Vérifie la preuve : ✓ (une transaction) Met à jour l’état racine (10 000 transactions réglées pour un prix d’environ 1) »

 En termes simples

1. Regroupez et prouvezUn ZK Rollup collecte des milliers de transactions, les exécute hors chaîne, puis soumet à Ethereum une preuve mathématique indiquant que « toutes ces transactions étaient valides » — comme une entrée de registre condensée et prouvée.
2. Aucune confiance requiseContrairement aux rollups optimistes qui supposent l'honnêteté, les rollups ZK fournissent une preuve cryptographique qui ne peut être falsifiée. Ethereum Vérifie les calculs, pas les intentions.
3. Retraits rapidesGrâce à la validation instantanée (sans période de vérification), vous pouvez retirer vos fonds vers le réseau principal Ethereum en quelques minutes, et non en plusieurs semaines.
4. 100x moins cher: Le regroupement de 10 000 transactions en une seule preuve signifie que chaque transaction ne paie que 1/10 000e du coût de vérification L1, ce qui rend les transactions souvent inférieures à 0.01 $.
5. Sécurité héritéeLa preuve ZK est vérifiée par le contrat intelligent d'Ethereum — si Ethereum est sécurisé, les fonds ZK Rollup sont sécurisés, même si l'opérateur du rollup disparaît.

 Exemples du monde réel

 Avantages

 Inconvénients et risques

Conseils de gestion des risques :

• Vérifiez quel mécanisme de secours est prévu par un ZK Rollup si le séquenceur est hors ligne.
• Vérifiez les rapports d'audit des contrats de pont du ZK Rollup — ceux-ci contiennent tous les fonds des utilisateurs de niveau 2
• Il est important de comprendre que la présence de « ZK » dans le nom d'un projet n'implique pas automatiquement la protection de la vie privée : la plupart des Rollups ZK sont conçus pour la mise à l'échelle, et non pour la confidentialité.
• Surveillez la feuille de route de décentralisation des projets ZK Rollup ; les séquenceurs centralisés représentent toujours un risque.
• Effectuez des retraits de faible montant avant des retraits importants ; comprenez la procédure de retrait pour chaque type de regroupement.

 QFP

Q : Quelle est la différence entre un ZK Rollup et un Optimistic Rollup (comme Arbitrum ou Optimism) ?

A : Les Rollups optimistes partent du principe que les transactions sont valides et prévoient une période de vérification de 7 jours pendant laquelle des preuves de fraude peuvent être soumises. Les Rollups ZK, quant à eux, prouvent la validité de manière cryptographique en amont, permettant une finalité instantanée et des retraits rapides, mais nécessitent une infrastructure de génération de preuves plus complexe.

Q : zkSync est-il la même chose que StarkNet ?

R : Non. Les deux sont des ZK Rollups, mais utilisent des systèmes ZKP différents. zkSync Era utilise une zkEVM personnalisée avec des preuves basées sur SNARK. StarkNet utilise la machine virtuelle Cairo avec des preuves basées sur STARK. Leurs niveaux de compatibilité EVM, leurs performances et leurs écosystèmes de développement diffèrent.

Q : « ZK » signifie-t-il que mes transactions sont privées sur les ZK Rollups ?

R : Pas automatiquement. La plupart des ZK Rollups (zkSync, Polygon zkEVM, StarkNet) utilisent des ZKP pour la validité et la scalabilité, et non pour la confidentialité ; les transactions restent visibles publiquement sur le réseau de couche 2. Les fonctionnalités de confidentialité nécessitent des mécanismes d'activation supplémentaires. Zcash est un exemple d'utilisation des ZKP à des fins de confidentialité ; les ZK Rollups les utilisent principalement comme preuve de bonne exécution.

Q : Combien de temps faut-il pour retirer des fonds d'un ZK Rollup vers Ethereum ?

A : Cela varie selon le type de rollup et dépend du temps de génération des preuves. Généralement, il faut compter entre quelques minutes et quelques heures pour zkSync Era et Polygon zkEVM. À titre de comparaison, les rollups optimistes (Arbitrum, Optimism) nécessitent 7 jours. De nombreux ponts offrent une liquidité instantanée moyennant des frais, permettant ainsi de contourner le délai de retrait natif.

Q : Qu'est-ce qu'un zkEVM ?

A : Une zkEVM (machine virtuelle Ethereum à connaissance nulle) est un ZK Rollup capable d'exécuter le bytecode de l'EVM d'Ethereum et de générer des preuves ZK valides pour ces exécutions. Cela permet de déployer des contrats intelligents Ethereum existants sur des ZK Rollups sans modification – une avancée majeure réalisée en 2023.

Conseil UPay : Lors de la comparaison des solutions de couche 2, consultez L2Beat.com pour obtenir des données concrètes sur la sécurité, la TVL et le niveau de décentralisation de chaque rollup, notamment ceux qui disposent de séquenceurs centralisés et l'existence de mécanismes de repli. Les rollups ZK offrent théoriquement des garanties de sécurité supérieures aux rollups optimistes, mais la centralisation des séquenceurs représente toujours un risque pratique réel pour la plupart des rollups ZK déployés en 2024.

Avertissement : Ce contenu est fourni à titre informatif uniquement et ne constitue en aucun cas un conseil financier ou d’investissement. Investir dans les cryptomonnaies comporte des risques importants. Faites toujours vos propres recherches avant de prendre toute décision financière.

Payer — Rendre la crypto encyclopédique