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 et se synchronisant avec le mainnet Ethereum.
Buterin a commenté le résultat vendredi, le qualifiant « d’expérience vraiment impressionnante », tout en listant 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 davantage que ce que la communauté anticipe aujourd’hui.
Buterin a été clair sur ce que le projet n’est pas : construit sans propositions d’amélioration d’Ethereum formelles, il contient presque certainement des bogues critiques et inclut probablement des versions « factices » de certaines fonctionnalités lorsque l’IA n’a pas tenté une implémentation complète.
L’important, a‑t‑il soutenu, est la trajectoire plutôt que le résultat. Il y a six mois, a‑t‑il écrit, même un prototype de cette ampleur était « bien en dehors du champ du possible ».
Vitesse 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 vitesse et 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 de plus vastes suites de tests, 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 tout le code 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 perspective de Buterin, c’est l’usage à plus forte valeur ajoutée : non pas livrer plus vite, mais livrer un code plus vérifiable et correct.
À 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évision. Il a déclaré que les gens devraient rester ouverts à l’idée que la feuille de route Ethereum puisse s’achever plus vite que les calendriers actuels ne le suggèrent – et avec un niveau de sécurité plus élevé.
Sur le plan de la sécurité, il a exprimé son enthousiasme personnel pour la possibilité de faire passer le code sans bogues du statut de « délire idéaliste » à celui d’attente de base pour les infrastructures critiques.
Il a reconnu qu’une sécurité totale reste impossible au sens absolu – elle exigerait une correspondance exacte entre le code et le contenu de l’esprit du développeur – mais il a soutenu que la vérification formelle par l’IA peut déjà éliminer plus de 99 % des conséquences négatives pouvant résulter de défaillances de code spécifiques et bien définies.
Le dépôt ETH2030 reste publiquement accessible à 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