ZK-rollups : zkSync, Starknet, Scroll, l’avenir d’Ethereum ?

Illustration conceptuelle de la technologie des ZK-rollups sur le réseau Ethereum

Depuis plusieurs années, la mise à l’échelle d’Ethereum concentre les efforts de l’écosystème blockchain. Face à la saturation récurrente du réseau principal (Layer 1) et à l’explosion périodique des frais de transaction, les solutions de seconde couche se sont imposées comme un standard incontournable. Si les rollups dits « optimistes » ont capté la première vague d’adoption, les ZK-rollups (Zero-Knowledge rollups) sont régulièrement présentés par les chercheurs et les cryptographes comme le Graal architectural de la scalabilité.

En substituant une période de contestation probabiliste de sept jours par des preuves cryptographiques mathématiquement irréfutables dès leur soumission sur Ethereum, des protocoles majeurs comme zkSync Era, Starknet et Scroll redéfinissent l’efficience opérationnelle du Web3. Pourtant, derrière les promesses de débit massif et de frais infimes se cachent des défis considérables : coûts réels de calcul, disponibilité des données et centralisation temporaire des séquenceurs.

L’avantage cryptographique : SNARKs, STARKs et validité instantanée

Le principe fondamental des rollups consiste à déporter l’exécution des contrats intelligents hors de la couche de base, tout en conservant l’intégrité et la sécurité offertes par les validateurs d’Ethereum. Contrairement aux solutions optimistes qui partent du principe que toutes les transactions sont valides à moins qu’un observateur ne prouve le contraire via une preuve de fraude, les ZK-rollups génèrent une preuve de validité pour chaque lot de transactions.

Dès que cette preuve est vérifiée par un contrat intelligent sur le Layer 1, l’état du réseau est actualisé avec une certitude absolue. Deux grandes familles de preuves dominent actuellement le secteur :

  • Les SNARKs (Succinct Non-Interactive Argument of Knowledge) : Utilisés notamment par zkSync et Scroll. Ces preuves ont l’avantage d’être extrêmement légères à vérifier sur Ethereum, occupant un volume de gaz réduit sur la couche de base. Historiquement, elles nécessitaient une configuration initiale sécurisée (trusted setup), un verrou désormais largement levé par les architectures modernes.
  • Les STARKs (Scalable Transparent Argument of Knowledge) : Piliers technologiques de Starknet développés par StarkWare. Ils ne requièrent aucune phase de confiance initiale et reposent sur des fonctions de hachage théoriquement résistantes aux futures attaques par calcul quantique. Pour mieux cerner cette technologie propriétaire, explorez notre dossier dédié à Starknet et l’essor des preuves à connaissance nulle.

L’équation économique : Data Availability et impact d’EIP-4844

Générer une preuve cryptographique complexe demande une puissance de calcul considérable au niveau du rollup, mais la rentabilité économique d’un Layer 2 dépend surtout de ce qu’il doit payer à Ethereum pour inscrire ses données. Pour une analyse approfondie des postes de dépense sur ces réseaux, consultez notre guide sur les frais et coûts cachés des Layer 2.

Les dépenses opérationnelles d’un ZK-rollup se décomposent en trois postes principaux :

  1. Le calcul off-chain (Compute) : Les machines (générateurs de preuves ou provers) exécutent les transactions et créent les preuves de validité. Ce coût est supporté directement par l’opérateur du rollup ou ses validateurs matériels.
  2. La vérification on-chain : Le coût en gaz payé sur Ethereum pour que le contrat intelligent du rollup certifie la validité mathématique de la preuve soumise.
  3. La disponibilité des données (Data Availability ou DA) : La publication de l’état compressé ou des différences d’état (state diffs) sur le Layer 1 afin que quiconque puisse reconstruire l’état global du réseau en cas de défaillance des opérateurs.

La mise à niveau Dencun, introduisant l’EIP-4844 et les conteneurs éphémères de données appelés « blobs », a radicalement bouleversé ce modèle économique. En substituant le coûteux espace standard calldata par un marché de stockage indépendant et temporaire, le coût marginal de publication des données a chuté de plus de 90 % pour les rollups. Pour comprendre les mécaniques sous-jacentes de cette transition, reportez-vous à notre article sur l’impact des EIP post-Dencun sur les L2.

Pour un ZK-rollup, la mise en place d’EIP-4844 a transformé une contrainte financière critique en un avantage d’échelle : plus le volume d’opérations regroupées dans un lot est élevé, plus le coût unitaire par transaction devient marginal.

zkSync Era, Starknet, Scroll : trois visions, trois architectures

Bien que regroupés sous l’étiquette générique de ZK-rollups, zkSync Era, Starknet et Scroll adoptent des choix d’ingénierie fondamentalement divergents.

