La feuille de route protocolaire à long terme d'Ethereum pourrait progresser plus rapidement que prévu grâce à l'amélioration des outils d'IA, selon Vitalik Buterin, qui a cité une expérience récente utilisant du codage agentique pour assembler un client de référence ambitieux couvrant une grande partie de l'architecture prévue pour Ethereum en 2030.
Ce commentaire fait suite à la présentation par la développeuse Jiayao Qi, sous le pseudonyme YQ sur X, d'ETH2030, un client expérimental d'Ethereum conçu pour cibler l'ébauche de feuille de route « 2030+ » du réseau. Le projet pèse 702 000 lignes de Go, couvre 65 éléments de feuille de route répartis en huit phases, réussit 36 126 tests d'état officiels d'Ethereum et peut se synchroniser avec le mainnet via une intégration avec go-ethereum v1.17.0. Qi a déclaré que le client avait été construit en environ six jours en utilisant Claude Code, pour un coût d'environ 5 750 $ et 2,77 milliards de tokens.
L'IA pourrait accélérer la feuille de route d'Ethereum
Buterin a qualifié cet effort d'« expérience assez impressionnante », tout en soulignant qu'un prototype construit à cette vitesse comporte des limites évidentes. « Une telle chose construite en deux semaines sans même avoir les EIP comporte d'énormes mises en garde », a-t-il écrit. « Il y a presque certainement de nombreux bugs critiques, et probablement dans certains cas des versions 'bouchons' d'une chose où l'IA n'a même pas essayé de faire la version complète. Mais il y a six mois, même cela était loin d'être possible, et ce qui compte, c'est la direction de la tendance. »
Cette distinction importait plus à Buterin que la démonstration brute elle-même. Selon lui, l'IA ne fait pas que compresser le temps de développement. Elle pourrait changer la façon dont les ingénieurs d'Ethereum abordent l'assurance. « Probablement, la bonne façon de l'utiliser est de prendre la moitié des gains de l'IA en vitesse, et l'autre moitié en sécurité », a-t-il déclaré. « Générer plus de cas de test, vérifier formellement tout, créer plus d'implémentations multiples des choses. »
Il a directement lié cela aux travaux de vérification formelle en cours autour d'Ethereum. Évoquant l'effort Lean Ethereum, Buterin a déclaré qu'un collaborateur avait déjà utilisé l'IA pour produire une preuve vérifiable par machine d'un théorème complexe sous-tendant la sécurité STARK. « Un principe central de @leanethereum est de tout vérifier formellement, et l'IA accélère grandement notre capacité à le faire », a-t-il écrit. « Outre la vérification formelle, la simple capacité à générer un corpus de tests beaucoup plus large est également importante. »
ETH2030 lui-même a été présenté moins comme un client candidat que comme un test de résistance pour la feuille de route. Qi l'a répété présenté comme une ébauche brute, et non comme un logiciel de production, et a soutenu que sa valeur réside dans le fait de forcer dès maintenant, plutôt que dans des années, à se poser des questions d'ingénierie difficiles.
La feuille de route, telle qu'implémentée dans le projet, vise une version d'Ethereum avec plus de 10 000 TPS sur L1, une finalité en secondes au lieu de 15 minutes, du staking solo pour 1 ETH, des nœuds sans état fonctionnant sur un Raspberry Pi à 7 $, et plus d'un million de TPS sur L1 et L2. Mais l'expérience a également mis en lumière un couplage profond entre les mises à niveau, des listes d'accès aux blocs et la revalorisation du gas à PeerDAS, les rollups natifs et la finalité rapide.
Qi a été directe concernant les lacunes. Les implémentations cryptographiques en Go pur accusent un retard d'environ 10x à 100x par rapport au code de production, la logique de consensus n'a pas été testée en conditions réelles sur une beacon chain en direct, et le passage d'environ 5 millions de gas par seconde aujourd'hui à un objectif d'un milliard de gas par seconde reste très spéculatif sous les modèles de dépendance réels des contrats et du MEV.
Buterin n'a pas prétendu que l'IA ferait disparaître ces problèmes. En fait, il a mis en garde contre l'attente d'un protocole sécurisé à partir d'une seule commande. « Il y aura BEAUCOUP de lutte contre les bugs et les incohérences entre les implémentations », a-t-il écrit. « Mais même cette lutte peut se produire 5 fois plus vite et 10 fois plus minutieusement. »
C'est cela, plus que les chiffres en tête, le point maintenant devant les chercheurs d'Ethereum et les équipes clientes. Si l'IA peut accélérer à la fois l'implémentation et la vérification, la feuille de route pourrait ne plus être qu'une simple esquisse architecturale lointaine. Comme l'a dit Buterin, les gens devraient au moins être ouverts à la « possibilité » que la feuille de route d'Ethereum soit terminée « beaucoup plus vite que les gens ne le pensent, avec un standard de sécurité bien plus élevé que ce que les gens attendent. »
Au moment de la rédaction, l'ETH s'échangeait à 1 956 $.
