Vitalik Buterin dit que l'IA accélère le développement d'Ethereum

• La programmation agentique a produit en quelques semaines un prototype de client Ethereum de 700 000 lignes, aligné avec la feuille de route 2030.
• Buterin encourage à associer une programmation AI plus rapide avec une vérification formelle, des suites de tests étendues et des vérifications multi-clients.
• Il a également détaillé une feuille de route pour la résistance quantique, remplaçant BLS et ajoutant des systèmes basés sur le hachage et STARK.

Le cofondateur d’Ethereum, Vitalik Buterin, a déclaré que l’intelligence artificielle accélère rapidement le développement d’Ethereum. Lors de déclarations publiques récentes, il a décrit comment la programmation agentique a permis à un développeur de construire un client Ethereum conforme à la feuille de route en quelques semaines. Le travail s’est déroulé en ligne début 2026 et visait à accélérer le développement tout en améliorant la sécurité par le biais de tests et de vérifications.

Avantages de la programmation et des tests pilotés par l’IA

Selon Buterin, un développeur a utilisé la programmation agentique pour produire un prototype de client Ethereum conforme à la feuille de route 2030. Notamment, le prototype comprenait environ 700 000 lignes de code et couvrait 65 éléments de la feuille de route. Il s’est également synchronisé avec le réseau principal Ethereum en deux semaines.

Cependant, Buterin a souligné que cette construction comportait de grandes limitations. Il a indiqué que le code contenait probablement des bugs critiques et des implémentations incomplètes. Néanmoins, il a expliqué qu’un tel progrès semblait impossible il y a six mois, soulignant la rapidité avec laquelle les outils de développement évoluent.

Buterin a ajouté que l’IA accélère la programmation dans diverses tâches. Il a cité sa propre expérience de recréation d’un logiciel de blog en une heure à l’aide de modèles locaux. Par conséquent, il a soutenu que les gains de vitesse devraient être répartis équitablement entre un développement plus rapide et des pratiques de sécurité renforcées.

Vérification formelle et focus sur la sécurité

Buterin a déclaré que l’utilisation la plus efficace de l’IA combine une programmation plus rapide avec des tests plus approfondis. Plus précisément, il a souligné la génération de suites de tests plus importantes et l’expansion de la vérification formelle. Il a noté qu’un collaborateur de Lean Ethereum a utilisé l’IA pour créer une preuve vérifiable par machine pour un théorème complexe lié à STARK.

Selon Buterin, Lean Ethereum vise à vérifier formellement chaque composant. Cependant, l’IA accélère désormais considérablement cet effort. De plus, il a souligné que le code sans bugs reste difficile à obtenir, mais plus réalisable grâce à des tests répétés et à des vérifications multi-implémentations.

Il a averti que des systèmes sécurisés ne sortiront pas d’un seul prompt. Même ainsi, il a indiqué que les cycles de débogage peuvent désormais être plus rapides et plus approfondis.

Détails de la feuille de route pour la résistance quantique

Par ailleurs, Buterin a présenté la feuille de route pour la résistance quantique d’Ethereum. Il a identifié des vulnérabilités dans les signatures de consensus BLS, la disponibilité des données basée sur KZG, les signatures de comptes ECDSA et les systèmes de preuve à connaissance zéro. Pour y remédier, il a proposé de remplacer BLS par des signatures basées sur le hachage et d’utiliser l’agrégation STARK.

Pour les comptes externes, Buterin a évoqué l’EIP-8141. Cette modification permettrait d’utiliser plusieurs schémas de signature, y compris des options résistantes aux attaques quantiques. Il a reconnu que cela entraînerait des coûts en gaz plus élevés, mais a affirmé que l’efficacité devrait s’améliorer avec le temps.

La feuille de route aborde également les systèmes de preuve. Bien que les preuves STARK coûtent plus cher que les ZK-SNARKs actuels, l’agrégation pourrait réduire le calcul sur la chaîne. Le mois dernier, la Fondation Ethereum a indiqué que la prochaine phase de l’écosystème augmentera la capacité tout en maintenant la sécurité et la résilience à long terme.