Polygon zkEVM est une solution de mise à l'échelle de couche 2 (couche 2) conçue pour améliorer la capacité de traitement des transactions et réduire les frais de gaz sur le réseau Ethereum tout en conservant la compatibilité avec la Machine virtuelle Ethereum (EVM) [1]. Elle utilise la technologie des rollups à preuves de connaissance nulle (zk-rollup), qui permet de regrouper des transactions hors chaîne et de soumettre des preuves cryptographiques, appelées preuves succinctes non interactives de connaissance (zk-SNARK), à la chaîne principale d'Ethereum pour vérification [2]. Ce mécanisme garantit l'intégrité des transactions tout en héritant de la sécurité robuste d'Ethereum, tout en réduisant considérablement la charge de calcul sur la couche 1. Grâce à son équivalence EVM, les développeurs peuvent déployer leurs contrats intelligents et utiliser leurs outils existants tels que MetaMask, Hardhat ou Foundry sans modifications majeures [3]. Le système repose sur plusieurs composants clés, notamment le séquenceur qui ordonne les transactions, le prover qui génère les preuves, et le pont PolygonZkEVMBridgeV2 pour transférer des actifs entre Ethereum et zkEVM [4]. Bien que la solution ait connu des améliorations notables comme les mises à jour Elderberry et Eggfruit, visant à optimiser les performances et l'efficacité des preuves, Polygon Labs a annoncé en 2026 la fin progressive du réseau zkEVM, avec une phase de transition prévue d'au moins 12 mois pour permettre aux utilisateurs de migrer vers d'autres solutions comme Polygon PoS ou le CDK (Chain Development Kit) [5]. Cette décision s'inscrit dans une stratégie plus large vers une infrastructure modulaire et interopérable, tout en maintenant l'impact technologique du zkEVM sur l'écosystème des solutions de mise à l'échelle fondées sur les preuves de connaissance nulle.
Architecture et fonctionnement du réseau
Polygon zkEVM repose sur une architecture de zk-rollup qui permet de traiter les transactions hors chaîne tout en conservant la sécurité de la couche 1 d'Ethereum grâce à des preuves cryptographiques. Ce modèle hybride combine l'évolutivité des solutions hors chaîne avec l'intégrité garantie par la blockchain principale. Le fonctionnement du réseau s'articule autour de plusieurs composants clés : le séquenceur, le prover, le système de preuve et les mécanismes de publication des données. L'ensemble assure une exécution fidèle des transactions conformes à la sémantique de la Machine virtuelle Ethereum (EVM), tout en minimisant la charge sur Ethereum [6].
Séquencement, exécution et regroupement des transactions
Le processus commence par la collecte des transactions par le séquenceur, un nœud centralisé actuellement exploité par Polygon Labs, qui ordonne les transactions dans un ordre défini et les exécute sur une instance EVM équivalente hors chaîne [7]. Cette exécution produit un trace d'exécution, une séquence détaillée de toutes les opérations effectuées (opcodes, pile, mémoire, stockage, consommation de gaz), qui servira de base à la génération de la preuve de validité [8]. Les transactions sont ensuite regroupées en batches, des lots qui optimisent l'efficacité en réduisant le nombre de soumissions sur Ethereum. Ces batches contiennent les données des transactions, les racines d'état avant et après, ainsi que des métadonnées comme le timestamp [9]. Le composant zkNode est responsable de la séquence et du flux de données vers les autres parties du système, notamment le moteur d'exécution et le prover [10].
Génération et vérification des preuves de validité
La pièce maîtresse de l'architecture est le prover, qui transforme le trace d'exécution en une preuve de validité cryptographique. Ce processus utilise le framework PLONK et son extension UltraPLONK, qui permettent de modéliser les opérations complexes de l'EVM sous forme de contraintes polynomiales [11]. Le trace est compilé via un langage spécifique, le PIL, en un système de contraintes de rang 1 (R1CS), puis soumis au système de preuve [12]. Pour améliorer l'efficacité, l'architecture décompose la vérification en plusieurs machines d'état spécialisées : une pour l'EVM, une pour la mémoire, une pour le stockage et des machines pour le hachage (comme Keccak-256) [13]. Ces sous-circuits sont ensuite intégrés dans un circuit global pour garantir la cohérence globale. Le système utilise des engagements polynomiaux KZG pour lier les polynômes aux données d'exécution, permettant des ouvertures succinctes et vérifiables via des opérations d'appariement sur des courbes elliptiques comme BLS12-381 [14].
Récursion des preuves et soumission à Ethereum
Pour surmonter les limitations de taille et de coût de vérification des preuves, Polygon zkEVM implémente une architecture de récursion des preuves. Cette technique, souvent appelée STARK recursion, permet d'agréger plusieurs preuves de batch en une seule preuve finale succincte. Initialement, des preuves intermédiaires (souvent basées sur STARK) sont générées pour chaque batch. Ensuite, un processus de récursion les combine en une preuve zk-SNARK finale, généralement utilisant le schéma Groth16 pour sa petite taille et sa vérification rapide [15]. Cette preuve agrégée est ensuite soumise à un contrat de vérification sur Ethereum. Cette approche hybride (STARK + SNARK) permet d'atteindre un bon compromis entre l'efficacité de la génération de preuves et la concision nécessaire pour une vérification économique sur la chaîne principale [16].
Publication des données et finalité
La sécurité et la disponibilité des données sont garanties par la publication de toutes les données de transaction sur Ethereum. Les batches sont envoyés au contrat de pont PolygonZkEVMBridgeV2 via le calldata, assurant ainsi que toute information nécessaire pour reconstruire l'état de la couche 2 est publiquement disponible [17]. Cette pratique, connue sous le nom de data availability on-chain, empêche les séquenceurs malveillants de cacher des données. L'état de la couche 2 est représenté par un arbre de Merkle (ou arbre de Patricia Merkle), dont la racine est mise à jour après chaque batch. Cette racine d'état est validée par la preuve de validité et ancrée sur Ethereum, assurant la cohérence entre les couches 1 et 2 [18]. Une fois la preuve vérifiée sur Ethereum, les transactions atteignent la finalité consolidée, garantissant leur immuabilité. Bien que les transactions soient confirmées sur la couche 2 en quelques secondes, la finalité complète, notamment pour les retraits, prend entre 30 et 60 minutes en raison du temps nécessaire à la génération et à la vérification de la preuve [19].
Équivalence EVM et compatibilité des outils
Polygon zkEVM atteint un haut niveau d’équivalence avec la Machine virtuelle Ethereum (EVM), ce qui signifie qu’il exécute le bytecode Ethereum de manière native, sans nécessiter de modifications ou de recompilation des contrats intelligents. Cette compatibilité permet aux développeurs de déployer leurs applications décentralisées (dApp) existantes sur Ethereum directement sur zkEVM, en conservant les mêmes comportements d’exécution et les mêmes sémantiques de gaz. Cette caractéristique place Polygon zkEVM dans la catégorie des zkEVM de type 3 selon la classification de Vitalik Buterin, visant un équilibre entre compatibilité maximale et optimisation des performances [20]. Grâce à l’upgrade Etrog, le réseau s’est rapproché d’un type 2 zkEVM, améliorant encore sa fidélité au comportement natif d’Ethereum [21].
Le système traduit chaque opération de la EVM en contraintes arithmétiques via un modèle de circuit basé sur des machines d’état spécialisées, telles que la machine d’état principale, la machine d’état de stockage et la machine d’état de mémoire. Ces circuits garantissent que chaque opcode, accès mémoire ou transition d’état respecte les règles de l’EVM, tout en permettant la génération de preuves de validité à l’aide de la cryptographie à connaissance nulle. L’utilisation du langage PIL (Polynomial Identity Language) permet de définir formellement ces contraintes, qui sont ensuite compilées en un système de contraintes de rang 1 (R1CS) pour la preuve [22]. Ce processus préserve la compatibilité tout en assurant la vérifiabilité cryptographique.
Outils de développement et intégration
Les développeurs peuvent utiliser l’écosystème standard des outils Ethereum sans modifications majeures. Hardhat est le framework officiellement recommandé pour le déploiement, le test et la vérification des contrats intelligents sur Polygon zkEVM [23]. Il suffit de configurer le fichier hardhat.config.js avec l’URL du nœud RPC et l’ID de chaîne approprié (par exemple, 1442 pour le testnet) pour interagir avec le réseau. Le plugin hardhat-verify permet également la vérification automatique du code source sur des explorateurs comme PolygonScan [24].
Foundry est également entièrement pris en charge, permettant aux développeurs d’utiliser forge pour compiler, déployer et tester des contrats directement sur zkEVM [25]. Bien que moins documenté officiellement, Truffle fonctionne également grâce à l’équivalence EVM, en ajoutant simplement une configuration réseau dans truffle-config.js. Pour les développeurs préférant une interface graphique, Remix IDE est compatible via une connexion au wallet (comme MetaMask) configuré avec les paramètres RPC de zkEVM [26].
Débogage et observabilité
Polygon zkEVM offre des outils avancés pour le diagnostic des transactions échouées et l’analyse des interactions contractuelles. Les méthodes RPC de débogage telles que debug_traceTransaction, trace_replayTransaction et debug_traceBlockByNumber sont disponibles via des fournisseurs comme QuickNode [27]. Ces outils permettent de suivre pas à pas l’exécution des opcodes, d’inspecter les modifications d’état et de comprendre les raisons des reverts. Les développeurs peuvent également utiliser des bibliothèques comme @maticnetwork/matic-js pour intégrer des fonctionnalités de pont et de passage de messages entre couches dans leurs applications [28].
La compatibilité avec les bibliothèques standard comme OpenZeppelin est maintenue, permettant l’utilisation de modèles de conception éprouvés tels que les contrats proxy, le contrôle d’accès et les normes token (ERC-20, ERC-721). Des environnements de test locaux peuvent être configurés à l’aide d’un nœud zkEVM local, permettant une simulation complète du réseau pour le développement et le débogage hors ligne [29]. Cette intégration fluide avec l’écosystème Ethereum existant réduit considérablement la barrière à l’entrée pour les développeurs souhaitant migrer vers cette solution de mise à l’échelle.
Preuves de validité et sécurité cryptographique
Polygon zkEVM repose sur un cadre cryptographique robuste fondé sur les preuves de validité (validity proofs), une catégorie de preuves de connaissance nulle (zero-knowledge proofs, ZKP), pour garantir l'intégrité et la sécurité des transactions hors chaîne tout en héritant de la sécurité de la couche 1 d'Ethereum. Contrairement aux rollups optimistes qui utilisent des preuves de fraude, le système de zkEVM exige qu'une preuve cryptographique valide soit soumise avant que tout changement d'état ne soit accepté sur la chaîne principale [30]. Cette approche repose sur des preuves succinctes non interactives de connaissance (zk-SNARK) et des preuves STARK récursives, combinées à des structures de référence commune sécurisées, pour assurer une vérification efficace et fiable sur Ethereum [2].
Mécanisme des preuves de validité
Le cœur de la sécurité du zkEVM réside dans son utilisation de preuves de validité, qui permettent à un prover de démontrer qu’un lot de transactions a été exécuté correctement selon les règles de la Machine virtuelle Ethereum (EVM), sans révéler les données sous-jacentes. Chaque lot de transactions est traité par un système d’exécution, qui génère un tracé d’exécution détaillé capturant chaque opération, y compris les modifications de pile, de mémoire et d’état [8]. Ce tracé sert de témoin pour la génération de la preuve, qui est ensuite vérifiée par un contrat intelligent sur Ethereum. Le fait qu’un changement d’état ne puisse être validé que si la preuve correspondante est vérifiée garantit que seules les transitions d’état correctes sont acceptées, éliminant ainsi la possibilité de fraudes permanentes [33].
Cette méthode cryptographique remplace les hypothèses économiques des rollups optimistes par des garanties mathématiques, reposant sur la difficulté calculatoire de problèmes tels que le logarithme discret ou la collision de fonctions de hachage [34]. Le système vise une sécurité prouvable de 128 bits, ce qui signifie qu’un attaquant devrait effectuer environ $2^{128}$ opérations pour compromettre le système — une tâche considérée comme inatteignable avec la technologie actuelle [34]. Cela aligne la sécurité du zkEVM sur la vision à long terme d’Ethereum d’un réseau fondé sur la minimisation de la confiance via la cryptographie [36].
Cadres de preuve : PLONK et UltraPLONK
Polygon zkEVM utilise les cadres de preuve PLONK (Permutation Arguments of Knowledge) et UltraPLONK pour structurer ses contraintes arithmétiques et générer des preuves efficaces. PLONK fournit un schéma d’arithmétisation universel et évolutif, permettant d’encoder les opérations de la EVM — telles que l’arithmétique, l’accès à la mémoire et le flux de contrôle — en identités polynomiales sur des corps finis [11]. Cette transformation est facilitée par un compilateur appelé PILCOM, qui convertit les contraintes de haut niveau en polynômes de faible degré compatibles avec le protocole PLONK [12].
UltraPLONK étend PLONK en introduisant des portes personnalisées et des arguments de recherche (lookup arguments), ce qui améliore considérablement l’expressivité du circuit. Ces fonctionnalités permettent d’implémenter efficacement des opérations coûteuses comme SHA256, Keccak256 et l’arithmétique sur courbes elliptiques, qui seraient autrement difficiles à exprimer dans PLONK standard [39]. Par exemple, le support pour des défis Keccak256 de 32 octets renforce la sécurité et l’efficacité des fonctions de hachage dans les preuves à connaissance nulle [40]. Ces optimisations permettent des circuits plus compacts et réduisent le nombre de contraintes par opération, contribuant directement à une génération de preuve plus rapide.
Engagement polynomial et confiance structurée
Un élément fondamental du système de preuve est l’utilisation d’engagements polynomiaux, notamment les engagements KZG (Kate-Zaverucha-Goldberg), qui jouent un rôle central dans la génération et la vérification des preuves. Les engagements KZG permettent au prover de s’engager sur des polynômes représentant les données d’exécution sans les révéler, puis de fournir des preuves succinctes d’évaluation à des points spécifiques [14]. Ces preuves sont vérifiées à l’aide de couplages cryptographiques, permettant une vérification en temps logarithmique par rapport à la taille du circuit, ce qui réduit considérablement les coûts de gaz sur Ethereum [42].
Cependant, les engagements KZG nécessitent une configuration de confiance (trusted setup), une cérémonie initiale qui génère une chaîne de référence structurée (SRS) à partir d’un secret aléatoire. Si ce secret (le « déchet toxique ») était connu, un attaquant pourrait forger des preuves. Pour atténuer ce risque, la configuration est réalisée via un protocole de calcul multipartite (MPC), où de nombreux participants contribuent chacun à l’aléa. Tant qu’au moins un participant est honnête et détruit son secret local, le secret global reste inconnu [43]. La cérémonie KZG d’Ethereum, à laquelle ont participé plus de 18 000 contributeurs, a établi un SRS commun utilisé par plusieurs protocoles, y compris Polygon zkEVM, renforçant ainsi la décentralisation et la minimisation de la confiance [44].
Sécurité et hypothèses de confiance
Bien que les preuves de validité éliminent le besoin de surveillants pour détecter les fraudes, le système n’est pas exempt d’hypothèses de confiance. La sécurité dépend de la solidité de l’implémentation du circuit et de la correction de la configuration de confiance. Une vulnérabilité critique identifiée dans le passé, liée à un bug mathématique dans la validation du reste de la division, souligne que la sécurité dépend aussi d’une implémentation sans faille et d’audits rigoureux [45]. Des audits de sécurité par des firmes comme Hexens, qui ont identifié et résolu neuf vulnérabilités, sont essentiels pour maintenir la confiance [46]. De plus, la vérification sur chaîne repose sur des précompilés comme EIP-2537, qui introduisent des dépendances supplémentaires envers la sécurité de la couche 1 [47]. Ces couches combinées — cryptographie, implémentation et gouvernance — forment la base de la sécurité globale du zkEVM.
Rôle du prover et optimisations des preuves
Le prover (ou prover) joue un rôle central dans l’architecture de Polygon zkEVM, en étant chargé de générer des preuves de connaissance nulle (preuves de connaissance nulle) qui attestent de la validité des transactions exécutées hors chaîne. Contrairement aux rollups optimistes qui reposent sur des preuves de fraude et une période de contestation, Polygon zkEVM utilise des preuves de validité, garantissant que chaque transition d’état est correcte avant d’être validée sur Ethereum. Ce mécanisme repose entièrement sur l’efficacité et la fiabilité du prover, qui doit transformer l’exécution réelle de la Machine virtuelle Ethereum (EVM) en une représentation formelle vérifiable cryptographiquement [48].
Génération de la trace d’exécution et arithmétisation
Le processus commence par l’exécution des transactions dans un environnement équivalent à l’EVM, généralement via une version modifiée du client Geth. Cette exécution produit une trace d’exécution détaillée, qui enregistre chaque étape du calcul, y compris les opcodes exécutés, les opérations sur la pile, les accès à la mémoire et au stockage, ainsi que la consommation de gaz [8]. Cette trace sert de témoin (witness) pour le système de preuve.
Ensuite, cette trace est traduite en contraintes arithmétiques via un langage spécifique appelé PIL (Polynomial Identity Language). Le compilateur pilcom transforme les étapes de la trace en identités polynomiales, qui définissent formellement les règles de l’EVM — par exemple, que l’opération ADD doit réduire la profondeur de la pile d’un élément. Ces contraintes sont ensuite intégrées dans un système de contraintes de type R1CS (Rank-1 Constraint System), compatible avec les systèmes de preuve zk-SNARK [22].
Architecture en sous-circuits et modularité
Pour gérer la complexité de l’EVM, le circuit de preuve n’est pas monolithique mais décomposé en sous-circuits spécialisés, chacun vérifiant une partie spécifique de l’exécution. Ces sous-circuits incluent :
- Le circuit EVM, qui valide l’exécution des opcodes et les transitions d’état.
- Le circuit de stockage, qui s’assure de la cohérence des modifications d’état des comptes.
- Le circuit de mémoire, qui modélise la mémoire volatile de l’EVM.
- Le circuit de bytecode, qui vérifie le chargement et le hachage correct du bytecode.
Ces sous-circuits sont intégrés dans un « super-circuit » qui garantit leur interaction correcte et la cohérence globale du système. Cette approche modulaire, basée sur des machines d’état spécialisées, améliore la maintenabilité et permet des optimisations ciblées [13].
Optimisations clés pour l’évolutivité des preuves
La génération de preuves en temps réel pour des milliers de transactions est extrêmement coûteuse en ressources. Polygon zkEVM utilise plusieurs stratégies d’optimisation pour rendre ce processus scalable.
Récursion STARK pour l’agrégation des preuves
L’une des innovations majeures est l’utilisation de la récursion STARK, une technique qui permet d’agréger plusieurs preuves individuelles en une seule preuve succincte. Initialement, des preuves STARK sont générées pour des lots de transactions, puis ces preuves sont elles-mêmes vérifiées de manière récursive et compressées en une preuve finale de type SNARK (généralement Groth16). Cette preuve finale, petite et rapide à vérifier, est soumise au contrat de vérification sur Ethereum [15].
Cette architecture hiérarchique réduit considérablement le coût de vérification sur la couche 1, car Ethereum n’a besoin de valider qu’une seule preuve, quelle que soit la taille du lot. Elle permet également une parallélisation de la génération des preuves, augmentant le débit global du réseau [16].
Optimisation du backend Groth16
Polygon a réalisé des améliorations significatives du backend Groth16, réduisant le temps de génération des preuves de jusqu’à 40 %. Ces optimisations incluent des améliorations algorithmiques dans les opérations arithmétiques sur courbes elliptiques, des implémentations efficaces de la transformée de Fourier rapide (FFT), et une réduction du degré des polynômes grâce à une refactorisation des circuits [54]. Ces gains se traduisent par des temps de preuve plus courts (passant de 10 minutes à 4 minutes par lot sur le testnet) et des coûts opérationnels réduits.
Utilisation de PLONK et UltraPLONK
Polygon zkEVM repose sur les cadres de preuve PLONK et UltraPLONK, qui offrent une grande expressivité et une structure universelle. PLONK permet une configuration de référence unique, réutilisable pour différents circuits, tandis qu’UltraPLONK étend ses capacités avec des portes personnalisées et des arguments de recherche (lookup arguments). Ces fonctionnalités permettent d’implémenter efficacement des opérations coûteuses comme les hachages Keccak-256 ou les opérations sur des champs non natifs, réduisant ainsi le nombre de contraintes nécessaires [11].
Accélération matérielle
Pour surmonter les limites computationnelles, Polygon zkEVM intègre des solutions d’accélération matérielle :
- Accélération FPGA : Irreducible a démontré un prover end-to-end sur FPGA, générant une preuve pour un lot de 500 transactions en 84 secondes, soit un gain de 1,4x par rapport aux CPU [56].
- Accélération GPU : X Layer a optimisé le prover pour les GPU, exploitant leur capacité de traitement parallèle pour accélérer les opérations comme la transformée de Fourier rapide (NTT).
- Processeurs de traitement vérifiables (VPUs) : Polygon Labs collabore avec Fabric pour développer des VPUs, des circuits intégrés spécifiquement conçus pour les tâches de preuve ZK, visant à améliorer l’efficacité énergétique et la vitesse [57].
Engagement polynomial et KZG
Les preuves reposent sur des engagements polynomiaux, notamment les engagements KZG (Kate-Zaverucha-Goldberg), qui permettent de s’engager sur un polynôme sans le révéler, puis de prouver son évaluation en des points spécifiques. Ces engagements sont fondamentaux dans les systèmes PLONK, car ils assurent la succinctness et l’efficacité des preuves. Ils dépendent d’un ensemble de référence structuré (SRS) généré lors d’une cérémonie de configuration fiable (trusted setup), réalisée via une calcul multi-parties (MPC) impliquant des milliers de participants pour garantir la sécurité [44].
La vérification sur Ethereum est rendue plus efficace grâce aux précompilations BLS12-381 (EIP-2537) et aux futures précompilations multi-KZG (EIP-8149), qui permettent des opérations de couplage rapides, réduisant ainsi les coûts de gaz [14].
Impact sur la performance et la scalabilité
L’ensemble de ces optimisations a permis à Polygon zkEVM de traiter plus de 15 000 transactions par jour sur testnet, avec un coût de preuve estimé entre 0,002 $ et 0,003 $ par transaction à grande échelle. L’introduction du système de preuve open source Plonky3 a également contribué à améliorer les performances, en offrant certains des temps de preuve les plus rapides de l’industrie [60].
En résumé, le prover de Polygon zkEVM incarne un équilibre sophistiqué entre compatibilité EVM, efficacité de preuve et scalabilité, grâce à une combinaison d’innovations cryptographiques, algorithmiques et matérielles. Bien que le réseau soit prévu pour être progressivement mis hors service en 2026 [5], les avancées réalisées dans la génération de preuves continuent d’influencer le développement des solutions de mise à l’échelle basées sur la connaissance nulle.
Gestion des transactions et finalité
Polygon zkEVM assure une gestion efficace des transactions grâce à son architecture de rollup à preuves de connaissance nulle (zk-rollup), combinant rapidité sur la couche 2 (couche 2) et sécurité héritée d'Ethereum. Le processus commence lorsque les utilisateurs soumettent leurs transactions au réseau, qui sont alors collectées et ordonnées par un séquenceur. Ce rôle est actuellement centralisé et assuré par Polygon Labs, garantissant une exécution fluide et une faible latence, bien que des plans existent pour une décentralisation progressive via des protocoles comme Fernet [62]. Une fois ordonnées, les transactions sont exécutées hors chaîne dans un environnement compatible avec la Machine virtuelle Ethereum (EVM), produisant une trace d'exécution détaillée capturant chaque opération, y compris les modifications de pile, de mémoire et d'état [63].
Cycle de vie des transactions et finalité
Le cycle de vie d'une transaction sur Polygon zkEVM se déroule en plusieurs étapes distinctes, reflétant son modèle de finalité multi-niveaux. La première confirmation, appelée finalité de confiance, intervient en seulement 2 à 3 secondes après la soumission, lorsque le séquenceur inclut la transaction dans un lot. À ce stade, les applications peuvent réagir immédiatement, offrant une expérience utilisateur fluide similaire à celle d'un réseau centralisé [64]. Cependant, cette finalité est temporaire et dépend de la bonne conduite du séquenceur. La transaction passe ensuite à l'état virtuel lorsque les données du lot sont publiées sur Ethereum en tant que calldata, assurant la disponibilité des données. La finalité consolidée, la plus sûre, est atteinte après environ 30 à 60 minutes, une fois que le prover a généré une preuve de validité (zk-SNARK) et que celle-ci a été vérifiée avec succès par un contrat intelligent sur la chaîne principale d'Ethereum [19]. Cette finalité cryptographique est essentielle pour les opérations critiques comme les retraits vers Ethereum.
Garanties de censure et de vivacité
Malgré le caractère centralisé du séquenceur, Polygon zkEVM met en œuvre des mécanismes pour assurer la censure et la vivacité. Le principal outil de résistance à la censure est la fonction de force batch, qui permet à n'importe quel utilisateur de soumettre directement ses transactions au contrat L1 d'Ethereum si le séquenceur les ignore ou devient inactif [66]. Cela agit comme une échappatoire, garantissant que les utilisateurs conservent le contrôle sur l'inclusion de leurs transactions. Pour la vivacité, le réseau dispose d'un protocole d'état d'urgence qui peut être déclenché en cas de défaillance majeure, comme une réorganisation d'Ethereum, permettant une pause temporaire et une récupération en toute sécurité [67]. De plus, un conseil de sécurité composé de plusieurs signataires peut intervenir en cas de menace, bien que ce mécanisme centralisé soit conçu comme une mesure transitoire [68].
Outils de débogage et d'observabilité
Pour aider les développeurs à diagnostiquer les transactions échouées ou les interactions contractuelles, Polygon zkEVM fournit un ensemble complet d'outils d'observabilité. Les méthodes de débogage RPC standard, telles que debug_traceTransaction et trace_replayTransaction, sont entièrement prises en charge, permettant une analyse pas à pas de l'exécution d'une transaction, y compris les appels internes et les changements d'état [27]. Ces outils sont intégrés à des environnements de développement populaires comme Hardhat et Remix, offrant des fonctionnalités familières telles que la journalisation de la console et l'inspection des messages de révocation [70]. Les développeurs peuvent également suivre le statut des transactions via des explorateurs de blocs comme PolygonScan et utiliser des bibliothèques comme Matic.js pour surveiller les opérations de pontage en temps réel [28]. Cette richesse d'outils, combinée à l'équivalence EVM, permet aux développeurs d'identifier et de résoudre efficacement les problèmes, assurant la fiabilité des applications déployées sur le réseau.
Infrastructure de pont et interopérabilité
L'infrastructure de pont de Polygon zkEVM joue un rôle fondamental dans l'écosystème en permettant le transfert sécurisé d'actifs et de données entre Ethereum et la couche 2 (couche 2). Ce pont, basé sur le contrat intelligent PolygonZkEVMBridgeV2, constitue le canal principal pour les dépôts et retraits d'ETH et de jetons ERC-20, garantissant ainsi l'interopérabilité entre la chaîne principale d'Ethereum et le réseau zkEVM [72]. Contrairement aux solutions optimistes qui imposent des périodes de défi pouvant durer jusqu'à sept jours, le pont de zkEVM exploite les preuves de validité à connaissance nulle (preuve de connaissance nulle), ce qui réduit considérablement le délai de finalité des retraits à environ 30 à 60 minutes [19].
Architecture du pont et mécanismes de transfert
Le pont utilise une architecture unifiée appelée Unified Bridge, qui intègre les fonctionnalités de dépôt, de retrait et de passage de messages entre couches [74]. Lorsqu'un utilisateur initie un dépôt depuis Ethereum vers zkEVM, les actifs sont d'abord verrouillés dans un contrat sur la couche 1 (couche 1), puis une mise à jour d'état est déclenchée sur zkEVM après que la preuve de validité correspondante ait été vérifiée. Ce processus garantit que les données sont disponibles sur Ethereum, conformément aux principes des rollups à données disponibles. Pour les retraits, le processus inverse s'applique : les fonds sont débloqués sur Ethereum uniquement après que la preuve de validité de l'état de sortie a été soumise et validée par le contrat de pont sur la chaîne principale. Cette conception repose sur la sécurité cryptographique plutôt que sur des mécanismes économiques, ce qui renforce la confiance minimale dans le système [17].
Outils et intégrations pour les développeurs
Les développeurs peuvent interagir avec le pont de manière programmatique grâce au SDK Matic.js, une bibliothèque JavaScript qui simplifie les opérations de pont, telles que les dépôts, les retraits et le passage de messages arbitraires entre contrats intelligents sur les deux couches [28]. Ce passage de messages permet des cas d'utilisation avancés, comme la synchronisation d'état entre applications décentralisées (dApp) ou l'exécution de gouvernance interchaîne. En outre, Polygon fournit une interface utilisateur open source, zkevm-bridge-ui, qui sert à la fois de solution prête à l'emploi et de référence pour les développeurs souhaitant créer leurs propres interfaces personnalisées [77]. L'intégration avec des fournisseurs d'infrastructure comme Alchemy, QuickNode et Chainstack facilite également l'accès aux nœuds et aux API, permettant une surveillance en temps réel des transactions de pont via des services d'indexation comme Blockscout [78].
Interopérabilité avancée et écosystème de ponts
Au-delà du pont natif, les utilisateurs peuvent tirer parti de solutions tierces telles que Rubic, Orbiter Finance et cBridge, qui offrent des itinéraires alternatifs avec des frais potentiellement inférieurs ou des délais d'exécution plus rapides pour certaines paires de jetons [79]. Ces ponts enrichissent l'écosystème en augmentant la liquidité et la flexibilité. Par ailleurs, des contrats adaptateurs permettent aux développeurs de personnaliser la manière dont les jetons sont emballés ou représentés entre les chaînes, favorisant ainsi la compatibilité avec les applications existantes. Les grands portefeuilles comme MetaMask et Enkrypt prennent en charge directement le pont via le Polygon Portal, offrant une expérience utilisateur fluide pour les transferts d'actifs [80].
Défis et perspectives d'avenir
Bien que l'infrastructure de pont soit robuste, le délai de retrait de 30 à 60 minutes reste un compromis entre sécurité et rapidité, imposé par le temps nécessaire à la génération et à la vérification des preuves zk. Ce délai peut affecter les applications nécessitant une sortie immédiate vers Ethereum, bien que des solutions de pont rapide avec liquidité tierce puissent atténuer ce problème en introduisant des hypothèses de confiance supplémentaires. À l'avenir, l'intégration de fonctionnalités comme les EIP-4844 (Proto-Danksharding) pourrait réduire encore davantage les coûts de publication de données sur la couche 1, améliorant ainsi l'efficacité et la scalabilité du pont [81]. Malgré l'annonce de la fin progressive du réseau zkEVM en 2026, l'infrastructure de pont reste opérationnelle pour permettre aux utilisateurs de retirer leurs actifs, et les innovations dans ce domaine continuent d'influencer les futures solutions de mise à l'échelle fondées sur les preuves de connaissance nulle.
Décentralisation et modèle de gouvernance
Le modèle de gouvernance et de décentralisation de Polygon zkEVM repose sur une approche progressive, initialement centralisée mais conçue pour évoluer vers une structure plus ouverte et décentralisée. Bien que le réseau ait été lancé avec un contrôle centralisé assuré par Polygon Labs, son architecture intègre des mécanismes permettant d’assurer la sécurité, la liveness et la résilience durant cette phase transitoire, tout en préparant le terrain pour une gouvernance communautaire et une participation permissionless à l’avenir.
Architecture actuelle du séquenceur et des validateurs
À l’heure de son déploiement sur mainnet beta, Polygon zkEVM fonctionne avec un séquenceur centralisé, opéré par Polygon Labs, qui est chargé de l’ordonnancement des transactions, de leur exécution hors chaîne et de la soumission des lots à Ethereum Ethereum. Ce modèle centralisé garantit une efficacité élevée, une faible latence et une coordination fiable, ce qui est crucial pour stabiliser le réseau durant ses premières phases d’adoption [82]. Cependant, il introduit des hypothèses de confiance, notamment en ce qui concerne la disponibilité du séquenceur et sa résistance à la censure.
Malgré cette centralisation, le système intègre des garde-fous pour protéger contre les défaillances ou comportements malveillants. Par exemple, un mécanisme de bloc d’urgence permet de suspendre temporairement les opérations en cas d’anomalie, comme lors d’un réorganisme sur Ethereum ayant affecté le traitement des horodatages en 2024 [67]. De plus, un conseil de sécurité, composé de plusieurs signataires, peut intervenir en cas de menace critique, offrant ainsi une couche de protection supplémentaire tout en maintenant un certain contrôle centralisé [68].
Mécanismes de gouvernance et transition vers la décentralisation
La gouvernance de Polygon zkEVM est en cours d’évolution vers un modèle plus décentralisé, aligné sur la vision plus large de Polygon 2.0. Un jalon majeur a été la création du Conseil du Protocole et du Conseil de l’Écosystème, deux entités chargées de superviser respectivement les mises à jour techniques et les décisions stratégiques [85]. Ce cadre vise à distribuer les pouvoirs décisionnels entre différents groupes d’intérêts, réduisant ainsi la dépendance à une seule entité.
Un pilier central de la décentralisation future est le protocole Fernet, conçu pour permettre une sélection décentralisée des séquenceurs. Fernet repose sur un modèle de rotation fondé sur la mise en jeu (staking) et la réputation, garantissant qu’aucun acteur unique ne puisse contrôler indéfiniment l’ordonnancement des transactions [62]. Ce protocole vise à renforcer la résistance à la censure et à assurer la continuité du réseau même en cas de défaillance d’un nœud.
En parallèle, les mécanismes d’incitation économique sont conçus pour aligner les comportements des validateurs et des générateurs de preuves (provers) avec l’intégrité du réseau. Bien que les détails complets des pénalités (slashing) ne soient pas entièrement documentés, le système prévoit des récompenses pour la soumission honnête de preuves et des sanctions potentielles pour les comportements frauduleux [87]. L’intégration future avec le réseau Polygon PoS pourrait permettre aux détenteurs de jetons POL de participer à la validation et à la gouvernance, en s’appuyant sur un modèle de staking éprouvé [88].
Résistance à la censure et garanties de liveness
Polygon zkEVM intègre plusieurs mécanismes pour assurer la résistance à la censure et la liveness, même en phase centralisée. Le plus important est le mécanisme de lot forcé (force batch), qui permet à tout utilisateur de soumettre directement ses transactions à Ethereum via le contrat L1 en cas de non-réponse ou de censure par le séquenceur [66]. Ce mécanisme agit comme une échappatoire, garantissant que l’état du réseau peut continuer à évoluer sans dépendre de la coopération du séquenceur.
De plus, le système de vérification forcée (force verification) permet de soumettre et de valider une preuve de validité même si le générateur de preuves (aggregator) est inactif, assurant ainsi que les transitions d’état valides peuvent être finalisées [90]. Ces dispositifs, combinés à la publication des données sur Ethereum, garantissent que le réseau reste transparent, vérifiable et résilient face aux défaillances ponctuelles.
Comparaison avec d'autres écosystèmes zk-rollup
Comparé à d’autres solutions comme zkSync, Taiko ou Aztec, Polygon zkEVM se distingue par son intégration étroite avec l’écosystème existant de Polygon PoS et son accent mis sur la résistance à la censure comme propriété de sécurité fondamentale [91]. Tandis que certains projets misent principalement sur la scalabilité, Polygon zkEVM cherche à équilibrer performance, sécurité et décentralisation, en s’appuyant sur des modèles de gouvernance évolutifs et des incitations économiques claires.
Toutefois, malgré ces avancées, la décentralisation complète n’a pas été pleinement réalisée avant l’annonce de la fin progressive du réseau en 2026 [5]. Cette décision stratégique marque un tournant, avec un recentrage vers des infrastructures modulaires comme le CDK (Chain Development Kit) et AggLayer, où les leçons tirées de zkEVM continueront d’influencer la conception de réseaux décentralisés à base de preuves de connaissance nulle.
Économie des frais et mécanismes de gaz
Polygon zkEVM adopte un modèle économique de frais fondé sur une combinaison de coûts d'exécution sur la couche 2 (L2) et de coûts de disponibilité des données sur la couche 1 (L1), Ethereum. Contrairement aux réseaux traditionnels où les frais dépendent uniquement de la demande de calcul, le système de gaz de zkEVM intègre une composante critique liée à la publication des données sur Ethereum, nécessaire pour assurer la sécurité et la transparence du rollup. Ce modèle permet de réduire significativement les frais pour les utilisateurs tout en maintenant un alignement économique avec la sécurité de la chaîne principale [93].
Modèle de prix du gaz effectif
Le mécanisme central du système de gaz sur Polygon zkEVM est le prix du gaz effectif (EGP - Effective Gas Price), une innovation clé qui reflète fidèlement le coût réel de traitement d'une transaction. Ce prix combine deux éléments majeurs : le coût de l'exécution sur le réseau zkEVM lui-même et le coût de publication des données transactionnelles (calldata) sur Ethereum [94]. En intégrant dynamiquement les fluctuations du prix du gaz sur Ethereum, le modèle EGP garantit que les frais perçus couvrent effectivement les dépenses opérationnelles du réseau, tout en restant prévisibles pour les utilisateurs. Cette approche permet d'éviter les pics de frais imprévisibles et assure une stabilité accrue par rapport à Ethereum mainnet, où les frais peuvent devenir prohibitifs en période de congestion.
Le gaz effectif est exprimé en ETH, le jeton natif d'Ethereum, utilisé comme moyen de paiement pour les frais de transaction. Cette compatibilité totale avec les portefeuilles existants comme MetaMask facilite l'adoption par les utilisateurs et développeurs. En moyenne, les frais sur Polygon zkEVM sont environ 7 fois moins élevés que sur Ethereum, avec des transactions typiques coûtant environ 0,19 $ contre plus de 1,10 $ sur la chaîne principale [95]. Les développeurs peuvent estimer ces frais à l'aide des méthodes RPC standard telles que eth_gasPrice et eth_estimateGas, intégrées dans des outils comme Hardhat ou Foundry [96].
Cycle de vie des transactions et impact sur les frais
Le cycle de vie des transactions sur Polygon zkEVM est étroitement lié à son économie de gaz. Après soumission, une transaction est exécutée et confirmée sur L2 en 2 à 3 secondes, offrant une expérience utilisateur fluide et quasi instantanée [97]. Cette confirmation rapide, appelée finalité de confiance (trusted finality), permet aux applications décentralisées (dApps) de réagir immédiatement. Cependant, la finalité complète, dite consolidée, n'est atteinte qu'après vérification de la preuve de validité sur Ethereum, un processus prenant entre 30 et 60 minutes [19]. Cette distinction est cruciale pour les développeurs, car les retraits vers Ethereum ne peuvent être initiés qu'une fois la finalité consolidée atteinte.
Cette architecture à plusieurs niveaux influence les attentes en matière de frais. Bien que les transactions soient rapides et bon marché à l'exécution, le coût global intègre le délai de finalité, qui est un compromis nécessaire pour garantir la sécurité via la vérification cryptographique sur Ethereum. Les frais perçus durant cette période servent à rémunérer les opérateurs du réseau, notamment les provers, qui génèrent les preuves de validité. Des incitations économiques sont en place pour encourager la soumission rapide et honnête de ces preuves, assurant ainsi la liveness du réseau [87].
Optimisations futures et perspectives
À l'avenir, Polygon zkEVM vise à améliorer davantage son modèle économique en intégrant des mécanismes de tarification dynamique basés sur la congestion, similaires à EIP-1559, pour stabiliser encore les frais en période de forte demande [100]. L'adoption potentielle de EIP-4844 (Proto-Danksharding) permettrait de publier les données de transaction dans des "blobs" moins coûteux, réduisant drastiquement la composante L1 du prix du gaz effectif. Bien que le réseau ait annoncé sa phase de dépréciation progressive à partir de 2026 [5], les innovations en matière de modélisation économique et de scalabilité du gaz continuent d'influencer le développement des solutions de mise à l'échelle fondées sur les preuves de connaissance nulle. Ces avancées renforcent l'efficacité économique des zk-rollup et posent les bases d'une infrastructure modulaire et interopérable, comme celle envisagée dans le cadre du CDK (Chain Development Kit) de Polygon.
Évolution stratégique et avenir du projet
En 2026, Polygon Labs a annoncé la fin progressive du réseau Polygon zkEVM, marquant un tournant stratégique dans l'évolution de son écosystème. Cette décision s'inscrit dans une refonte plus large de la vision de Polygon, orientée vers une infrastructure modulaire et interopérable, incarnée par le projet Polygon 2.0. Bien que le réseau zkEVM ait représenté une avancée majeure dans le domaine des solutions de mise à l'échelle fondées sur les preuves de connaissance nulle, son retrait programmé reflète une réévaluation des priorités technologiques et économiques au sein de l'écosystème [5].
Transition vers une infrastructure modulaire
La stratégie de Polygon évolue vers une architecture fondée sur le CDK (Chain Development Kit), un cadre permettant aux développeurs de créer des chaînes de couche 2 (couche 2) personnalisées et interopérables. Cette approche modulaire vise à décentraliser davantage l'écosystème en remplaçant les solutions monolithiques comme zkEVM par un réseau de chaînes spécialisées, chacune pouvant être optimisée pour des cas d'usage spécifiques. Le CDK repose sur des principes de zk-rollup et de validité cryptographique, héritant ainsi des innovations développées dans zkEVM tout en les intégrant dans un cadre plus flexible [2].
Un autre pilier de cette transition est AggLayer, un protocole de liquidité croisée conçu pour unifier les différentes chaînes basées sur des zk-rollups au sein d'une couche de règlement unique. Ce système vise à résoudre les problèmes d'interopérabilité et de fragmentation des liquidités, offrant une expérience utilisateur plus fluide. L'arrêt de zkEVM permet à Polygon Labs de concentrer ses ressources sur le développement et le déploiement d'AggLayer, alignant l'écosystème avec la vision « rollup-centric » prônée par la communauté Ethereum [26].
Héritage technologique et impact sur l'écosystème
Malgré son retrait, l'impact technologique de Polygon zkEVM reste profond. Le projet a joué un rôle clé dans la démonstration de la faisabilité des zkEVM compatibles avec la Machine virtuelle Ethereum (EVM) à grande échelle. Des mises à jour majeures comme Elderberry et Eggfruit ont permis d'optimiser les performances du prover, d'améliorer l'efficacité des preuves et de renforcer la souveraineté de la chaîne [105], [106].
L'atteinte du statut de zkEVM de Type 1, garantissant une équivalence complète avec Ethereum au niveau du protocole, a été un jalon significatif [107]. Cette compatibilité a permis aux développeurs d'utiliser leurs outils existants comme Hardhat, Foundry et MetaMask sans modifications majeures, abaissant considérablement la barrière à l'entrée pour les applications décentralisées (dApp). L'architecture de preuve récursive, combinant des preuves STARK et SNARK, a également poussé les limites de l'efficacité des systèmes de preuve, influençant le développement de solutions similaires à travers l'écosystème Ethereum [16].
Migration des utilisateurs et garanties de sécurité
La phase de transition prévue d'au moins 12 mois après l'annonce du retrait garantit une fermeture ordonnée du réseau. Pendant cette période, le séquenceur continuera de fonctionner, permettant aux utilisateurs de retirer leurs actifs via le pont PolygonZkEVMBridgeV2 et de migrer vers d'autres solutions de l'écosystème, notamment Polygon PoS ou des chaînes construites avec le CDK [2]. Le mécanisme de force batch reste opérationnel, permettant aux utilisateurs de forcer l'inclusion de leurs transactions même en cas de défaillance du séquenceur, assurant ainsi la liveness et la résistance à la censure [66].
Cette transition illustre le passage de Polygon d'une approche centralisée vers une gouvernance plus décentralisée. Des initiatives comme le protocole Fernet pour la sélection décentralisée des séquenceurs ont été développées, bien que leur déploiement complet ait été interrompu par le changement de stratégie. Le projet vise désormais à intégrer les validateurs de Polygon PoS dans son nouveau cadre de sécurité, créant un modèle économique unifié basé sur le jeton POL et la participation à la validation [111].
En somme, la fin de vie de Polygon zkEVM ne marque pas un échec, mais une évolution stratégique. Elle reflète l'adaptation rapide de l'écosystème face à la concurrence croissante des zk-rollups et aux exigences changeantes de la scalabilité. L'héritage de zkEVM perdurera à travers les technologies intégrées dans Polygon 2.0, le CDK et AggLayer, continuant d'influencer la trajectoire des solutions de mise à l'échelle fondées sur les preuves de connaissance nulle dans l'écosphère Ethereum.