Vitalik Buterin veut utiliser l'IA pour vérifier le code et trouver des bugs sur Ethereum.
M. Buterin s'intéresse de plus en plus à l'IA et voit la vérification du code comme une des applications les plus prometteuses.
L'utilisation de l'IA pour détecter des vulnérabilités dans les contrats intelligents est déjà explorée, mais n'est pas encore totalement efficace.
Vitalik Buterin, co-fondateur de la crypto-monnaie Ethereum (ETH), a déclaré le 19 qu'il espérait pouvoir utiliser l'intelligence artificielle (IA) pour vérifier le code et trouver des bugs..
Il déclare que le plus grand risque technique d'Ethereum réside probablement dans les bogues de code et suggère que l'IA sera désormais utilisée dans le développement d'Ethereum. Veuillez noter que le contenu de cet article a été publié uniquement sur X et ne fait pas référence à des méthodes ou horaires d'utilisation spécifiques.
Une application de l’IA qui me passionne est la vérification formelle du code et la recherche de bogues assistée par l’IA.
À l'heure actuelle, le plus grand risque technique d'Ethereum réside probablement dans les bogues de code, et tout ce qui pourrait changer considérablement le jeu à ce sujet serait incroyable.
Les articles récents de M. Buterin et ses articles de blog sur X suggèrent qu'il s'intéresse de plus en plus à l'IA. Dans un article de blog à la fin du mois dernier, il a exploré les possibilités et les défis liés à la combinaison des crypto-monnaies et des technologies d’IA.
À l’époque, il avait donné des exemples de synergies superficielles et déclaré que la possibilité de synergies plus profondes commençait à se manifester, mais il n’a pas discuté de la manière dont l’IA serait appliquée. Cependant, Buterin prévient que la prudence reste de mise.
Par exemple, « en cryptographie, l’open source est le seul moyen de sécuriser quelque chose, mais en IA, rendre les modèles (ou même leurs données d’entraînement) ouverts augmente considérablement leur vulnérabilité aux attaques adverses d’apprentissage automatique. » va augmenter », a-t-il déclaré.
connexion : Quelle est l'intersection bénéfique de la monnaie virtuelle et de l'IA (intelligence artificielle) ?M. Buterin explique quatre cas
Buterin a cité la vérification du code comme l’une des applications de l’IA qu’il attend avec impatience.
connexion : Aptos Assistant promeut le développement Web3 en collaboration avec le service d'IA générative de Microsoft
Testez l'IA
L'idée d'utiliser l'IA pour vérifier le code et trouver des bugs n'est pas nouvelle et a été discutée par de nombreux experts en plus de Buterin. D’un autre côté, on craignait également que le travail de vérification soit repris par AI.
En juin de l'année dernière, la société de technologie blockchain OpenZeppelin a publié les résultats d'un test visant à voir si GPT-4, une IA générative appelée ChatGPT, pouvait découvrir des vulnérabilités dans les contrats intelligents écrits dans le langage Solidity d'Ethereum. Il y a.
À cette époque, l’IA pouvait être utilisée comme un outil pour trouver des vulnérabilités, mais elle n’était pas capable de découvrir toutes les vulnérabilités, il a donc été analysé qu’elle n’était pas au niveau de la prise en charge des tâches humaines. Il a souligné que même si l’IA peut découvrir des vulnérabilités très similaires aux problèmes rencontrés dans le passé, il est nécessaire de prendre en compte la vitesse à laquelle la blockchain évolue.
connexion : Binance Lab pour développer des pièces stables décentralisées, la création d'IA, etc.
Qu'est-ce qu'un contrat intelligent ?
Un système qui exécute automatiquement un contrat selon des conditions préprogrammées. Il est souvent comparé à un « distributeur automatique », dans lequel vous insérez une somme d’argent définie et appuyez sur le bouton du produit souhaité, et l’achat ou la vente commence automatiquement.
