Les outils d’IA compressent considérablement les délais de développement d’Ethereum, permettant des prototypes rapides et des itérations.
La vérification formelle avec l’IA accélère les preuves pour la cryptographie complexe basée sur STARK, renforçant la sécurité de la blockchain.
Répartir les gains de l’IA entre rapidité et sécurité permet aux développeurs d’Ethereum d’élargir la couverture des tests et de réduire les bugs critiques.

Vitalik Buterin affirme que l’intelligence artificielle commence à transformer la manière dont Ethereum est construit.

Dans un récent post sur X, il a décrit une expérience où l’IA a été utilisée pour « coder en vibe » une grande partie de la feuille de route d’Ethereum pour 2030 en quelques semaines. Il a qualifié le résultat d’impressionnant, tout en avertissant qu’il reste très expérimental.

Le projet a été réalisé sans finaliser les propositions d’amélioration d’Ethereum. Cela seul, a-t-il noté, signifie que le code contient probablement de graves bugs. Certaines fonctionnalités peuvent n’exister qu’en tant que versions partielles. Il y a six mois, il ajoutait que même atteindre ce stade aurait semblé impossible.

C’est une expérience vraiment impressionnante. Coder en vibe toute la feuille de route 2030 en quelques semaines.

Évidemment, une telle réalisation en deux semaines sans même avoir les EIPs comporte de nombreux avertissements : presque certainement beaucoup de bugs critiques, et probablement dans certains cas des versions « stub » d’une fonctionnalité… https://t.co/ZlTg0r2hvI

— vitalik.eth (@VitalikButerin) 28 février 2026

Les gains de l’IA dans le codage – mais pas la perfection

Buterin a déclaré que les outils d’IA compressent de manière spectaculaire les délais de développement. Il a récemment utilisé un modèle open-source en local pour recréer une version de son logiciel de blog en environ une heure. Selon lui, des modèles plus puissants pourraient réaliser des constructions similaires en une seule tentative.

La feuille de route d’Ethereum se concentre sur des améliorations de la scalabilité, une décentralisation renforcée et une sécurité accrue de la blockchain. Les développeurs travaillent sur plusieurs couches du protocole pour réduire le trafic et augmenter l’efficacité. Des cycles de codage plus rapides pourraient accélérer ces efforts parallèles.

Cependant, Buterin met en garde contre toute confiance excessive. Une seule invite ne produira pas un code sécurisé pour la production. Les ingénieurs doivent s’attendre à des incohérences, des échecs dans des cas extrêmes et des lacunes structurelles. Ce qui change, selon lui, c’est la rapidité avec laquelle ces problèmes sont identifiés et corrigés.

La vérification formelle en ligne de mire

Plutôt que d’utiliser l’IA uniquement pour la rapidité, Buterin suggère de rediriger une partie des gains de productivité vers la sécurité. Cela inclut la génération de volumes plus importants de cas de test et l’expansion des efforts de vérification formelle.

Il a mentionné le travail sous LeanEthereum, une initiative de recherche dédiée à la vérification mathématique des composants centraux d’Ethereum. Un partenaire, a-t-il dit, a récemment utilisé l’IA pour construire une preuve vérifiable par machine d’un théorème complexe sous-jacent à la cryptographie basée sur STARK.

Les STARKs constituent une base pour plusieurs systèmes de preuves à divulgation zéro utilisés pour faire évoluer les réseaux blockchain. Produire des preuves formelles pour de tels systèmes a traditionnellement nécessité un effort manuel important. L’aide de l’IA réduit désormais cette barrière.

La vérification formelle repose sur des méthodes mathématiques pour confirmer que le code se comporte exactement comme spécifié. Dans la sécurité de la blockchain, ce processus limite les failles qui pourraient conduire à des exploits ou des pertes financières.

Élever le niveau de sécurité

Buterin a reconnu que le logiciel totalement exempt de bugs reste impossible. Le code ne peut pas capturer parfaitement toutes les intentions humaines derrière lui.

Cependant, il a soutenu que des garanties de sécurité ciblées et vérifiables peuvent éliminer la majorité des risques pratiques.

Dans les systèmes décentralisés construits autour de la nécessité de ne pas faire confiance aux autres, des normes de vérification plus strictes réduisent la dépendance à la coordination sociale ou à la surveillance manuelle. Buterin a déclaré que les progrès continus de l’IA dans le codage pourraient pousser Ethereum vers des attentes de sécurité plus élevées tout en réduisant son horizon de développement.

Avertissement : Les informations contenues dans cette page peuvent provenir de tiers et ne représentent pas les points de vue ou les opinions de Gate. Le contenu de cette page est fourni à titre de référence uniquement et ne constitue pas un conseil financier, d'investissement ou juridique. Gate ne garantit pas l'exactitude ou l'exhaustivité des informations et n'est pas responsable des pertes résultant de l'utilisation de ces informations. Les investissements en actifs virtuels comportent des risques élevés et sont soumis à une forte volatilité des prix. Vous pouvez perdre la totalité du capital investi. Veuillez comprendre pleinement les risques pertinents et prendre des décisions prudentes en fonction de votre propre situation financière et de votre tolérance au risque. Pour plus de détails, veuillez consulter l'avertissement.