Vitalik Buterin dévoile son plan pour faire d'Ethereum un « ordinateur mondial cryptographique »

La prochaine mise à niveau d'Ethereum sera la dernière que quiconque de 2015 reconnaîtrait, a écrit son cofondateur Vitalik Buterin dans un article publié samedi.

Hegota, le fork prévu pour l'année prochaine, est « probablement le dernier fork "normal" d'Ethereum », a-t-il déclaré. Ce qui suit implique des STARK récursifs, une vérification formelle automatisée, un consensus fortement optimisé et la sécurisation quantique de l'ensemble.

Un Ethereum post-Lean est appelé une blockchain « dans une large mesure pour des raisons historiques », a écrit Buterin.

En réalité, a-t-il soutenu, il s'agit d'une « construction hybride » fusionnant les idées de Satoshi Nakamoto avec une machinerie cryptographique issue de 50 ans de travaux universitaires et qui « n'existait même pas » en 2009. Cette architecture, a-t-il tweeté, permettra « des propriétés bien plus puissantes » que la blockchain seule.

Vérification, consensus et construction des blocs

Trois propriétés fondamentales sont purement et simplement remplacées. La vérification passe du téléchargement et de la réexécution de chaque bloc à l'échantillonnage des données avec PeerDAS et à la vérification d'un SNARK. Le consensus passe à un modèle de preuve d'enjeu « bien mieux optimisé ». Et la construction des blocs passe d'un seul mineur décidant de ce qui y figure à plusieurs parties le construisant ensemble.

La finalité serait atteinte en 8 à 32 secondes contre environ 200 secondes pour 12 confirmations aujourd'hui, les slots dureraient 4 à 8 secondes, et faire tourner un nœud exigerait bien moins de matériel. La résistance à la censure proviendrait de FOCIL, un mécanisme dans lequel un comité de validateurs publie chacun une liste de transactions en attente que le prochain bloc doit contenir, appliqué par la règle de choix de fork afin que les blocs les omettant soient ignorés. Buterin a décrit le résultat comme une « inclusion de transactions en temps réel garantie ».

La confidentialité arrive par fragments, le calcul à usage général restant coûteux et seulement partiellement privé, tandis que les applications à usage spécifique obtiennent une « très forte confidentialité » grâce aux preuves à divulgation nulle de connaissance et à l'abstraction de compte privée. Le routage en oignon et les mixnets couvriraient la couche réseau, un travail que la Fondation Ethereum a doté d'un groupe dédié à la confidentialité lancé en octobre dernier.

Les développeurs ressentiraient ce changement dans les coûts de gas. Le même calcul coûtera plus cher « si vous fourrez tout dans une seule transaction exécutée en série et impénétrable », a écrit Buterin, et moins s'il est divisé en dépendances qui peuvent être parallélisées ou supprimées avant que la transaction n'atteigne un bloc.

La décentralisation comme avantage

La décentralisation cesse d'être purement un coût, a argumenté Buterin. Elle permet aux données d'être stockées en parallèle, au calcul de se produire en parallèle à l'intérieur du mempool, et aux métadonnées d'être cachées d'une manière qu'un système centralisé ne peut pas gérer.

C'était le rêve du milieu des années 2010, a-t-il dit, et il a échoué à l'époque pour une raison : il n'y avait aucun moyen de vérifier que le travail divisé avait été effectué correctement. Les comités échantillonnés au hasard étaient « compliqués à mettre en place et coûteux », ajoutaient de la latence et n'offraient « aucun recours si le comité échoue ». La cryptographie moderne résout cela, avec une surcharge « diminuant mois après mois ».

Plus loin se trouve l'obfuscation par indistinguabilité, que Buterin décrit comme le Saint Graal parce qu'elle supprimerait entièrement le compromis entre confidentialité et généralité. Il précise explicitement que rien dans l'article n'en dépend, et que « toutes les conclusions de cet article s'appliqueront bien avant que tout cela ne devienne disponible ».

Le problème à court terme plus difficile est relativement banal. Rendre les preuves à divulgation nulle de connaissance suffisamment rapides et sûres est une « complexité encapsulée » déjà optimisée avec des outils d'IA, a-t-il écrit. Gérer et paralléliser l'accès à de très grandes quantités d'état reste « plus difficile, et systémiquement complexe ».

L'article se lit comme un compagnon en langage clair du Strawmap, le calendrier provisoire de la Fondation Ethereum de sept forks jusqu'en 2029 que Buterin a qualifié de « document très important » lorsque Justin Drake l'a publié en février. Là où celui-ci expose les dépendances fork par fork, l'article de Buterin pointe vers la destination ultime, avec des temps de slot passant de 12 secondes à deux, la finalité tombant d'environ 16 minutes à un chiffre, et l'ensemble du réseau remplacé composant par composant dans ce que Buterin a alors appelé une reconstruction du « navire de Thésée ».