Un développeur qui avait parié avec Vitalik Buterin qu’une seule personne pouvait coder de façon agentique un client Ethereum (ETH) visant la feuille de route 2030 a construit ETH2030 en deux semaines : 702 000 lignes de Go, couvrant 65 éléments de feuille de route, se synchronisant avec le mainnet Ethereum.
Buterin a commenté le résultat vendredi, le qualifiant d’« expérience assez impressionnante », tout en énumérant des mises en garde importantes et en évoquant la possibilité que l’IA puisse accélérer l’achèvement de la feuille de route Ethereum bien plus que la communauté ne l’imagine actuellement.
Buterin a été clair sur ce que le projet n’est pas : développé sans propositions d’amélioration d’Ethereum (EIP) formelles, il contient presque certainement des bogues critiques et inclut probablement des versions « stub » de certaines fonctionnalités, là où l’IA n’a pas tenté une implémentation complète.
Selon lui, l’essentiel est la trajectoire plutôt que le résultat lui‑même. Il y a six mois, écrit‑il, même un prototype d’une telle ampleur était « bien en dehors du domaine du possible ».
Rapidité vs sécurité
Buterin a présenté la bonne approche du développement accéléré par l’IA comme un partage des gains entre la vitesse et la sécurité, plutôt que de les consacrer entièrement à la rapidité.
Son modèle préféré : utiliser l’IA pour générer des suites de tests plus vastes, vérifier formellement les implémentations et produire plusieurs versions indépendantes d’un même composant pour les recouper.
Un collaborateur du projet LeanEthereum – qui vise à vérifier formellement l’ensemble du code d’Ethereum – a récemment utilisé l’IA pour produire une preuve vérifiable par machine de l’un des théorèmes les plus complexes à la base de la sécurité des STARK.
Dans la vision de Buterin, c’est ce cas d’usage qui a la plus grande valeur : non pas livrer plus vite, mais livrer un code dont la correction est davantage vérifiable.
À lire aussi : Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
Ce qu’il pense possible
Buterin a pris soin de présenter son optimisme comme une possibilité plutôt que comme une prédiction. Il estime que l’on devrait rester ouvert à l’idée que la feuille de route Ethereum puisse s’achever plus vite que ne l’indiquent les calendriers actuels – et avec un niveau de sécurité plus élevé.
Sur le plan de la sécurité, il se dit personnellement enthousiaste à l’idée que le code sans bogue puisse passer du statut de « délire idéaliste » à celui d’attente de base pour les infrastructures critiques.
Il reconnaît qu’une sécurité totale demeure impossible au sens strict – elle exigerait une correspondance exacte entre le code et le contenu de l’esprit du développeur – mais il soutient que la vérification formelle par IA peut déjà éliminer plus de 99 % des conséquences négatives pouvant découler de défaillances de code spécifiques et bien définies.
Le dépôt ETH2030 reste accessible publiquement à l’adresse github.com/jiayaoqijia/eth2030.
À lire ensuite : Binance Must Face US Jury Over Token Losses On EOS, TRX And Five Other Coins - Judge Kills Arbitration Defense