TLDR :
- Un développeur a construit un prototype client aligné sur Ethereum 2030 avec 700 000 lignes de code en deux semaines à l'aide de l'IA.
- Vitalik Buterin a reconstruit son logiciel de blog en une heure à l'aide d'un modèle à 20 B paramètres exécuté sur son ordinateur portable.
- L’IA accélère les efforts de vérification formelle au sein du projet Lean Ethereum, renforçant ainsi la sécurité du protocole.
- Buterin affirme qu'un code sans bug, autrefois considéré comme irréaliste, pourrait devenir réalisable grâce à la vérification assistée par l'IA.
Le co-fondateur d'Ethereum, Vitalik Buterin, affirme que l'intelligence artificielle accélère rapidement le développement d'Ethereum, désignant un développeur qui a construit un prototype client complet en seulement deux semaines.
L'IA accélère le développement des clients Ethereum
Un développeur a récemment utilisé le codage agent pour créer un prototype de client Ethereum aligné sur la feuille de route 2030+. Le prototype contenait environ 700 000 lignes de code et couvrait 65 éléments de la feuille de route.
Il s’est également synchronisé avec succès avec le réseau principal Ethereum, une réussite technique notable. Cela a été accompli en seulement deux semaines, sans que les propositions d’amélioration d’Ethereum finalisées ne soient mises en place.
Buterin a reconnu que le prototype comporte de sérieuses réserves compte tenu de la rapidité avec laquelle il a été construit. Il a noté qu'il contenait presque certainement des bogues critiques dans toute sa base de code.
Certaines fonctionnalités sont probablement des versions « stub », dans lesquelles l’IA n’a pas tenté une implémentation complète. Il a néanmoins souligné que la tendance elle-même est ce qui compte le plus.
Sur X, Buterin a partagé sa propre expérience en testant des outils de codage assistés par l'IA. Il a écrit qu'il avait utilisé un modèle de 20 milliards de paramètres exécuté localement sur son ordinateur portable pour reconstruire son logiciel de blog en une heure.
Il a ajouté qu’un modèle plus puissant comme le Kimi-2.5 aurait probablement accompli la tâche en une seule fois. Ces résultats montrent à quelle vitesse les outils de codage de l’IA s’améliorent à différentes échelles.
Buterin a présenté les gains de vitesse non pas comme une raison de se précipiter, mais comme une opportunité de faire un travail plus approfondi. Il a suggéré aux développeurs de répartir équitablement les gains générés par l’IA entre la vitesse et la sécurité.
Selon lui, un développement plus rapide devrait s’accompagner de processus de test et de vérification plus rigoureux.
Vérification formelle et stand de sécurité pour en bénéficier
Au-delà de la vitesse brute, Buterin a souligné la vérification formelle comme un domaine majeur dans lequel l'IA peut contribuer à la sécurité d'Ethereum.
Un collaborateur travaillant sur le projet Lean Ethereum a utilisé l’IA pour produire une preuve vérifiable par machine de l’un des théorèmes les plus complexes sous-jacents à la sécurité STARK.
Ce type de travail était auparavant lent et nécessitait une expertise mathématique approfondie. Les outils d’IA rendent désormais la production plus accessible et plus rapide.
L’effort Lean Ethereum est centré sur la vérification formelle de chaque composant du protocole. L’IA accélère activement ce processus, selon Buterin.
Un plus grand nombre de cas de test peuvent désormais être générés à un volume beaucoup plus élevé qu'auparavant. Même lorsque des bugs apparaissent, le processus de recherche et de résolution peut être cinq fois plus rapide et dix fois plus approfondi.
Buterin a également évoqué la possibilité qu'un code sans bug, autrefois considéré comme irréaliste, puisse devenir réalisable. Il a pris soin de présenter cela comme une possibilité et non comme une certitude.
Il a souligné que la sécurité totale reste hors de portée, puisque le code ne peut jamais capturer complètement tout ce qui se passe dans l'esprit d'un développeur. Cependant, des allégations de sécurité spécifiques peuvent être vérifiées de manière à supprimer plus de 99 % des risques liés au code défectueux.
Voir l’article original en anglais
