Vitalik Buterin a dévoilé un plan en deux parties visant à réviser la couche d'exécution d'Ethereum afin de la rendre plus évolutive et de fonctionner plus proprement avec des preuves sans connaissance. Il se concentre sur deux changements majeurs : la restructuration de l'arbre d'état d'Ethereum et la transition progressive vers une nouvelle machine virtuelle conviviale.
Première étape : Vitalik propose de restructurer l'arbre d'état d'Ethereum
Le premier objectif de Vitalik cible ce qu'il appelle le plus grand goulot d'étranglement d'Ethereum pour prouver l'efficacité : l'arbre hexadécimal actuel de Merkle-Patricia utilisé pour l'état. Il prend en charge EIP-7864, qui le remplacerait par un arbre binaire utilisant des fonctions de hachage plus efficaces.
Ce changement raccourcirait les branches Merkle et réduirait la taille des preuves d'inclusion, réduisant ainsi les besoins en bande passante et les coûts pour les clients légers et les prouveurs ZK. Un arbre binaire s’adapte également mieux aux circuits et au matériel ZK standard, ce qui facilite la génération et la vérification des preuves de l’état d’Ethereum.
Vitalik note que cette partie du plan est déjà en cours et implique un véritable travail EIP, même si les équipes clientes doivent encore se mettre d'accord sur les détails et les délais. Cela s’inscrit dans le cadre d’une initiative plus large visant à rendre les blocs Ethereum plus prouvables afin que les cumuls et les validations basées sur zk puissent être mis à l’échelle sans se concentrer sur quelques grands prouveurs.
Deuxième étape : Vers une nouvelle machine virtuelle
La deuxième étape est plus ambitieuse. Vitalik souhaite qu'Ethereum passe progressivement de l'EVM actuel à une nouvelle machine virtuelle comme RISC-V, qui est beaucoup plus adaptée à la preuve de concept. Aujourd'hui, prouver l'exécution d'EVM est lent et compliqué car le jeu d'instructions n'a jamais été développé pour les systèmes zk.
Selon son plan, Ethereum introduirait d’abord une machine virtuelle de type RISC-V comme cible de précompilation ou alternative que certains contrats peuvent utiliser. Au fil du temps, de plus en plus de nouveaux contrats pourraient être déployés sur cette VM, à mesure que l'EVM existant devient une couche de compatibilité s'exécutant par-dessus. Cette approche préserve la compatibilité ascendante mais réduit la quantité de logique EVM « native » que les prouveurs zk doivent traiter.
Vitalik souligne que cette transition VM est encore spéculative et ne trouve pas encore un large consensus au sein de la communauté. Il le présente comme une orientation à long terme visant à atteindre une efficacité d'exécution des preuves 50 à 100 fois supérieure, ce qui bénéficierait directement aux cumuls et à tout système futur vérifiant les blocs avec des preuves zk.
EN SAVOIR PLUS: Le prix du polygone atteint un double plancher avant la mise à niveau de Lisovo
Voir l’article original en allemand
