Le co-fondateur d’Ethereum, Vitalik Buterin, a présenté un nouveau concept pour la plate-forme blockchain appelé « machine virtuelle Ethereum à connaissance nulle (ZK-EVM) dans un article de blog du 13 décembre.
L’objectif principal de la proposition est d’améliorer considérablement l’efficacité et la sécurité des protocoles de couche 2 d’Ethereum, qui incluent les cumuls optimistes et ZK.
Relever les défis des protocoles de couche 2
La proposition de Buterin découle de la nécessité de rationaliser les solutions actuelles de couche 2 sur Ethereum. Ces protocoles, vitaux pour l’évolutivité d’Ethereum, dépendent fortement de la vérification EVM, qui implique actuellement de s’appuyer sur une base de code volumineuse et potentiellement vulnérable.
De plus, les ZK-EVM, conçus pour imiter l’EVM de couche 1, sont confrontés au défi de suivre les modifications du protocole Ethereum principal, ce qui entraîne des efforts redondants et un risque accru de failles de sécurité.
La solution proposée par Buterin consiste à intégrer un ZK-EVM directement au sein du réseau Ethereum. Ce ZK-EVM interne se chargerait de vérifier les blocs Ethereum de couche 1, offrant ainsi une approche plus efficace et plus sécurisée.
À mesure qu’Ethereum progresse, notamment avec le développement de clients légers utilisant des ZK-SNARK, le concept de ZK-EVM natif devient de plus en plus pratique et attrayant.
Aspects essentiels du ZK-EVM proposé
Buterin envisage que le ZK-EVM se concentre principalement sur la vérification des blocs Ethereum en traitant des entrées telles qu’une racine pré-état, un bloc et une racine post-état.
Cela garantirait l’intégrité de la racine post-état en tant que véritable résultat de l’exécution du bloc. La proposition s’aligne également sur la philosophie multi-client d’Ethereum, soutenant l’utilisation de divers systèmes de preuve et soulignant l’importance de la disponibilité et de l’auditabilité des données.
La mise en œuvre d’un ZK-EVM, telle que décrite par Buterin, présente plusieurs défis et compromis de conception. Les propriétés essentielles comprennent :
- Compatibilité et adaptabilité: Le système doit être suffisamment flexible pour prendre en charge divers systèmes de preuve, reflétant l’engagement d’Ethereum envers un environnement multi-client.
- Assurer la disponibilité des données: Vital pour permettre la vérification par différents clients.
- Mettre l’accent sur l’auditabilité et l’évolutivité: Permet une inspection facile et une résolution rapide de tous les problèmes sans nécessiter de hard forks.
- Soutenir les innovations dans les « quasi-EVM »: Permettre aux solutions de couche 2 d’étendre et d’innover sur les fonctionnalités EVM standard.
Une partie cruciale de la discussion de Buterin tourne autour du choix entre un système multi-client ouvert, où les preuves sont vérifiées de l’extérieur, et un système fermé avec des systèmes de preuves prédéterminés. Buterin plaide en faveur d’un système disponible pour sa flexibilité et sa compatibilité avec les principes fondamentaux d’Ethereum malgré sa plus grande complexité.
Buterin souligne que la vitesse est essentielle pour les implémentations de ZK-EVM. Grâce aux progrès technologiques en matière de parallélisation et d’accélération matérielle, l’objectif est de réduire le temps de génération des preuves, permettant ainsi un traitement quasi instantané.
Voir l’article original en anglais
