La feuille de route du protocole à long terme d’Ethereum pourrait évoluer plus rapidement que prévu à mesure que les outils d’IA s’améliorent, selon Vitalik Buterin, qui a souligné une expérience récente utilisant le codage agent pour assembler un client de référence ambitieux couvrant une grande partie de l’architecture prévue d’Ethereum pour 2030.
Le commentaire est intervenu après que le développeur Jiayao Qi, postant sous le nom de YQ via X, a dévoilé ETH2030, un client Ethereum expérimental conçu pour cibler le projet 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 sur huit phases, réussit 36 126 tests d’état officiels d’Ethereum et peut se synchroniser avec le réseau principal grâce à une intégration avec go-ethereum v1.17.0. Qi a déclaré que le client avait été construit en six jours environ à l’aide de Claude Code, pour un coût d’environ 5 750 $ et 2,77 milliards de jetons.
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 réserves”, a-t-il écrit. “Il y a presque certainement beaucoup de bugs critiques, et probablement dans certains cas des versions ‘stub’ de quelque chose pour lesquelles l’IA n’a même pas essayé de créer la version complète. Mais il y a six mois, même cela était loin du domaine des possibilités, et ce qui compte, c’est où va la tendance.”
Cette distinction comptait plus pour Buterin que la démo brute elle-même. Selon lui, l’IA ne se contente pas de réduire le temps de développement. Cela pourrait changer la façon dont les ingénieurs d’Ethereum abordent l’assurance. “La bonne façon de l’utiliser est probablement de prendre la moitié des gains de l’IA en termes de vitesse et la moitié des gains en sécurité”, a-t-il déclaré. “Générez plus de cas de test, vérifiez tout formellement, réalisez davantage d’implémentations multiples.”
Il a directement lié cela au travail de vérification formelle en cours autour d’Ethereum. Faisant référence à 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 qui sous-tend la sécurité STARK. “L’un des principes fondamentaux de @leanethereum est de tout vérifier formellement, et l’IA accélère considérablement notre capacité à le faire”, a-t-il écrit. « Outre la vérification formelle, il est également important de pouvoir générer un ensemble beaucoup plus important de cas de test. »
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 présenté à plusieurs reprises comme une ébauche, et non comme un logiciel de production, et a fait valoir que sa valeur réside dans le fait de mettre en lumière des questions d’ingénierie difficiles maintenant plutôt que dans des années.
La feuille de route, telle que mise en œuvre 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, un jalonnement en solo pour 1 ETH, des nœuds sans état fonctionnant sur un Raspberry Pi à 7 $ et plus de 1 million de TPS sur L1 et L2. Mais l’expérience a également mis en évidence un couplage profond entre les mises à niveau, depuis les listes d’accès bloqués et la retarification du gaz jusqu’à PeerDAS, les cumuls natifs et la finalité rapide.
Qi a été franc sur les lacunes. Les implémentations cryptographiques Pure-Go sont en retard d’environ 10 à 100 fois sur le code de production, la logique du consensus n’a pas été testée sur une chaîne de balises actives, et le passage d’environ 5 millions de gaz par seconde aujourd’hui à un objectif de 1 milliard de gaz par seconde reste hautement spéculatif dans le cadre des modèles de dépendance MEV et contractuels du monde réel.
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 invite. « 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 dérouler 5 fois plus vite et 10 fois plus minutieusement.”
C’est là, plus que les gros chiffres, le point qui se pose désormais aux chercheurs et aux équipes clients d’Ethereum. Si l’IA peut accélérer à la fois la mise en œuvre et la vérification, la feuille de route n’est peut-être pas qu’une lointaine esquisse architecturale. Comme l’a dit Buterin, les gens devraient au moins être ouverts à la « possibilité » que la feuille de route d’Ethereum puisse être achevée « beaucoup plus rapidement que prévu, avec un niveau de sécurité beaucoup plus élevé que ce à quoi les gens s’attendent ».
Au moment de mettre sous presse, l’ETH s’échangeait à 1 956 $.
Image en vedette créée avec DALL.E, graphique de TradingView.com
