ヴィタリック・ブテリン氏、AIによる形式検証がイーサリアム・エコシステム全体における数百万ドル規模の暗号資産ハッキングを防止するのに役立つ可能性があると述べる
ヴィタリック・ブテリン氏は、AIを活用して数学的証明による検証を行い、ハッカーに悪用される前にソフトウェアのバグを検出することで、イーサリアムや暗号資産システムの安全性を高めることができると述べた。この発言は、Echo Protocol、THORChain、Verus-Ethereum Bridgeへの攻撃を含め、暗号資産業界で数日間にわたって相次いで大規模なハッキング被害が発生したことを受けてなされたものである。
Anais