Zcash創設者、ZECの供給過剰懸念を否定

Zcashの共同創設者であるZooko Wilcox氏は、未公開の $ ZEC インフレについて、同氏は現在の供給量が正確に16,848,458 ZECであり、確認を希望する人であれば誰でも完全に検証可能であると述べた。さらに、独立した確認には数ヶ月や数年待つ必要はなく、ローカルコンピュータで行うことができると付け加えた。

背景：果樹園の脆弱性が信頼を揺るがした

これらの発言は、Zcashにとって激動の時期が続いた後になされたものだ。 この脆弱性は、2026年5月29日に、Shielded Labs社に委託されたセキュリティ研究者のテイラー・ホーンビー氏が、Anthropic社のOpus 4.8モデルを用いたAI支援型監査フレームワークを使用して発見した。 問題は、Orchardトランザクションで使用されるHalo 2証明システムの楕円曲線コンポーネントにあり、理論的にはプライベートプール内で偽札を検知不能な形で作成することが可能だった。Orchardトランザクションは金額と参加者を秘匿するため、暗号技術だけでは、修正前にこの脆弱性が悪用されたかどうかを確実に確認することはできなかった。

Zcash財団によると、不正利用や無許可の価値創造の証拠はないとのことです。 市場報道によると、ZECは日中約37％下落した後、損失の大部分を取り戻した。

アイアンウッド：検証可能な供給体制の構築

根本的な懸念は、脆弱性が修正されたかどうかではなく、ネットワーク側がその欠陥が存在していた4年間、一度も悪用されなかったことを証明できなかったことであり、それが供給側の信頼性に疑念を抱かせるものだった。

ZcashはIronwood（NU6.3）アップグレードを有効化し、約3.66万ZECを保有していたOrchardシールドプールを閉鎖するとともに、ゼロコインから始まる新しいプライベートプールを開設しました。 Ironwoodの主要な供給安全対策は、Orchardと新しいプール間のターンゲートです。有効化後、Orchardは新規出力と内部取引の受け入れを停止しました。資金の流出は可能ですが、会計規則により、Orchardに正当に流入した金額を超えるZECがOrchardから流出することは防止されます。

2,700以上の定理からなる、機械による検証済みの数学的証明により、Ironwoodは設計上の前提の下では検出不可能な偽造ZECを作成することはできないことが確認された。 プロジェクト・タキオンは、手動レビューに加えて、機械による検証済みの証明を生成するために、新しいアイアンウッド回路に対して形式検証を実施している。 大規模に実現すれば、展開された遮蔽型プールに関するこの種の正式な実証としては初めてのものとなるだろう。

ウィルコックス氏の最新の発言は、同じメッセージを改めて強調している。すなわち、現在のZECの供給量は把握可能であり、監査可能であり、確認に特別な労力や時間を必要としないということだ。

ソース：
CoinDesk: Zcash Ironwoodが稼働開始
Cryptonomist: Zcash Ironwoodアップグレードにより、検証済みシールドプールでネットワークが保護される
クラウドファンディング情報：ZcashがOrchardのセキュリティ脆弱性を受けてIronwoodアップグレードを実施