Zcash致命漏洞のタイムライン：価格が一時40％急落、AI監査の象徴的事例

編集 | Grok 等

Zcash は暗号通貨分野で著名なプライバシーコインプロジェクトであり、その強力なシールドトランザクション（shielded transactions）機能で知られている。これらの取引はゼロ知識証明（Zero-Knowledge Proof、略称 ZKP）技術を利用し、ユーザーが具体的な金額やアドレスなどの詳細を明かさずに送金を完了できるようにし、プライバシーを保護している。

2026年4～5月、ZEC価格は著しい上昇を見せ、一時は最高150％まで急騰し、市場価値は百億ドル規模に達した。世界的な規制強化とチェーン上の透明性向上に伴い、ユーザーの「差し押さえ/監視可能」資産に対する懸念が高まっている。Zcashのシールドプール（特に Orchard プール）は選択的なプライバシー保護を提供し、「検閲・差し押さえ耐性」のある資産を求める投資家を惹きつけている。Multicoin Capital などの機関は明確に ZEC をサイファーパンク理想の回帰と位置付け、オンチェーン金融時代においてプライバシーがコアなニーズになると強調している。このストーリーは、潜在的な富税議論などより広範な市場環境と共鳴し、資金流入を促進している。

Cypherpunk Technologies（ウィンクルボス支持）はZECを大量買いし、既に約1.7％～2％の総供給量を保有、重要な機関保有者となっている。ウィンクルボスの双子（Gemini創設者）は長期にわたりZcashを支持し、何度も寄付や自社資産の追加購入を行っている。Foundry Digitalは機関向けのZECマイニングプールを立ち上げ、Maelstrom Fund（アーサー・ヘイズ関連）も増持動向を見せている。Grayscaleは申請を提出し、Zcash Trustを米国初のプライバシーコイン現物ETF（潜在的ティッカー ZCSH）に変換する計画だ。承認されれば、機関資金の合法的な入口となり、数十億ドルの流入が見込まれる。

しかし最近、Zcashの最新プライバシープール Orchard に重大な脆弱性が発覚し、市場は激しく動揺した。チームは迅速に緊急措置を講じ、ソフトフォークにより一時的に関連取引を無効化し、その後ハードフォークで修復を完了した。全過程で実際の悪用の兆候は見られなかったが、プライバシー設計の特性により、供給の完全性検証には課題も生じている。本稿は公式発表、開発者フォーラム、信頼できるメディア報道をもとに詳細なタイムラインを整理し、重要な専門用語の解説も行う。

Orchardプールとは何か？なぜそれほど重要なのか？

Orchardは、Zcashが2022年5月にNU5ネットワークアップグレードを通じて導入した最新のシールドプール（shielded pool）である。従来のSproutやSaplingプールと異なり、OrchardはHalo 2証明システムに基づいており、これは信頼設定（trusted setup）を不要とする先進的なゼロ知識証明技術であり、プライバシー効率と拡張性を大幅に向上させている。

脆弱性が公表された時点で、Orchardプールは450万ZEC超を保有し、総供給量の重要な割合を占め、数十億ドルの価値がある。これはZcashのプライバシーアーキテクチャの中核だが、複雑なゼロ知識回路は長期的な監査の課題ももたらしている。

脆弱性の本質：Soundness Bugの詳細

今回の脆弱性は、soundness（健全性）に関わるものであり、Orchard Action回路（シールドトランザクションの動作を処理するゼロ知識証明回路）に存在する。具体的には、回路の制約条件が不十分（under-constrained）であり、無効だがネットワークに受け入れられる証明を生成できてしまう。

簡単に説明すると：ゼロ知識証明システムにおいて、「soundness」は合法的な取引のみが検証を通過することを保証する。もしsoundnessに問題があれば、攻撃者は理論上、証明を偽造し、Orchardプール内での二重支払い（double-spending）や偽ZECの鋳造を行い、検知されない可能性がある。この脆弱性は、2022年のOrchard導入以来、ほぼ4年間潜伏していた。

注意すべきは、Zcashのturnstileメカニズム（プール間の会計検査システム）により、 Orchardプール内の異常があっても、総供給量は無制限に膨らまない点だ。turnstileはプールから流出する価値を入った価値を超えないよう制限している。しかし、プライバシー特性により、外部からはプール内の資産が未利用であることを100％証明することは難しい。

脆弱性発見の過程（5月29日）

2026年5月29日：独立したセキュリティ研究者のTaylor Hornby（Electric Coin Companyの元セキュリティエンジニア、Shielded Labsに委託されたプロトコル監査担当）が定期監査中にこの脆弱性を発見した。彼はAnthropicが最新リリースしたClaude Opus 4.8 AIモデルを用いて回路の解析を補助し、ローカルのテスト環境で完全なexploit（悪用プログラム）を構築し、無限の偽ZECを生成できることを確認した。

Hornbyは当日、Zcash Open Development Lab（ZODL）とZcash Foundationに非公開で報告した。チームは直ちに緊急対応を開始し、マイナー、取引所、ノード運営者と連携した。

緊急対応第一段階：ソフトフォークによるOrchard無効化（6月1～2日）

5月31日夜から非公開で調整を開始。最初のソフトフォークの展開には調整の問題があり、チームは迅速に改良を重ねた。

