L’intelligence artificielle a gagné du terrain dans presque tous les secteurs ces derniers mois. Selon Vitalik Buterin, co-fondateur d’Ethereum, cela peut également être très utile pour corriger des défauts techniques majeurs du réseau.
« Une application de l’intelligence artificielle qui me passionne est la vérification formelle du code et la recherche de bogues assistées par l’IA. » a écrit Buterin sur son compte de réseau social
La vérification formelle nommée par Vitalik Buterin implique l’utilisation de méthodes mathématiques pour démontrer l’exactitude du code d’un logiciel. Ainsi, il garantit qu’un protocole se comporte comme prévu et minimise le risque d’erreurs ou de vulnérabilités.
Dans le contexte d’Ethereum, où les contrats intelligents sont essentiels, disposer d’un code solide n’est pas une mince affaire. En fait, en décembre 2023, l’équipe d’Open Zeppelin a révélé des vulnérabilités dans deux fonctions de contrats intelligents Ethereum qui ont conduit au vol de plus de 200 000 $ en cryptomonnaie.
La vérification formelle assistée par l’IA peut ajouter de l’automatisation et de l’efficacité au processus identification des problèmes possibles dans le code. En tirant parti des algorithmes d’apprentissage automatique, les systèmes d’IA peuvent analyser de manière exhaustive des structures de code complexes et identifier les vulnérabilités potentielles qui pourraient passer inaperçues grâce à la seule inspection manuelle.
4 utilisations de l’intelligence artificielle dans les réseaux de cryptomonnaie
Le message X susmentionné n’est pas la première référence de Vitalik Buterin à l’intelligence artificielle dans le domaine des crypto-monnaies. Dans un récent article sur son blog personnel, le développeur a expliqué les quatre rôles que l’IA peut jouer dans ce domaine technologique, bien que sa connexion soit jusqu’à présent limitée.
Mais il y a eu un changement de perception au cours des trois dernières années, explique Buterin, grâce à une IA plus puissante et à des réseaux de cryptomonnaies plus puissants. Un contrepoint important qui ressort est que En cryptographie, la transparence est essentielle à la sécurité, tandis qu’en IA, l’ouverture augmente la vulnérabilité aux attaques adverses d’apprentissage automatique.
Les quatre utilisations potentielles mises en avant par Vitalik Buterin sont : L’IA « en tant que joueur dans un jeu »en participant à des mécanismes où les incitations proviennent d’un protocole avec des apports humains ; L’IA “comme interface de jeu”, aider les utilisateurs à comprendre le monde des crypto-monnaies et garantir que leur comportement correspond à leurs intentions, en évitant les pièges ou les escroqueries ; L’IA « comme règle du jeu », avec les blockchains et mécanismes similaires utilisant des « juges » basés sur l’IA ; et la L’IA “comme objectif du jeu”, concevoir des blockchains et des mécanismes pour que l’IA reste utilisable à d’autres fins, en utilisant des crypto-monnaies pour encourager la formation et prévenir une utilisation abusive de l’IA.