Les priorités de Vitalik Buterin pour Ethereum se sont brusquement orientées vers la défense du réseau contre les ordinateurs quantiques et l'utilisation de l'intelligence artificielle pour vérifier son propre code. Buterin a présenté ces changements dans une « Strawmap » mise à jour publiée sur X le 10 août 2026, comparant directement la direction actuelle d'Ethereum à la feuille de route qu'il avait publiée en 2023.

« Ce qui est le plus frappant, cependant, c'est que des éléments totalement nouveaux figurent dans la strawmap qui ne sont pas dans ce diagramme, car ils n'étaient pas du tout dans la feuille de route de 2023. Cela reflète un changement de priorités », a écrit Buterin. La comparaison, rapportée par Decrypt, montre que la sécurité post-quantique, la confidentialité renforcée et la vérification formelle assistée par l'IA arrivent en tête de liste.

La résistance quantique passe en tête de file

Les ordinateurs quantiques capables de briser la cryptographie à clé publique d'aujourd'hui sont encore éloignés de plusieurs années selon la plupart des estimations, mais la feuille de route d'Ethereum traite désormais cette menace comme une priorité d'ingénierie à court terme plutôt que comme une éventualité lointaine. Ce positionnement s'inscrit dans une évolution plus large du secteur technologique : le U.S. National Institute of Standards and Technology a finalisé ses premières normes de cryptographie post-quantique en août 2024, fournissant aux organisations un cadre de référence pour la migration. La Ethereum Foundation a déjà constitué une équipe post-quantique dédiée et établi un plan progressif pour remplacer les composants cryptographiques qu'une machine quantique suffisamment puissante pourrait vaincre, selon la Strawmap. Les nouveaux ajouts mentionnés dans la mise à jour comprennent LeanSPHINCS, un schéma de signature post-quantique, ainsi que des outils d'agrégation de signatures conçus pour maintenir l'efficacité du réseau une fois ces signatures résistantes au quantique, plus lourdes, en service.

« Ethereum sera résistant au quantique. Ethereum placera la confidentialité des utilisateurs au premier rang. Ethereum sera sécurisé. Ethereum sera résistant à la censure. Ethereum sera hautement performant et extensible tout en satisfaisant les exigences ci-dessus. Et Ethereum sera Lean », a écrit Buterin, résumant les principes directeurs du réseau sous le nouveau plan. Unchained a rapporté que la sécurité quantique a été explicitement surprioritisée par rapport à la feuille de route précédente, l'un des plusieurs éléments réorganisés que Buterin a signalés dans sa publication.

Le second filon technique traversant cette mise à jour est la vérification formelle assistée par l'IA, une méthode consistant à prouver mathématiquement que le code se comporte comme prévu plutôt qu'à le tester contre un ensemble limité de scénarios. Les chercheurs d'Ethereum s'appuient sur les STARKs — Scalable Transparent ARguments of Knowledge — un système de preuve cryptographique déjà déployé dans plusieurs réseaux layer-2 d'Ethereum, pour vérifier les calculs de manière sécurisée à travers le réseau. Buterin a directement lié les deux : « Cela ne peut être sûr qu'avec la vérification formelle, qui elle-même n'est réalisable qu'avec les outils d'IA modernes. » Le plan prévoit que les preuves STARK et les outils d'IA valident le code à travers les couches d'exécution, de consensus et de données d'Ethereum, un périmètre que The Block a décrit comme plaçant la confidentialité et la résistance quantique au premier plan de la nouvelle feuille de route.

Confidentialité et extensibilité : une refonte également

La confidentialité native a également gravi les échelons des priorités. « Ethereum placera la confidentialité des utilisateurs au premier rang à mesure que le développement se poursuit », a écrit Buterin, et la Strawmap définit la confidentialité comme une exigence de conception plutôt que comme une couche optionnelle construite par des développeurs externes. En matière d'extensibilité, la mise à jour s'éloigne de la volonté de maximiser le débit pour chaque type d'activité au sein d'un système unifié unique. Au contraire, elle privilégie des mécanismes d'extensibilité spécialisés conçus pour des cas d'usage spécifiques, alongside de nouveaux ajouts tels que les rollups natifs et les futures de blob et de gas.

