Vitalik pense que l'IA peut accélérer le développement d'Ethereum

Vitalik pense que l'IA peut accélérer le développement d'Ethereum

Vitalik Buterin a déclaré que la technique du « vibecoding » avec l'intelligence artificielle (IA) pourrait accélérer considérablement le développement de la feuille de route d'Ethereum pour 2030, faisant même avancer des années de travail prévu.

Comme l'explique le développeur, une expérience récente a réussi à créer une version complète de cette feuille de route en utilisant l'IA en quelques jours, bien qu'avec des erreurs critiques et des composants incomplets.

Quelque chose construit en deux semaines sans même avoir les EIP (Ethereum Improvement Proposal) comporte d'énormes réserves et presque certainement de nombreux bugs critiques… Mais il y a six mois, même cela était bien hors du domaine des possibilités, et ce qui compte, c'est où va la tendance.

Vitalik Buterin, co-fondateur d'Ethereum.

Buterin a également mentionné que l'IA crée souvent des versions « bout »c'est-à-dire des pièces simulées qui n'implémentent pas toute la logique nécessaire. Pour cette raison, il a exclu qu'« une seule invite » suffise pour obtenir un code hautement sécurisé.

Plus de vitesse, mais avec vérification mathématique

Le « Vibecoding » est une pratique dans laquelle un développeur décrit en langage naturel ce qu'il souhaite construire et L'IA génère le code. Autrement dit, le programmeur n'écrit pas ligne par ligne, mais guide plutôt le modèle avec des instructions et corrige au fur et à mesure.

Le co-fondateur d'Ethereum a souligné qu'un collaborateur du projet Lean Ethereum réussi à générer une preuve mathématiquement vérifiable avec l'IA d'un des théorèmes complexes sur lesquels sont basés les tests STARK (Scalable and Transparent Arguments from Knowledge). Les STARK sont un type de preuve cryptographique essentiel à la sécurité des systèmes d’évolutivité.

Vitalik a noté que « l’un des principes fondamentaux est de tout vérifier formellement, et l’IA accélère considérablement notre capacité à le faire ». La vérification formelle consiste à prouver mathématiquement que Le code fait exactement ce qu'il promet.

Pour Buterin, l’utilisation de l’IA ne devrait pas seulement viser à écrire du code plus rapidement, mais aussi à renforcer sa sécurité.

La bonne façon de l'utiliser est probablement de prendre la moitié des gains de vitesse et la moitié des gains de sécurité : générer plus de cas de test, tout vérifier formellement, effectuer plus de multi-déploiements.

Vitalik Buterin, co-fondateur d'Etheruem.

Dans ce cadre, Vitalik a évoqué une possibilité plus ambitieuse : qu’un code sans erreur cesse d’être une aspiration idéaliste. « Un code sans bug, considéré comme une illusion idéaliste, pourrait devenir d'abord possible, puis une attente fondamentale », a-t-il déclaré.

Il a toutefois imposé une limite claire : « Une sécurité totale est impossible ». Cependant, il a souligné que dans de nombreux cas spécifiques, il est possible de vérifier des déclarations spécifiques qui éliminent plus de 99 % des conséquences négatives d'un échec.

Du « battage médiatique » au code critique

Le concept de vibecoding surgit dans un contexte où l’IA promet que « n’importe qui peut programmer ». Pour Viltalik, « l’IA accélère considérablement la programmation ».

En ce sens, un développeur a affirmé avoir construit un clone fonctionnel du portefeuille MetaMask en moins de 20 minutes. en utilisant la plateforme Claude d'Anthropic, capable d'envoyer et de recevoir des crypto-monnaies, comme le rapporte CriptoNoticias.

Dans un autre cas récent, un contrat intelligent rédigé avec l'aide de l'IA a causé une perte de 1,7 million de dollars dans le protocole Moonwell. L'erreur s'est produite parce que l'intelligence artificielle a fixé le prix du jeton cbETH à 1,12 USD alors que sa valeur marchande réelle dépassait 2 200 USD, permettant ainsi l'exploitation de la garantie mal évaluée.

Cette accessibilité n’est pas sans rappeler des phénomènes antérieurs, comme l’engouement pour les NFT (non-fungible token), où la facilité technique permettait à chacun de lancer des collections sans forcément apporter une réelle valeur. Le risque structurel est similaire : une abondance de produits fonctionnels, mais pas forcément sécurisés ou audités.

Dans le contexte d’Ethereum, l’impact serait plus important. La feuille de route 2030 comprend des améliorations techniques visant à faire évoluer le réseau et à renforcer sa sécurité, et l’IA pourrait potentiellement accélérer leur arrivée.

Cependant, Buterin n’a pas garanti que cela se produirait. Il a parlé d'une « possibilité » et non d'une certitude. Le conflit central n’est pas la vitesse, mais la confiance. Ethereum fonctionne comme une infrastructure financière décentralisée. Une erreur dans votre couche de consensus n’est pas un échec mineur : Cela peut affecter des milliards de dollars d’actifs.

Voir l’article original en espagnol

Amazon music unlimited
Rejoignez dès maintenant Amazon Music Unlimited et plongez dans un univers de 100 millions de titres sans publicité. Profitez de 30 jours d’essai gratuit pour une expérience musicale inégalée !