2026年10月、シンガポールで開催されたカンファレンスOKX NOWで、Ethereumの共同創設者ヴィタリック・ブテリンは次のように述べた。脆弱なシステムはいずれ、人工知能によって暴かれる。GPT-7、Claude 7、DeepSeek 7がそれを見つけ出す——すでに存在する攻撃や侵入の事例が示すとおりに。
彼によれば、AIは攻撃者と防御者の双方を同時に強化する。AIはEthereumがプロトコル内のバグを見つけ、脆弱性を再現し、形式的検証を通じて複雑な暗号技術を実装するのを助ける。かつては任意だったもの——監査やテスト——が、今や必須の要件へと変わりつつある。
暗号資産の保有者にとって、これは信頼の論理そのものの転換を意味する。以前はプロジェクトの評判や場当たり的な検査に頼ることができたが、今や脆弱性は自動的かつ迅速に発見されるようになる。数学的に証明された安全性を持たないプロジェクトは、発見からわずか数日で投資家の資金を失うリスクを負う。
ここに隠されたインセンティブは明らかだ。形式的検証に投資しない開発者は今日を節約するが、明日には評判と資本流出という形で支払うことになる。一方、厳格な基準を導入する者たちは、開発の速さよりも貯蓄の保全を重視するユーザーの目に、競争上の優位を得る。
銀行の金庫を想像してほしい。以前は頑丈な錠前と警報装置で十分だったが、今や構造上のどんな微小な亀裂も知的スキャナーによって発見されるだろう。ブロックチェーンの世界では、そのスキャナーがAIであり、形式的検証はもはや贅沢品ではなく、土台なのだ。
こうして、必須のセキュリティへの移行は技術的な側面だけでなく、デジタル資産を保有する心理をも変える。投資家は潜在的な収益性よりも、証明可能な堅牢性を評価し始めるのだ。
