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 700000 lignes en deux semaines
• Le prototype couvre 65 éléments de la feuille de route et se synchronise avec le réseau principal
• Buterin appelle à davantage de tests et à une 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 fait référence à 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, grâce à la programmation agentique. Le prototype comprend environ 700000 lignes de code, couvre 65 éléments de la feuille de route et se synchronise avec le réseau principal d’Ethereum.

Le prototype 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é sur la feuille de route pour 2030. Le prototype a été achevé en environ deux semaines. Il comprend environ 700000 lignes de code et prend en charge 65 éléments de la feuille de route. Le client se synchronise avec le réseau principal d’Ethereum.

C’est une expérience vraiment impressionnante. L’ambiance, le “vibe-coding”, de toute la feuille de route 2030 en quelques semaines.

Évidemment, un tel truc construit en deux semaines sans même avoir les EIPs présente de grosses réserves : très probablement énormément de bugs critiques, et probablement, dans certains cas, des versions “stub” de quelque chose…

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

Buterin a décrit cet effort comme une expérience qui montre des progrès rapides. Il a dit que des travaux similaires n’étaient pas réalistes il y a six mois. Il a ajouté que la direction des progrès de l’IA est la plus importante. Il a aussi partagé un exemple personnel. Il a dit 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 rapides par IA comportent des risques. Il a dit qu’un projet achevé en deux semaines sans EIPs finalisés contient probablement des bugs critiques. Il a ajouté que certaines parties pourraient être des versions stub. Il a averti de ne pas supposer qu’une seule requête peut générer du code de production sécurisé. Il a dit qu’il y aura des bugs et des incohérences entre les implémentations.

Cependant, il a indiqué que l’IA permet à ce processus d’avancer cinq fois plus vite. Il a expliqué que les développeurs devront toujours 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 considérée comme une infrastructure finalisé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 flux de travail technique d’Ethereum.

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

Buterin a dit que les gains de l’IA doivent être répartis entre vitesse et sécurité. Il a suggéré que la moitié des gains de productivité devrait aller vers des tests plus solides. Cela inclut la génération de davantage de cas de test et l’exécution de vérifications formelles. Il a fait référence à l’initiative 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 contrôles entre plusieurs implémentations. Ces étapes réduisent les risques liés à un code défectueux. Il a dit que la sécurité totale n’est pas atteignable. Il a expliqué que la sécurité parfaite nécessiterait un alignement exact entre le code et l’intention humaine.

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