Vitalik Buterin estime que les preuves cryptographiques pourraient aider Ethereum à faire de la décentralisation un atout pour le passage à l’échelle, en répartissant le calcul entre les participants et en permettant aux autres d’en vérifier les résultats à moindre coût. Dans un essai publié le 27 septembre, il décrit un « ordinateur mondial cryptographique » à long terme, où effectuer le travail et le vérifier deviennent deux fonctions distinctes, au lieu d’exiger de chaque nœud qu’il télécharge les transactions et refasse les mêmes calculs.
Pourquoi c’est important
Le modèle zkEVM L1 envisagé par Ethereum permettrait à un prouveur spécialisé d’exécuter un bloc et de produire une preuve que les autres nœuds pourraient vérifier à moindre coût, plutôt que de réexécuter chaque transaction. La technologie est encore à l’étude et n’est pas intégrée aux clients Ethereum en production. Buterin évoque aussi l’échantillonnage des données, un consensus de preuve d’enjeu optimisé et la construction de blocs partagée entre plusieurs participants, autant d’éléments d’une transformation plus vaste.
Cela pourrait changer l’économie des applications. Les charges de travail composées d’éléments indépendants pouvant être parallélisés, agrégés ou élagués pourraient mieux s’adapter à cette architecture émergente que de grandes transactions séquentielles dont les calculs sont étroitement interdépendants. Ethereum pourrait de plus en plus servir de couche de coordination et de vérification, tandis qu’une partie des calculs serait effectuée sur une infrastructure distribuée.
Impact sur le marché
Cette feuille de route reste prospective, et les preuves ne suppriment pas la nécessité d’accéder aux données sous-jacentes à chaque calcul. Buterin considère que l’état grandissant d’Ethereum, notamment les soldes des comptes et le stockage des contrats intelligents, constitue une contrainte systémique plus difficile à résoudre. La faible absence d’état est une piste de recherche qui pourrait permettre à la plupart des validateurs de vérifier les blocs sans conserver l’intégralité de la base de données d’état.
Selon Buterin, Hegotá, actuellement prévu pour 2027, pourrait être le dernier fork « normal » d’Ethereum reconnaissable par les développeurs de son époque précédente. PeerDAS a amorcé cette transition, tandis que les mises à niveau ultérieures devraient davantage s’appuyer sur les preuves récursives, la vérification formelle, un consensus optimisé et la cryptographie résistante aux ordinateurs quantiques. L’enjeu est de savoir si ces outils pourront soutenir un calcul plus distribué tout en maintenant l’accès aux données d’état.
Questions fréquemment posées
-
Comment les preuves cryptographiques pourraient-elles changer le modèle de passage à l’échelle d’Ethereum ?
Des participants spécialisés pourraient effectuer les calculs et produire des preuves, que les autres nœuds vérifieraient à moindre coût plutôt que de réexécuter chaque transaction.
-
Le zkEVM L1 envisagé par Ethereum est-il déjà utilisé en production ?
Non. Le modèle proposé est toujours à l’étude et n’a pas été intégré aux clients Ethereum en production.
-
Pourquoi Ethereum doit-il encore gérer son état si les preuves réduisent le coût de la vérification ?
Les preuves peuvent réduire le coût de vérification des calculs, mais le réseau doit toujours pouvoir accéder de façon fiable aux données, comme les soldes des comptes et le stockage des contrats intelligents.
-
Comment la feuille de route pourrait-elle influencer la conception des applications Ethereum ?
Les applications composées d’éléments indépendants pouvant être parallélisés, agrégés ou élagués pourraient mieux convenir que les grandes transactions reposant sur des calculs séquentiels étroitement interdépendants.
-
Qu’a dit Buterin au sujet de Hegotá et des prochaines mises à niveau d’Ethereum ?
Il a déclaré que Hegotá, actuellement prévu pour 2027, pourrait être le dernier fork « normal » d’Ethereum reconnaissable par les développeurs de l’époque précédente. Les mises à niveau ultérieures devraient davantage s’appuyer sur les preuves récursives, la vérification formelle, un consensus optimisé et la…