プライバシー保護に特化した暗号資産であるZcash（ZEC）において、トークンの不正鋳造につながる恐れのある重大な脆弱性が発見・修正されたことが明らかになりました。Zcashのプライバシー機能の影響で、過去にこのバグが悪用されたかどうかを数学的に証明できないことから、市場では一時的に激しい売り浴びせが発生しました。これに対し、暗号資産取引所Geminiの共同創設者であるキャメロン・ウィンクルボス氏とタイラー・ウィンクルボス氏の兄弟は、Zcash開発チームのセキュリティ対応力を評価するとともに、次回のアップグレードで計画されている「形式検証（フォーマル検証）」の導入を強く支持する姿勢を示しています。
Orchardプールにおける脆弱性の発見と市場への影響
報道によると、Zcashの匿名トランザクションを処理する「Orchard」と呼ばれるシールドプール（トランザクションを匿名化する仕組み）において、偽のZECトークンを制限なく鋳造できる可能性のある重大な脆弱性が確認されました。この脆弱性は5月29日にセキュリティ研究者によって発見され、6月2日までに修正パッチが適用されたとされています。
しかし、Orchardプールの高いプライバシー特性が原因で、この脆弱性が修正前に実際に悪用されたかどうかを暗号学的に証明することができません。この不確実性が投資家の不安心理を煽り、ZECの価格は発表後に一時50%近く急落し、約550ドルから250ドル付近まで落ち込む事態となりました。
この事態を受けて、著名投資家でBitMEXの共同創設者であるアーサー・ヘイズ氏は、供給量の整合性を完全に証明できないことを理由に、保有していたすべてのZECを売却したことを公表しました。一方で、市場の過剰反応を指摘し、バグが攻撃者に悪用される前に発見・修正された開発プロセスの健全性を評価する声も上がっています。
ウィンクルボス兄弟によるZcashへの支持と形式検証の導入
Geminiの共同創設者であるキャメロン・ウィンクルボス氏とタイラー・ウィンクルボス氏の兄弟は、今回の騒動に対してZcashを擁護する立場をとっています。キャメロン氏は、あらゆるレイヤー1ネットワークにおいてソフトウェアのバグは避けられないものであり、重要なのはチームが悪意ある攻撃者に先んじてバグを発見し、修正できる能力があるかどうかであると主張しました。
また、ウィンクルボス兄弟は、AI時代におけるソフトウェアセキュリティの根本的な解決策として「形式検証（フォーマル検証）」の重要性を強調しています。形式検証とは、数学的な証明を用いて、ソフトウェアのプログラムや暗号回路が設計者の意図した仕様通りに正しく動作するかを厳密に検証する手法です。
ウィンクルボス兄弟は、Zcashが次回のネットワークアップグレードにおいて形式検証を導入する計画を支持しており、これにより将来的にシールドプール内での不正鋳造バグの発生を数学的に不可能にできると述べています。
信頼回復に向けた今後の展開
Zcashのサポート組織であるShielded Labsは、今回の脆弱性発覚に伴う市場の懸念に対応するため、新たなネットワークアップグレードを提案しています。この提案には、新しいシールドプールの構築と、Orchardプールから移行するトークンの総量を監視する「ターンスタイル（改札口）会計」と呼ばれる仕組みが含まれています。この仕組みにより、移行プロセスを通じて過去に不正な鋳造が行われていなかったかを全ユーザーが検証し、新規プールにおける供給量の整合性を証明することが可能になるとされています。
また、ウィンクルボス兄弟が率いる投資会社が支援するCypherpunk Technologiesなど、Zcashを大量に保有する主要な組織は、今回の騒動後もZcashの長期的な保有方針を変更しない意向を示しています。
ポイント
- ZcashのOrchardプールで偽トークンを無限に鋳造できる重大な脆弱性が発見・修正されましたが、プライバシー機能により過去の悪用の有無は証明できないとされています。
- この発表を受けて市場は一時パニックとなり、ZEC価格が一時50%近く急落したほか、アーサー・ヘイズ氏が保有ポジションをすべて売却しました。
- ウィンクルボス兄弟はZcashのセキュリティ体制を信頼し、バグが攻撃者より前に修正されたことを評価する姿勢を示しています。
- ウィンクルボス兄弟は、今後のセキュリティ強化の鍵として「形式検証（フォーマル検証）」の導入を強く支持しています。
- 開発側は供給量の整合性を証明するため、新しいシールドプールやターンスタイル会計メカニズムを含むアップグレード案を提示しており、今後のガバナンス動向が注目されます。