2026年6月2日（UTC約2:00、メインネットブロック高3,363,426）：Zebra 4.5.3などの緊急アップデートを展開し、緊急ソフトフォークを有効化。ネットワークはノードとマイナーに対し、Orchard動作を含む取引とブロックを拒否するよう要求し、一時的にOrchard取引を無効化した（Saplingや透明取引は影響なし）。この措置は修復期間中の潜在的悪用を防ぐ目的だ。

過渡期のネットワークは一時的に不安定となり、複数の競合チェーンや孤立ブロックが発生した。Cake WalletなどのウォレットのZEC機能も一時制限されたが、全体のチェーンは停止しなかった。

緊急対応第二段階：NU6.2ハードフォークによる修復（6月3日）

2026年6月3日（EDT約0:05、メインネットブロック高3,364,600）：NU6.2ハードフォークを有効化。Zebra 5.0.0によりサポートされた。このアップグレードでは修正済みのOrchard Action回路と、新たな検証鍵（per-circuit verifying key）を導入し、Orchard取引を再び有効化した。

公開から完全復旧までわずか約5日間であり、これはZcash史上2度目の安全性を重視したプロトコルアップグレードだ。ZODLと基金会は、資金の損失や未承認の価値創出はなく、turnstileメカニズムも異常を検知していないと確認している。ユーザのプライバシーと資金の安全は確保された。

市場反応とコミュニティへの影響

脆弱性情報が公開された後、ZEC価格は激しく変動し、一時は高値から約40～50％急落、市場価値は数十億ドル蒸発した。Arthur Hayesなどの著名な人物は売却し、デリバティブの空売りも増加した。しかし修復完了後、価格はやや持ち直した。

コミュニティの議論の焦点は、プライバシープールの一時停止が分散化の観点に与える影響、AIのセキュリティ監査における役割、二重ノード（zcashd + Zebra）の維持の難しさ、そして今後のNU7アップグレード（より高速なブロックや資産のシールド対応）に向けた動きに集中した。Shielded Labsは、新プールやturnstileを活用した供給の検証性強化を提案している。

この事件は、プライバシーコインが究極のプライバシーと監査可能性のバランスを取る難しさを浮き彫りにした。Zcashチームの迅速かつ専門的な対応は高く評価され、複数の関係者を調整し、短期間で複雑なアップグレードを完了させた点は暗号史上の効率的な事例といえる。

しかし、プライバシー設計の両刃の剣的性質は、業界に対しても警鐘を鳴らす。複雑なzkシステムは、形式的検証、多方面からの監査、AI支援ツールの継続的強化が必要だ。Zcashはプライバシー分野の先駆者として、今後のノード移行（Zebraへの移行）、ガバナンスの最適化、機関投資の機会（例：潜在的ETF）により、その長期的な信頼回復を図る。

AI支援によるセキュリティ監査の象徴的事例

Zcash Orchardプールのsoundness脆弱性事件において、注目された詳細の一つは、セキュリティ研究者のTaylor HornbyがAnthropicの最新AIモデルClaude Opus 4.8を活用し、潜伏していた重大な欠陥を発見・検証した点だ。この過程は、AIが複雑な暗号学監査において持つ強力な潜在能力を示すとともに、ブロックチェーンのセキュリティ分野に新たな示唆をもたらしている。

Anthropicは2026年5月28日にClaude Opus 4.8を正式リリースした。これはOpusシリーズの最新フラッグシップモデルであり、符号化能力、エージェントタスク（agentic tasks）、長いコンテキスト推論、専門知識作業において最先端を行く。最大1Mトークンのコンテキストウィンドウをサポートし、「ダイナミックワークフロー」（Dynamic Workflows）や「努力制御」（effort controls）といった新機能も導入されている。

Hornbyは、Shielded Labsに委託された独立したセキュリティエンジニアとして、2026年4月からZcashのプロトコルの継続的な監査を行っていた。Claude Opus 4.8のリリース翌日（5月29日）、彼はこれを自作のAI監査フレームワークと組み合わせ、Orchard Action回路の重点的な監査に用いた。

モデルの高度なコード理解と複雑な推論能力を駆使し、Hornbyは回路内の制約不足（under-constrained）を特定し、完全なexploit（悪用プログラム）を作成した。ローカルのregtest環境でこのexploitは無限の偽ZECを生成でき、これらの偽通貨はプライバシープール内の正規ZECと区別できない。

この過程は、従来のセキュリティ研究手法と最新のAIツールを融合させたものである。Opus 4.8は楕円曲線の数学的検証ロジックの解析、テストケースの生成、証明生成コードの補助に役立ち、理論から実証までのサイクルを大幅に短縮した。Hornbyは責任を持って非公開でZcash Open Development Lab（ZODL）に報告し、ネットワークリスクを回避した。

この事例は、AI支援によるセキュリティ監査の象徴的なケースとみなされている。過去数年、Zcashは複数の人工監査や形式的検証を経てきたが、Halo 2を基盤としたOrchardのような複雑なゼロ知識回路には人間の網羅的監査が難しい盲点があった。Claude Opus 4.8の介入は、最先端の大規模モデルが大量のコードを処理し、微妙な制約の欠落を発見する独自の優位性を示している。

Claude Opus 4.8のZcash脆弱性発見への応用は、AIが補助ツールからコアなセキュリティ力へと変貌を遂げる象徴的な事例だ。これにより、対応の迅速化（公開から修復まで数日）だけでなく、暗号業界における「AIホワイトハット」の新たなパラダイムも築かれつつある。今後、Anthropic Mythosシリーズなどの最先端モデルの登場により、ブロックチェーンのプロトコル監査の効率は大きく向上することが期待されている。