Vitalik Buterin suggère l'idée d'audits de code basés sur l'IA et les développeurs du projet Ethereum le soutiennent

L’année dernière, les détenteurs de crypto-monnaies ont subi une perte estimée à 2 milliards de dollars en raison d’escroqueries et de piratages. De tous les réseaux blockchain, Ethereum a subi les pertes les plus importantes en raison de ses projets de grande envergure et de ses vastes écosystèmes. Cependant, avec l’aide de l’IA, ce problème pourrait devenir un problème du passé.

Utiliser des audits de code basés sur l'IA

Vitalik Buterin, co-fondateur de Ethereum, a eu une idée intéressante au milieu d'une augmentation Jetons liés à l'IA. Dans un article sur X, il a déclaré que les audits de code pourraient présenter une application possible pour les projets d'IA utilisant la nouvelle technologie.

Il a ajouté que Vérification formelle du code assistée par l'IA ainsi que localisation de bogues est une application de l’IA qui le passionne. En effet, l’un des plus gros défauts techniques d’Ethereum réside en fait dans les bogues du code. Ainsi, tout ce qui peut résoudre ce problème changera radicalement la donne.

Au cours des dernières semaines, le Le secteur de l’IA est une fois de plus apparu comme un récit d’investissement. Cela résulte des résultats étonnants du fabricant de puces sur le marché. Nvidia et les dernières sorties de OpenAI. Quelques semaines seulement après le début du battage médiatique, nous constatons que les prix des jetons IA doublent.

L'idée de Buterin d'audits de code basés sur l'IA peut considérablement augmenter la sécurité dans l'industrie de la cryptographie. Un secteur connu pour ses arnaques et ses exploits.

L’IA peut-elle aider aux audits de code ?

Un développeur a expliqué que projets blockchain fonctionnent déjà avec des audits de contrats intelligents avec l’aide d’une variété d’outils. Cependant, l’un des principaux obstacles à ces programmes est qu’ils ne peuvent pas s’adapter aux nouvelles informations comme le peut l’IA.

A Développeur TokenFi ont déclaré qu’ils pouvaient entraîner l’IA à reconnaître et à s’adapter à de nouveaux contextes et informations. Cela permet de reconnaître beaucoup plus efficacement les vulnérabilités que les règles d'analyse statique ne couvriraient pas. Il convient de mentionner que TokenFi développe sa propre plateforme d'audit de code assistée par l'IA.

Les personnes qui travaillent sur ce projet ont ajouté qu'elles pouvaient améliorer Outils IA avec de nouveaux modèles et ensembles de données. Pour eux, cette adaptation est cruciale dans le domaine en constante évolution de la sécurité des contrats intelligents. Un jour sans aucune vulnérabilité peut émerger dans ce secteur et de nouvelles façons d'exploiter celles existantes.

Une autre chose expliquée par le développeur concerne la capacité de l'IA à apprendre et à s'améliorer de temps en temps. Tout cela combiné à la capacité de reconnaissance de formes et d’analyse approfondie.

Un autre développeur pense pouvoir prédire les vulnérabilités sur la base de prévisions et de données historiques à l’aide de systèmes d’IA. Combinant le Examen d'IA avec une inspection humaine, on peut développer un mécanisme de contrôle du système extrêmement puissant.

RJ Ke, développeur chez Taiko Ethereum couche 2, a expliqué comment ils peuvent accélérer le processus d'enseignement de son système d'IA. Ils peuvent lui montrer ce qu’il faut rechercher en fonction de ses expériences passées, ce qui lui permet de détecter les problèmes potentiels à temps.

Il croit que AI peut également aider avec des tâches techniques élevées. L’une d’elles consiste à certifier que le code agit comme il se doit dans diverses conditions.

Ke a noté que cela combinaison d'IA ainsi que inspection humaine fait plus que simplement renforcer son code. Cela leur donne également l’espoir de progrès encore plus excitants dans l’écosystème d’Ethereum en 2024.