Le cofondateur d’Ethereum, Vitalik Buterin, a partagé son enthousiasme pour l’utilisation de l’intelligence artificielle (IA) afin d’identifier les bugs dans le code d’Ethereum. Selon Buterin, les bugs enfouis dans le code d’Ethereum représentent le plus grand risque technique pour le réseau. Il a donc suggéré que l’audit assisté par l’IA pourrait être crucial pour identifier et corriger les codes défectueux dans le réseau Ethereum.
Buterin a partagé son point de vue sur Twitter, en déclarant : “Une application de l’IA qui m’enthousiasme est la vérification formelle assistée par l’IA du code et la recherche de bugs”. Il a également souligné que les bugs dans le code sont actuellement le plus grand risque technique pour Ethereum, et que tout ce qui pourrait changer significativement la donne serait incroyable.
Cependant, certains experts ne sont pas convaincus que l’IA soit un outil fiable pour détecter les bugs dans le code d’Ethereum. En effet, lors d’expériences menées en 2023, OpenZeppelin a utilisé GPT-4 d’OpenAI pour identifier les problèmes de sécurité dans les contrats intelligents Solidity, le langage natif du code Ethereum. Bien que GPT-4 ait réussi à identifier des vulnérabilités dans 20 des 28 défis, il a également inventé des vulnérabilités qui n’existaient pas.
Malgré cela, l’utilisation de l’IA pour identifier les bugs dans le code d’Ethereum est une idée prometteuse qui pourrait aider à renforcer la sécurité du réseau. Les mises à jour du réseau Ethereum sont cruciales pour la feuille de route à long terme de la blockchain, et l’audit assisté par l’IA pourrait aider à identifier les bugs dans le code plus rapidement et plus efficacement.
