Vitalik Buterin révèle comment ZkEVM peut résoudre les problèmes de vérification d'Ethereum
Buterin a déclaré dans un article de blog que malgré la popularité du réseau et la présence d’utilisateurs, il est difficile de vérifier les transactions du réseau principal. En raison de ces obstacles, seules certaines personnes peuvent gérer leurs propres nœuds et doivent plutôt s’appuyer sur des tiers de confiance, tels que des clients légers. Bien que des clients légers soient nécessaires, le co-fondateur affirme qu’il est difficile de déterminer si un certain validateur Ethereum respecte les exigences de protocole établies.
Buterin présente deux façons de surmonter les défis de vérification de couche 1 sur la chaîne tout en améliorant l’évolutivité pour gérer ces problèmes.
Résoudre les problèmes de vérification en chaîne
Dans la première approche, il recommande de limiter le réseau principal et de forcer l’activité à la couche 2. Cela nécessiterait de réduire l’objectif de gaz par bloc du réseau principal de 15 millions à 1 million, la couche 1 testant principalement les protocoles de couche 2.
Il peut y avoir des problèmes avec ce remède potentiel, nonobstant la possibilité de son succès. Premièrement, cela rendrait économiquement irréalisables de nombreux produits actuels basés sur la L1, et les fonds des utilisateurs pourraient stagner en raison de coûts exorbitants. La migration à grande échelle vers un projet de niveau 2 est faisable mais compliquerait davantage le processus.
Le co-fondateur souligne que, idéalement, le protocole Ethereum devrait être simple à vérifier sur plusieurs plates-formes, y compris les ordinateurs portables, les smartphones et les extensions de navigateur. La synchronisation individuelle des données en chaîne pour la première fois ou après une longue période hors ligne peut prendre jusqu’à 54 secondes. Cela pourrait peser sur le navigateur de l’appareil ou entraîner un épuisement rapide de la batterie des appareils portables.
Buterin suggère également un argument de connaissance succinct non interactif (SNARK) – vérifiant le réseau principal avec une machine virtuelle Ethereum à connaissance nulle (zkEVM), qui peut être utilisée pour vérifier l’exécution d’un bloc de machine virtuelle Ethereum (EVM).
Selon cette approche, un code SNARK supplémentaire serait construit pour valider le côté consensus d’un bloc. Afin de générer des preuves en temps réel, cependant, des améliorations matérielles ou architecturales considérables seraient nécessaires.
Si cette option est utilisée, un type de zkEVM doit être sélectionné pour vérification. Un seul zkEVM, un multi-zkEVM fermé et un multi-zkEVM ouvert sont disponibles.
Buterin pense que l’option ouverte multi-zkEVM est la meilleure solution, malgré le fait que chaque alternative présente des avantages et des inconvénients. Plusieurs clients implémenteraient zkEVM différemment, et chaque client attendrait une preuve compatible avant de reconnaître un bloc comme valide.
Bien qu’idéal, il y aura des obstacles. De toute évidence, l’efficacité et la parallélisation d’Ethereum devraient être considérablement améliorées. Pourtant, il pense que cette option peut être explorée et réalisable grâce aux progrès techniques.
Améliorer l’évolutivité et l’accessibilité d’Ethereum
Les idées de Buterin sont une étape dans la bonne voie pour relever le défi de la vérification en chaîne. Bien que les méthodes proposées présentent des défauts, elles mettent en évidence la nécessité d’un protocole Ethereum plus évolutif et efficace.
Cette proposition a été faite lorsque Polygon a publié sa version bêta du réseau principal zkEVM au début de cette semaine avec l’intention d’ouvrir la technologie afin d’inspirer des innovations supplémentaires.