zkSync Era et le prouveur Boojum

Développé par Matter Labs, zkSync Era a misé très tôt sur une compatibilité accrue avec les outils Ethereum existants. L’implémentation de leur prouveur baptisé Boojum a marqué un tournant : en remplaçant l’ancien système basé sur Plonk par une architecture hybride STARK-to-SNARK basée sur GPU, zkSync a considérablement réduit les besoins en mémoire vive des serveurs de preuve et abaissé le coût récurrent des soumissions L1. zkSync privilégie une compatibilité au niveau du compilateur (traduire Solidity vers du bytecode optimisé pour leur machine virtuelle), permettant un portage rapide des protocoles DeFi.

Starknet et la puissance du langage Cairo

Starknet a fait le pari délibéré de rompre avec les limitations de la machine virtuelle d’Ethereum (EVM). En s’appuyant sur son langage natif Cairo, conçu dès le départ pour maximiser l’efficience des preuves STARK, le réseau permet des calculs hors chaîne d’une complexité impensable sur d’autres chaînes. Starknet intègre nativement l’Account Abstraction (AA), transformant chaque compte utilisateur en contrat intelligent autonome. Si la compression des transactions est impressionnante sur les volumes colossaux, la sensibilité à la disponibilité des données y était particulièrement aiguë avant l’avènement des blobs.

Scroll et l’équivalence EVM totale

Scroll a choisi la voie la plus exigeante sur le plan cryptographique : l’équivalence au niveau du bytecode (zkEVM de Type 2). Là où zkSync convertit le code source, Scroll génère des preuves directement sur les opcodes natifs de l’EVM. Ce choix garantit une compatibilité quasi parfaite avec l’infrastructure historique d’Ethereum (outils, débogueurs, librairies), réduisant à néant les frictions pour les développeurs. En contrepartie, la complexité calculatoire pour générer les preuves est supérieure, exigeant une infrastructure matérielle particulièrement robuste.

L’épineuse question des séquenceurs et de la décentralisation

Malgré l’élégance de leurs mécanismes cryptographiques, les ZK-rollups présentent encore aujourd’hui un point de friction majeur : la centralisation des séquenceurs. Sur zkSync, Starknet comme Scroll, l’ordonnancement des transactions au sein des blocs et l’émission des preuves sont encore orchestrés par des entités uniques ou un ensemble restreint de validateurs sous gouvernance directe des équipes fondatrices.

Cette situation soulève des problématiques concrètes :

  • Risque de censure temporaire : Un séquenceur centralisé peut théoriquement retarder l’inclusion d’une transaction, même si des mécanismes de retrait forcé via le Layer 1 sont progressivement déployés.
  • Capture de MEV : Le contrôle de l’ordre d’exécution permet à l’opérateur de capter des rentes de situation économique, ce qui appelle à l’émergence de marchés d’enchères transparents.
  • Barrières à l’entrée matérielles : L’exploitation d’un prouveur ZK de dernière génération requiert des grappes de processeurs graphiques (GPU) haut de gamme, limitant la participation des validateurs indépendants aux budgets conséquents.

La pérennité financière de ces écosystèmes reposera sur la transition vers des réseaux de séquenceurs décentralisés sans que les coûts de consensus n’annulent les gains de scalabilité obtenus par la cryptographie.

ZK-rollups ou Optimistic rollups : quel arbitrage pour l’investisseur ?

Sur le plan des volumes de capitaux immobilisés (TVL), les géants optimistes continuent de dominer les débats. Pour observer ces dynamiques de marché, étudiez la compétition entre Arbitrum et Optimism sur Ethereum. Toutefois, les ZK-rollups comblent rapidement leur retard technique.

Pour un épargnant ou un investisseur institutionnel, le ZK-rollup apporte une sécurité structurelle indéniable : l’absence de délai de contestation de sept jours pour rapatrier des fonds vers Ethereum change la donne en matière de gestion de trésorerie et d’arbitrage DeFi. Là où un rollup optimiste nécessite des protocoles de liquidité tiers (qui prélèvent des commissions) pour assurer des retraits rapides, le ZK-rollup permet une libération des fonds dès l’écriture de la preuve sur le Layer 1.

Avec la maturation des zkEVM, la mise en service progressive des hyperchains (zkSync) et des appchains spécialisées (Starknet), les ZK-rollups consolident leur statut de solution d’infrastructure finale pour Ethereum. Les investisseurs avertis surveilleront de près l’économie des tokens d’infrastructure respectifs ($ZK, $STRK, et les initiatives à venir) en évaluant un critère capital : la capacité de ces réseaux à générer des flux de trésorerie réels tout en ouvrant leur réseau de validateurs à une concurrence véritablement décentralisée.

À lire aussi