Certaines priorités antérieures ont été abandonnées ou remplacées purement et simplement. La publication de Buterin a listé les fonctions de délai vérifiables et de nombreuses améliorations prévues de l'EVM comme déprioritisées, tandis que les plans antérieurs de structures de données tels que les arbres de Verkle ont cédé la place à de nouvelles constructions qu'il a décrites comme un chemin menant des tries binaires unifiées à ce qu'il a appelé le PBT, et l'expiration d'état a été remplacée par de nouveaux types d'état. Ce type de substitution, plutôt qu'une simple addition, parcourt toute la mise à jour : Ethereum ne se contente pas d'ajouter des fonctionnalités, il se débarrasse aussi de celles qui ne sont plus pertinentes.

Une spécification plus simple, à horizon de cinq ans

Buterin a présenté la Strawmap comme un plan de coordination s'étendant jusqu'en 2029, et l'objectif de simplification importe autant que n'importe quelle fonctionnalité individuelle. Le protocole d'Ethereum a accumulé de la complexité across les couches d'exécution, de consensus et de données depuis le Merge — la transition d'Ethereum de la preuve de travail à la preuve d'enjeu en septembre 2022 — et la vérification formelle associée aux outils d'IA est présentée comme un moyen de rendre cette complexité auditable plutôt que simplement documentée. Aucun des médias couvrant cette actualité ne détaille la comparaison entre l'approche d'Ethereum et les travaux de résistance quantique menés par les réseaux layer-1 concurrents, laissant pour l'instant inexpliquée la chronologie comparative de la migration post-quantique à l'échelle de l'industrie.

L'ETH lui-même n'a montré aucune réaction à l'annonce, se négociant autour de 1 875 $, en baisse d'environ 2,6 % sur 24 heures au moment de la publication. Cet écart entre une feuille de route technique à cinq ans et l'indifférence des prix le jour même est notable en soi : les marchés considèrent qu'il s'agit d'un travail d'infrastructure à long terme, et non d'un catalyseur à court terme. The Defiant a également couvert l'activité de l'écosystème Ethereum le même jour, bien que son reportage sur le volume de transactions de Robinhood Chain constituait un sujet distinct de la publication de la feuille de route de Buterin.

La suite dépend de la rapidité avec laquelle l'équipe post-quantique de la Ethereum Foundation pourra transformer LeanSPHINCS et l'agrégation de signatures, passant de propositions à du code déployé, et de la capacité de la vérification formelle basée sur les STARKs à faire ses preuves sur les trois couches fondamentales d'Ethereum. La publication de Buterin a fixé la destination à atteindre d'ici 2029. Le travail le plus difficile, celui de la construction, commence maintenant.

Consulter les éléments originaux de la feuille de route

Le fil de discussion original est plus précis que de considérer chaque élément comme une mise à niveau promise. Buterin l'appelle une « strawmap » : un document de planification et de coordination qui compare les priorités actuelles à la feuille de route de 2023. Il identifie la vérification formelle à travers le protocole et indique que la sécurité quantique a été considérablement élevée, mais il ne s'agit ni d'un calendrier de publication, ni d'une spécification achevée, ni d'une preuve qu'une migration résistante au quantique est prête pour le mainnet.

Les lecteurs peuvent également consulter le plan évolutif sur strawmap.org. Un élément de la feuille de route doit encore passer par la recherche, la spécification, l'implémentation, les tests et le processus de gouvernance sociale d'Ethereum. Les différents composants peuvent avancer à des vitesses différentes, et leur inclusion sur la carte ne garantit pas une date de fork particulière.

Pourquoi la sécurité quantique et la vérification formelle sont liées

Les signatures post-quantiques sont généralement plus volumineuses et plus exigeantes en termes de calcul que les signatures qu'Ethereum utilise aujourd'hui. Remplacer les hypothèses cryptographiques sans rendre les clients ou les portefeuilles inutilisables nécessite une conception de protocole soignée. La vérification formelle peut réduire le risque d'implémentation en prouvant certaines propriétés du code et des spécifications, tandis que les outils d'IA peuvent aider les ingénieurs à rédiger ou à réviser ces preuves. Le résultat de l'IA n'est pas en soi une preuve de sécurité et nécessite encore une vérification rigoureuse.

Aucun élément dans la feuille de route ne montre que les ordinateurs quantiques actuels peuvent briser les comptes Ethereum. Le risque est prospectif : les migrations de protocole prennent des années, et les données chiffrées ou signées collectées aujourd'hui pourraient conserver de la valeur ultérieurement. Faire avancer ce travail est une préparation, et non une affirmation qu'une attaque est imminente.

L'article Buterin's Ethereum Strawmap Puts Quantum Defenses Ahead of Scaling est apparu en premier sur Cryptsy et est rédigé par Ethan Blackburn.