Vitalik Buterin dit que l'IA pourrait accélérer la feuille de route Ethereum 2030

TLDR

• Une IA a construit un client Ethereum de 700 000 lignes en deux semaines
• Le prototype couvre 65 éléments de la feuille de route et se synchronise avec le mainnet
• Buterin appelle à davantage de tests et de vérification formelle
• L’IA a aidé à produire une preuve STARK vérifiable par machine

Vitalik Buterin affirme que l’IA pourrait accélérer la feuille de route d’Ethereum pour 2030 à des niveaux de sécurité sans précédent. Il a pointé du doigt une expérience récente dans laquelle un développeur a construit, en deux semaines, un prototype de client aligné sur la feuille de route à l’aide de la programmation agentique. Le prototype inclut environ 700 000 lignes de code, couvre 65 éléments de la feuille de route et se synchronise avec le mainnet d’Ethereum.

Un prototype construit avec l’IA s’aligne sur la feuille de route d’Ethereum pour 2030

Le cofondateur d’Ethereum, Vitalik Buterin, a déclaré que l’IA accélère le développement d’Ethereum. Il a cité un développeur qui a utilisé la programmation agentique pour construire un client aligné avec la feuille de route pour 2030. Le prototype a été achevé en environ deux semaines. Il comprend environ 700 000 lignes de code et prend en charge 65 éléments de la feuille de route. Le client se synchronise avec le mainnet d’Ethereum.

C’est une expérience vraiment impressionnante. « Vibra-coder » toute la feuille de route d’Ethereum pour 2030 en quelques semaines.

Évidemment, le fait que quelque chose de ce genre soit construit en deux semaines sans même avoir les EIP pose d’énormes réserves : presque sûrement de nombreux bugs critiques, et probablement dans certains cas des versions « stub » d’une chose…

— vitalik.eth (@VitalikButerin) February 28, 2026

Buterin a décrit l’effort comme une expérience qui montre des progrès rapides. Il a déclaré qu’un travail similaire n’était pas réaliste il y a six mois. Il a ajouté que la direction des progrès de l’IA compte le plus. Il a également partagé un exemple personnel. Il a déclaré qu’il avait construit un logiciel similaire à son blog en une heure en utilisant la programmation agentique. Le modèle utilisé tournait localement sur son ordinateur portable.

Les gains de vitesse s’accompagnent de risques techniques

Buterin a mis en garde : des constructions d’IA rapides comportent des risques. Il a dit qu’un projet achevé en deux semaines sans EIP finalisés contient probablement des bugs critiques. Il a ajouté que certaines parties pourraient être des versions stub. Il a mis en garde contre l’idée de supposer qu’un seul prompt peut générer un code de production sécurisé. Il a déclaré qu’il y aura des bugs et des incohérences entre les implémentations.

Cependant, il a déclaré que l’IA permet à ce processus d’avancer cinq fois plus vite. Il a expliqué que les développeurs devront quand même examiner et comparer le code. Les étapes de test et de validation restent nécessaires.

L’IA réduit le temps passé sur des tâches répétitives et augmente la vitesse d’itération. Buterin a déclaré que l’expérience ne devrait pas être vue comme une infrastructure terminée. Il l’a présentée comme un signal de changement de méthodes de développement. L’IA fait désormais partie du workflow technique d’Ethereum.

Mettre l’accent sur les tests et la vérification formelle

Buterin a déclaré que les gains de l’IA doivent être répartis entre la vitesse et la sécurité. Il a suggéré que la moitié des gains de productivité devrait être consacrée à des tests plus solides. Cela inclut la génération de davantage de cas de test et l’exécution d’une vérification formelle. Il a fait référence à l’effort Lean Ethereum, qui vise à vérifier formellement des composants d’Ethereum. Un collaborateur a utilisé l’IA pour créer une preuve vérifiable par machine d’un théorème STARK complexe.

Buterin a déclaré que la vérification formelle soutient les systèmes sans confiance. Il a ajouté que l’IA peut augmenter le volume de tests et améliorer les vérifications multi-implémentations. Ces étapes réduisent les risques liés à un code défectueux. Il a déclaré que la sécurité totale n’est pas atteignable. Il a expliqué que la sécurité parfaite exigerait un alignement exact entre le code et l’intention humaine.

Pourtant, il a noté que des affirmations de sécurité spécifiques peuvent être vérifiées. Buterin a déclaré que les gens devraient envisager la possibilité que la feuille de route d’Ethereum se termine plus vite que prévu. Il a aussi déclaré que les standards de sécurité pourraient augmenter à mesure que les outils de vérification s’améliorent. Il a indiqué que du code sans bugs, dans des cas définis, pourrait devenir réalisable. Il a déclaré que cette idée était autrefois considérée comme irréaliste. La vérification assistée par l’IA pourrait changer, avec le temps, les attentes en matière de développement.