AI×スマートコントラクト監査の可能性 | KEKKAI 張雨薇 - Ruby　監修：杜瑪 -To Ma

2024年2月19日、イーサリアム創設者のヴィタリック・ブテリン氏がXで次のように述べました。

「私がワクワクしているAIのアプリケーションの1つは、AIを利用したコードの正式な検証とバグ発見です。現在、イーサリアムにおける最大の技術的リスクはおそらくコードのバグであり、その分野でゲームを大きく変える可能性のあるものは何でもすばらしいでしょう」

こうした発言からも、AIがWeb3.0業界全体で注目を集めていることは明らかです。特にスマートコントラクト監査の分野では、AIを活用して監査効率を向上させることが期待されています。

KEKKAIでも現在、この分野で積極的に研究を進めています。AIはコードの読み取りを瞬時に行え、人間と比較して、経験の蓄積や状況の網羅性、そしてその学習能力においても顕著な優位性を持っています。こうした特性により、AIはユーザーのコントラクトの脆弱性による損失を効果的に減少させるのに役立つと期待されています。

データによると、2023年には暗号資産ユーザーがハッキングや詐欺によって約20億ドルの損失を被りました。特にイーサリアムは、その広範なエコシステムと高い知名度を持つプロジェクトのために、最も大きな被害を受けています。この損失の大部分は、プロトコルの脆弱性や不適切なコードに起因しています。

AI技術が進化を続ける今日。データ分析や洞察の面でも優れた応用能力を発揮するAIは、はたしてスマートコントラクトの安全性を確保するという重要な任務において、人間の監査員を超えることができるのでしょうか？