編集 | Grok など
Zcashは暗号通貨領域で知られるプライバシーコインプロジェクトであり、強力なシールド取引（shielded transactions）機能で知られています。これらの取引はゼロ知識証明（Zero-Knowledge Proof、略称ZKP）技術を利用し、ユーザーが具体的な金額、アドレスなどの詳細を開示することなく送金を行うことができ、プライバシーを保護します。
2026年4月から5月にかけて、ZECの価格は大幅に上昇し、一時は最高150%の急騰を記録し、市場価値は100億ドルを超えました。世界的に規制が厳しくなり、オンチェーンの透明性が向上する中で、ユーザーは「没収可能/監視可能」な資産に対する懸念を高めています。Zcashのシールドプール（特にOrchardプール）は、選択的なプライバシー保護を提供し、「検閲抵抗/没収抵抗」（censorship and seizure-resistant）な資産を求める投資家を魅了しています。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ネットワークアップグレードを通じて導入した最新のシールドプールです。従来のSproutやSaplingプールとは異なり、OrchardはHalo 2証明システムに基づいており、信頼できるセットアップ（trusted setup）なしで使用できる先進的なゼロ知識証明技術で、プライバシーの効率とスケーラビリティを大幅に向上させます。
脆弱性が開示された時点で、Orchardプールは450万ZEC以上を保有し、総供給の重要な割合を占めており、数十億ドルの価値を持っていました。これはZcashのプライバシーアーキテクチャの中心的な存在ですが、複雑なゼロ知識回路は長期的な監査の課題ももたらしています。
脆弱性の本質：健全性バグの詳細
今回の脆弱性は、Orchard Action回路（シールド取引アクションを処理するゼロ知識証明回路）の健全性（soundness）に関する脆弱性です。具体的には、回路の制約不足（under-constrained）が問題で、無効でありながらネットワークに受け入れられる証明を生成することを可能にしました。
簡単に説明すると、ゼロ知識証明システムにおいて、「健全性（soundness）」は、合法な取引のみが検証を通過できることを保証します。健全性に問題が生じれば、攻撃者は理論的に証明を偽造し、Orchardプール内での二重支払い（double-spending）や偽のZECの鋳造を実行できる可能性があります。この脆弱性は、2022年のOrchardの立ち上げ以来、近く4年間潜伏していました。
注目すべきは、Zcashのターニングストーンメカニズム（プール間の会計チェックシステム）により、Orchardプール内に異常が生じても、総供給量が無限に膨張することはないということです。ターニングストーンはプールから流れ出る価値を、入った価値を超えて制限します。しかし、プライバシーの特性により、外部からはプール内が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 00:05、主ネットブロック高3,364,600）：NU6.2ハードフォークがアクティブ化され、Zebra 5.0.0がサポートしています。このアップグレードは修正されたOrchard Action回路を導入し、新しい検証キー（per-circuit verifying key）を追加し、Orchard取引を再度有効化しました。
開示から完全な回復までわずか5日程度で、これはZcashの歴史においてセキュリティをドライバーとしたプロトコルアップグレードが2回目となります。ZODLと財団は確認しました：資金の損失はなく、未承認の価値創出もなく、ターニングストーンメカニズムは異常を検出しておらず、ユーザーのプライバシーと資金の安全が保たれています。
市場反応とコミュニティへの影響
脆弱性の情報が公開された後、ZECの価格は激しく変動し、高値から一時40%〜50%暴落し、市場価値が数十億ドル蒸発しました。一部の著名人（アーサー・ヘイズなど）は全ポジションを手放し、デリバティブのショートが急増しました。しかし、修正が完了した後、価格は若干の回復を見せました。
コミュニティの討論の焦点には、プライバシープールの停止が分散型の物語に与える影響、AIのセキュリティ監査における役割、二重ノードの実装（zcashd + Zebra）の保守の課題、そして間もなく行われるNU7アップグレード（より速いブロック、シールド資産のサポートなど）が含まれています。Shielded Labsは、新しいプールとターニングストーンを導入して供給の検証可能性を高めるさらなるアップグレードを提案しました。
この事件は、プライバシーコインが極限のプライバシーと監査可能性のバランスの難題を浮き彫りにしています。Zcashチームの迅速で専門的な対応は評価されるべきです — — 効率的に多くの関係者を調整し、短時間で複雑なアップグレードを完了させたことは、cryptoの歴史において高い効率のケースに該当します。
しかし、プライバシー設計の二面性は業界に警鐘を鳴らしています。複雑なzkシステムは、形式的な検証、多様な監査、AI支援ツールの強化を継続する必要があります。Zcashはプライバシー分野のパイオニアとして、今後のノード移行（Zebraへの移行）、ガバナンスの最適化、機関の機会（潜在的なETFなど）が、長期的な信頼の再構築を決定します。
AI支援のセキュリティ監査の象徴的なケース
ZcashのOrchardプールの健全性脆弱性事件において、注目すべき詳細はセキュリティ研究者Taylor HornbyがAnthropic最新のClaude Opus 4.8 AIモデルを利用して、この潜伏していた重大な欠陥を発見し、検証したことです。このプロセスは、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テスト環境では、このエクスプロイトが無限で検出不可能な偽造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が補助ツールからコアなセキュリティの力へと変わることを示しています。これにより、応答が加速され（開示から修正まで数日）、crypto業界における「AIホワイトハット」の新しいパラダイムが樹立されました。将来的には、Anthropic Mythosシリーズのようなさらに先進的なモデルが登場することで、ブロックチェーンプロトコルの監査効率が大幅に向上することが期待されます。