L'article Vitalik Buterin Says AI May Speed Up Ethereum's Roadmap While Raising Security Standards est apparu en premier sur Coinpedia Fintech News
L'avenir du développement d'Ethereum pourrait arriver plus rapidement que prévu.
Vitalik Buterin a récemment décrit une expérience dans laquelle une grande partie de la feuille de route proposée pour 2030 d'Ethereum a été « codée intuitivement » en quelques semaines seulement à l'aide d'outils d'intelligence artificielle. Bien qu'il ait averti que les résultats sont loin d'être prêts pour la production, le message était clair : l'IA transforme rapidement la façon dont l'infrastructure blockchain est construite.
Selon Buterin, créer une version approximative d'une feuille de route aussi complexe en seulement deux semaines aurait semblé irréaliste il y a six mois. Il a déclaré que le code généré par l'IA contient probablement des bugs critiques et des sections incomplètes. Certains composants peuvent être des espaces réservés plutôt que des fonctionnalités entièrement implémentées.
Néanmoins, la vitesse de développement elle-même marque un changement.
Buterin a également partagé qu'il a récemment créé une version de son logiciel de blog en environ une heure en utilisant un modèle d'IA open source fonctionnant localement sur son ordinateur portable. Des systèmes plus avancés, a-t-il suggéré, pourraient potentiellement accomplir des tâches similaires encore plus rapidement.
Le point essentiel n'est pas que l'IA puisse instantanément produire une infrastructure blockchain sécurisée. Il montre plutôt à quel point les délais de développement se réduisent considérablement.
Buterin a souligné qu'un codage plus rapide seul ne suffit pas. À son avis, la véritable opportunité réside dans l'équilibre entre vitesse et pratiques de sécurité plus solides.
Au lieu d'utiliser l'IA uniquement pour écrire plus de code, les développeurs peuvent l'utiliser pour :
Un collaborateur de l'initiative LeanEthereum aurait utilisé l'IA pour aider à produire une preuve vérifiable par machine pour l'un des théorèmes mathématiques complexes sous-jacents à la cryptographie basée sur STARK.
Pour Ethereum, qui s'appuie de plus en plus sur des systèmes avancés de preuve à divulgation nulle de connaissance, ces outils de vérification sont essentiels.
Un principe fondamental de LeanEthereum est de vérifier formellement tous les composants dans la mesure du possible. La vérification formelle signifie prouver mathématiquement que le code se comporte exactement comme prévu.
Dans les systèmes blockchain qui sécurisent des milliards de dollars de valeur, réduire même de petites vulnérabilités peut avoir un impact considérable. Buterin a suggéré que l'IA accélère la capacité à produire des preuves vérifiées et à tester les implémentations à grande échelle.
Il a pris soin d'ajouter que personne ne devrait s'attendre à entrer une seule commande et à recevoir un code parfaitement sécurisé. Les bugs, les incohérences et les compromis de conception resteront partie intégrante du processus.
Cependant, les cycles de débogage et de test pourraient se produire cinq fois plus rapidement et de manière beaucoup plus approfondie qu'auparavant.
Bien que Buterin n'ait fait aucune prédiction ferme, il a encouragé la communauté à rester ouverte à la possibilité que la feuille de route à long terme d'Ethereum puisse être achevée plus rapidement que beaucoup ne le prévoient.
Plus important encore, il a suggéré qu'elle pourrait atteindre des normes de sécurité plus élevées que celles traditionnellement attendues pour des systèmes distribués complexes.
Si l'IA continue de s'améliorer à son rythme actuel, les goulots d'étranglement de développement qui ralentissaient autrefois les mises à jour de la blockchain pourraient devenir moins restrictifs.

