Zcash(ZEC)、Orchardの欠陥に緊急パッチ完成 — AI監査が発見

緊急パッチがZEC偽造の窓口を閉鎖

プライバシー重視の暗号資産Zcash(ZEC)を巡り、開発チームが6月2日、Orchard回路に潜む重大な欠陥の緊急パッチを完了した。Zcashプライバシープロトコルにとって、放置されれば検知されないまま無限の偽造ZEC発行を許しかねないという理論上の供給リスクとしては、記録された中でも最も深刻な部類に入る問題だ。発見を公表したのはSeedLabsで、5月29日に明らかにした。注目すべきは、この欠陥が従来型の人手による監査ではなく、AI支援型のセキュリティ監査の中で表面化した点だ。監査ではAnthropicのClaude Opus 4.8モデルと、独自に構築された監査エージェントを組み合わせた。欠陥は「サウンドネス(健全性)の破綻」に分類されている。ゼロナレッジ証明内部の検証条件が十分に制約されておらず、攻撃者が有効な証明に見せかけたデータを構築できれば、ネットワークの検証ルールに引っかからずに偽造ZECを生成できてしまうという構造だ。SeedLabsの研究者は理論の段階にとどまらなかった。ローカルのテスト環境で実際に動く攻撃コードを書き、偽造ZECが現実に生成可能であることを確認している。これにより、今回の発見は紙上の脆弱性ではなく、実証済みの攻撃経路となった。Zcash開発チームはこの問題を緊急案件として扱い、開示資料は6月2日までに是正作業が完了したと述べている。OrchardはZcashのプライベート取引が存置されるシールドプールであり、証明の欠陥がこの領域に生じたことは、通貨の発行保証の核心を突くものといえる。プライバシー資産にとって、発行の完全性は最重要の性質であり、今回の欠陥はまさにそこを直撃した。ただし、パッチが解決しない問いが一つ残る。メインネットでの悪用だ。偽造生成経路が確認されたのはローカルのテスト環境に限られ、公開記録の中にメインネットで欠陥が悪用されたことを示すものは一切ない。「脆弱性は発見された、攻撃はローカルで実証された、メインネット悪用は未確認」――この三点セットが、本件のあらゆる数字を読み解く際の枠組みとなる。

Orchardの健全性欠陥はどう機能したか

問題のメカニズムは狭い範囲の話だが、本質的だ。ゼロナレッジ証明システムにおけるサウンドネスの破綻とは、証明を検証するチェックが甘すぎることを意味する。本来は偽であるはずの命題が、証明済みに見えるように偽装できてしまう。ZcashのOrchard回路では、この緩みが発行リスクに直結した。プールが有効と認めたノートは、循環供給量の会計にそのまま流入し、ネットワーク上のすべてのノードがそれを再検証するからだ。無限の偽造ZECは、単なる市場の不具合ではなく、Layer 1プロトコルが存在意義として守るべき発行保証を静かに蝕むものである。構造的な防衛策が二つあった点は見逃せない。第一に、Orchardプールは発行上限の下で運用されている。第二に、Ironwoodプールの導入は、仮にゼロナレッジ証明の誤りが発生してもシールドゾーンから脱出できる資金総額を限定する設計になっており、供給検証はまさにこの種の破綻を想定して強化済みだった。開示資料自身の解釈によれば、AIが暗号理論を破ったわけではない。公開コードが長年抱え、人間の研究者が捉え損ねてきた論理エラーをAIが急速に特定し、それが攻撃可能であることを検証した、というのが実態だ。つまり本件は「暗号が破られた」事例ではなく、「長年見逃された論理エラーが迅速に発見・検証された」事例である。ここに本件の本当の意義がある。公開コードと取引自動化システムは、この種の自動化された攻撃分析の正当な標的になりつつある。執筆時点でスポットのZECは直近24時間で8.0%下落しており、オンチェーン記録の上でこの値動きを今回の開示に結び付ける材料は確認されていない。

パッチが変えたもの、変わらないもの

COINOTAGの評価はこうだ。6月2日のパッチは技術的な事実関係を更新したが、証拠台帳は意図的に薄いまま据え置かれている。攻撃者のトランザクションハッシュは存在せず、オンチェーンで検証すべき流出額もない。オンチェーンデータにはメインネットでの確定した悪用が示されていないからだ。事後検証の役割を果たしているのはSeedLabsの開示そのものであり、根本原因をOrchard回路の非制約の検証条件、是正策を完了済みの緊急パッチとして特定している。未解決の点も明らかだ。メインネットでの偽造試行に関する独立したタイムラインは一切公表されていない。こうしたクリーンな記録を背景に、機関側の関心は積み上がり続けてきた。GrayscaleによるZCSHの3対1分割やGarret Jin氏の3億2,000万ドル規模のZEC保有といった動きは、市場が本件を封じ込め済みと受け止めていたことを示す枠組みだ。エクスポージャーを検討する読者には、Zcash購入のステップバイステップガイドも用意している。