Le co-fondateur d’Ethereum, Vitalik Buterin, s’est intéressé à l’utilisation de l’IA pour examiner formellement le code et détecter les erreurs.
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.
– vitalik.eth (@VitalikButerin) 19 février 2024
« Le plus grand risque technique pour Ethereum à l’heure actuelle réside probablement dans les bogues de code, et tout ce qui pourrait faire une différence significative serait incroyable », a-t-il écrit.
Cependant, OpenZeppelin a déjà reçu des résultats mitigés lors d’expériences utilisant le GPT-4 d’OpenAI pour tester la sécurité des contrats intelligents dans Solidity, le langage de programmation natif d’Ethereum.
À ce moment-là la responsable de la division d’apprentissage automatique de l’entreprise, Mariko Wakabayashi, a écrit dans un article pour Cointelegraph en juillet 2023 que le chatbot a identifié des vulnérabilités dans seulement 20 des 28 tâches assignées. Selon elle, dans certains cas, les résultats étaient « carrément mauvais ». Parfois, le réseau neuronal avait besoin de questions suggestives, et une fois, il inventait simplement un bug qui n’existait pas.
Wakabayashi a également rappelé que les spécialistes de Coinbase avaient obtenu à peu près les mêmes résultats après avoir expérimenté la vérification de la sécurité des jetons à l’aide de ChatGPT.
« L’IA en elle-même ne remplacera pas les humains. Cependant, les auditeurs qui apprennent à utiliser ces outils seront bien plus efficaces que ceux qui ferment les yeux sur les nouvelles technologies », a-t-elle conclu.
Dans un commentaire pour la publication, le directeur de la sécurité de CertiK, Kang Lee, a déclaré que l’utilisation de solutions telles que ChatGPT dans la création de code crée souvent plus de problèmes de vulnérabilités qu’elle n’en résout. En général, il recommande d’utiliser les outils d’IA uniquement pour aider les programmeurs expérimentés.
«Je pense que ChatGPT est un outil très utile pour les personnes chargées de l’analyse de code et de l’ingénierie inverse. C’est certainement un bon assistant et cela améliorera considérablement notre efficacité », a souligné Li.
Rappelons qu’en janvier, Buterin a passé en revue les perspectives d’interaction entre les technologies de l’IA et les crypto-monnaies, soulignant quatre opportunités de synergie prometteuses.
Vous avez trouvé une erreur dans le texte ? Sélectionnez-le et appuyez sur CTRL+ENTRÉE
Newsletters ForkLog : restez à l’écoute de l’industrie Bitcoin !
Voir l’article original en russe
