AIが脆弱性発見のコストを急減させ、暗号業界は二派に分かれて対応

暗号業界は、迅速な修正と極小の不変性という二つの安全な道に分かれています。

執筆：@Bankless

翻訳：AididiaoJP、Foresight News

AIの脆弱性発見能力は、暗号業界が安全戦略を再編成せざるを得ないほど強力になっています。

まずはビットコインネットワークを見てみましょう。10月22日、Bitcoin Coreは「LLM（大規模言語モデル）に簡単なプロンプトを与えるだけで発見できる」脆弱性に対する安全戦略の変更を合併しました。以前は、この種の問題は最長で1年間秘密にされることがありましたが、今では修正と公開を迅速に進める必要があります。変更の著者であるAntoine Poinsotは率直に言っています：LLMは「特定のタイプの問題を発見するためのハードルを大幅に下げている」と。

これは孤立した事例ではありません。AIモデルを利用して発見された2つのPHPの重要な脆弱性により、約130万台のインターネットに露出したホストが危険にさらされています。Initiaはネットワーク全体を一時停止しました：攻撃者は共同創設者Zonが「Day 0バグ」と呼ぶものを利用して、約270万ドルを鋳造し、クロスチェーンで転送しました。現時点では、この攻撃にAIが使用されたかどうかは確認できませんが、ある程度関与していたと考えるのは無謀ではないでしょう。

データも同じ方向に進んでいます。DefiLlamaのハッカー事件データベースによると、2026年までに112件の攻撃が発生し、その金額は100万ドルを超えています；2025年全体では70件でした。Anthropicのスマートコントラクト研究によると、2025年の最前線モデルはシミュレーション環境での「脆弱性利用収入」が約1.3ヶ月ごとに倍増しています。

攻撃者は疲れを知らない、進化し続ける脆弱性ハンターを手に入れました。暗号業界は非常に異なる二つの答えを見出しています。

敏捷派：いつでも変更、いつでも停止

第一の答えは、柔軟性を保つことです：迅速にパッチを当てることも、迅速にブレーキをかけることもできます。

Starknetは現在最も明確な例です。木曜日、コミュニティは独立した後量子L1への移行を研究することを決定しました。その理由の一つは、自分たちのペースで暗号学をアップグレードしたいからです。StarkWareは「私たちはイーサリアムが十分に速く動くことに依存できません」と述べています。CEOのEli Ben-Sassonは、量子コンピュータの到来を「2年」と見積もり、AIがこのタイムラインを加速させていると考えています。

イーサリアムの研究者たちも警戒しています。今月初め、Justin Drakeは業界に「バンカー・モード」の準備を促しました。これは資金を新しい、より安全なアドレスに移すことを意味します。背景には、AI駆動の数学的突破があります。

しかし、柔軟性には代償があります。各管理者キー、各アップグレードパスは、攻撃面であり、依存点でもあります。ルールを変更すること自体が新たなバグを生む可能性もあります。したがって、今週イーサリアムはGlamsterdamをHoodiテストネットから撤回しました。研究によると、そのGas変更がすでにデプロイされたコントラクトの動作を変更する可能性があるためです。

極小派：攻撃面を最小限に

第二の答えは、ターゲットを縮小することです。

イーサリアムの開発者Ross（z0r0z）は木曜日に非常に直接的に述べました：重要なデジタルインフラのコードをパブリックチェーンに移し、誰もが何が起こったのかを検証できるようにする；次にサーバーレスに進む；さらにはアプリケーションもブロックチェーンコードに書き込んで、毎回同じように実行されるようにする。このアイデアは突然奇妙ではなくなりました。

これは確かに少し野心的です。しかし、本質的にはRossの「手放しテスト」に他なりません：もし建設者が明日消えたら、システムは安全に動作し続けることができるのか？コードが小さく、確実で、検証が容易であれば、攻撃される可能性のある場所は少なくなり、信頼すべき対象も少なくなります。Rossは返信の中で「開発者はよりシンプルなコードにエネルギーを注ぐべきだ」と付け加えました。

同様の直感がイーサリアムの暗号学にも現れています。Vitalikは、イーサリアムのロードマップが「ハッシュのみ」に転換したと述べています。その理由の一部は、ハッシュがAIによる数学的利用を加速するための構造を持たないように設計されているからです。

反対側も明らかです。公開され、不変のコードは、AI攻撃者も読むことができます；一度オンラインになれば、パッチを当てることはできません。したがって、極小主義は、コードが十分に小さく、徹底的に検査できる場合に最も適しています。

AI証明により、「修正不可能」がそれほど恐ろしいものではなくなる

次は形式的検証の出番です。形式的検証とは、数学を用いてコードが特定のルールに違反しないことを証明することです。

歴史的に、形式的検証は非常に高価でした。seL4オペレーティングシステムカーネルの構築には2人年しかかかりませんでしたが、検証には20人年かかりました。しかし、AnthropicとTheoremが木曜日に発表した新しい研究は、この道が安くなっていることを示しています：Claudeを使用して123のオープンソースライブラリの239のエントリポイントを検証し、特定の仮定の下で、入力が何であれ、最大64MBまで、これらのエントリポイントはクラッシュしないことが確認されました。全プロセスは数週間しかかかりませんでした。

コストもあります。証明の規模はコードの膨張に伴って増加します。上記の作業では、典型的な証明は約60万行で、対応するプログラムは約1.8万の機械命令であり、数億のAIトークンを消費する可能性があります。また、証明は指定された属性のみをカバーし、すべてのバグを排除することを意味するわけではありません。

しかし、誰が最も利益を得るかに注意してください：小さく、単一用途のコードです。これこそが極小派がブロックチェーンに載せようとしているコードです。もしAIが証明コストを引き下げ続けるなら、「修正不可能」はそれほど重要ではなくなります。なぜなら、コードはもともと修正が必要なくなっているからです。

もちろん、L1やロールアップのようなシステムは大規模で、進化し続けているため、敏捷性を必要とします。ただし、AIの新しいパラダイムの下で、「手放しテスト」は安全戦略の核心的な尺度にますます似てきています。これらのトレンドは引き続き注目に値します。

本コンテンツは、一般的な情報提供のみを目的としたものであり、金融、投資、法律、または税務に関する助言を構成するものではありません。ここに記載されているイベント、報酬、オンラインキャンペーン、またはそれらに関連する情報は、暗号資産の購入、売却、取引、その他いかなる取引の推奨、勧誘、または招待とみなされるべきではありません。暗号資産は価格変動が非常に大きく、損失が発生する可能性があります。WEEXのサービス、プロダクト、および関連イベントの提供状況は、地域によって異なる場合があります。お客様は、ご自身の参加が適用される現地の法令を遵守していることを自ら確認する責任を負うものとします。