プライバシー保護に特化した暗号資産Zcash（ジーキャッシュ、ZEC）のネイティブトークンが、12パーセント以上急騰しました。これは、Zcashの開発チームが、次期アップグレードで導入される新たなプライバシー保護プール（シールドプール）「Ironwood（アイアンウッド）」において、検出不可能な偽造インフレ脆弱性が存在しないことを数学的に証明する作業の完了が近づいていると明らかにしたためです。この検証作業はProject Tachyon（プロジェクト・タキオン）などによって進められており、過去のバグ発覚による市場の懸念を払拭する動きとして注目されています。
背景：旧プールでの脆弱性発覚と信頼性の課題
今回の開発は、2026年5月にZcashの主要なシールドプールである「Orchard（オーチャード）」において、重大な偽造脆弱性が発見されたことに端を発しています。この脆弱性は、悪意のある攻撃者が検出不可能な偽のZECを無制限に鋳造できる可能性を示すものだったとされています。
開発チームは速やかに緊急パッチを適用してこの穴を塞ぎましたが、シールドプールは取引データを暗号化してプライバシーを保護する性質を持つため、過去に実際にこの脆弱性が悪用されたかどうかをオンチェーンの履歴から確認することは理論上不可能だったとされています。この「検出不可能な隠れたインフレリスク」に対する懸念から市場の信頼が揺らぎ、ZECの価格は一時40パーセント以上急落したとされています。
対策：形式検証の導入とAIによるプロセスの高速化
市場の信頼を回復するため、Zcashコミュニティは新たなシールドプールであるIronwoodの導入を決定し、その安全性を数学的に保証する「形式検証（フォーマル・ベリフィケーション）」を進めています。形式検証とは、暗号プロトコルの仕様そのものを数学的に解析し、バグが存在しないことを厳密に証明する手法です。
Zcashの創設者であるZooko Wilcox（ズーコ・ウィルコックス）氏は、最新のプライバシー保護プールに検出不可能なインフレ脆弱性が存在しないことを示す数学的証明の作成が間近であると述べています。開発者らによると、Lean（リーン）と呼ばれる定理証明支援系やAI支援型のツールを活用したことで、従来であれば完了までに数年を要していた証明タスクを、わずか数週間に短縮することに成功したとされています。これにより、ソフトウェアの仕様レベルにおけるバグを包括的に排除することが可能になると見られています。
今後の計画：Ironwoodの有効化と監査可能な資金移行
新型シールドプールを導入するIronwoodアップグレードは、2026年7月後半に有効化される予定とされています。このアップグレードでは、供給量の監査を可能にする「ターンスタイル（回転ドア）会計」と呼ばれる仕組みが導入される予定です。
ユーザーは、古いシールドプールから修正された新しいプールへと「ターンスタイル」メカニズムを通じて資金を移行させるとされています。この移行プロセスにより、過去に偽造されたZECが流通していないことを実証しつつ、最終的に旧プールに残る価値を制限する計画とされています。この一連の検証および移行作業は、Project Tachyonをはじめ、Valar Group（ヴァラー・グループ）、ZODL、Zcash Foundation（ジーキャッシュ財団）、Shielded Labs（シールデッド・ラボ）、zkSecurity（ズィーケー・セキュリティ）などの複数の開発組織や貢献者が共同で進めているとされています。
ポイント
- Zcashの開発チームが、次期アップグレード「Ironwood」において検出不可能な偽造バグが存在しないことを数学的に証明する形式検証の完了に近づいているとされています。
- 2026年5月にOrchardシールドプールで発覚した重大な脆弱性による隠れたインフレへの懸念に対し、技術的な信頼性を再構築する試みとして注目されます。
- AI支援型の形式検証ツール（Leanなど）の導入により、通常は数年かかる数学的証明の作成プロセスが数週間に大幅短縮されたとされています。
- 新プールへの移行には「ターンスタイル」メカニズムが採用され、暗号化された環境下でも全体の供給量を監査できる仕組みが整えられる予定です。
- この発表を受けてZcashのネイティブトークンであるZECは12パーセント以上急騰し、一時500ドルを突破したとされています。