Zcash（ジーキャッシュ）が40％下落、グレイスケール最高法務責任者がPolymarketの悪用確率に疑問呈す

グレイスケールの最高法務責任者は、Zcashのシールドユーザーによるオンチェーン活動が、Polymarketの予測市場よりも悪用リスクをより明らかにする可能性があると指摘している。

Zcashは40％下落し350ドルを下回った。グレイスケールの最高法務責任者（CLO）クレイグ・サルム氏は、オンチェーンのシールドユーザーデータの方が、悪用リスクのシグナルとしてPolymarketより優れていると述べた。

「Polymarketの契約は興味深いが、本当のシグナルはシールドユーザーがOrchardでの取引を継続しているかどうかだ」とサルム氏はXへの投稿で述べた。「もしユーザーが留まれば、それが得られる最大の信認の表明となる。」

Polymarketは6月8日、6月4日に開示されたOrchardプールの脆弱性がメインネットで悪用されたかどうかを問う市場を開設した。ZECは開示以降、時価総額で30億ドル以上を失い、トークンは600ドル超から350ドル未満へと下落した。BitMEXの共同創業者アーサー・ヘイズ氏は、自身のファンドMaelstromがZECポジションを全額売却したと述べ、「ホーリートリニティ」トレードは終わったと語った。

脆弱性が悪用されたかどうかの問題は、Zcashにとって存亡の重みを持つ。もし確認されれば、メジャーなプライバシー重視ブロックチェーンにおいて、検出不可能な偽造事件として初の事例となり、ネットワークのシールドプールに対する信頼を致命的に損なう可能性がある。次のシグナルは、今後のオンチェーン活動からもたらされる。

Orchardの脆弱性と不確実性の問題

この欠陥は、Shielded Labsが委託した監査中にZcashの研究者テイラー・ホーンビー氏によって5月29日に発見され、Orchardのゼロ知識証明回路に存在していた。halo2_gadgetsコンポーネントの健全性（サウンドネス）脆弱性により、シールドプールが無効な状態遷移を受け入れる可能性があり、Orchard内での二重支払いが可能になる恐れがあった。ネットワークのターンスタイル機構により、シールドプールを超えた総供給量のインフレーションは防止された。

Zcashの開発者は6月2日、Zebra 4.5.3を通じて緊急ソフトフォークを展開し、Orchardトランザクションを一時停止。続いて6月3日にはハードフォークアップグレードNU6.2を実施し、修正された回路で機能を復旧させた。Zcash Foundationは、悪用の証拠はなく、不正な価値創出も検出されなかったと発表した。

しかし、6月4日にZooko Wilcox氏、Jason McGee氏、ホーンビー氏が行った開示には、重大な但し書きが含まれていた。Orchardのプライバシー特性により、脆弱性が存在していた間に悪用されたかどうかを暗号学的に証明する方法がないという点だ。この違いがヘイズ氏の撤退を導いた。「偽造の可能性は極めて低いと考えるが、暗号学的に不可能であると正式に証明することはできない」と彼は記している。

オンチェーン活動が明らかにしうること

サルム氏の主張は行動シグナルに基づいている。Zcashのプライバシー意識の高いユーザーベースが修正後もOrchardプールを経由して取引を続けるなら、それはプロトコルに最も近く、悪用リスクに最もさらされている人々が、脆弱性は悪用されなかったという確信を持っていることを示唆する。Orchardから透過アドレスやSaplingへの大量脱出が起これば、その逆を意味することになる。

Shielded Labsの推計によれば、安定化フェーズ中に450万ZEC以上が運用制限の対象となった。透過トランザクションとSaplingベースのトランザクションは、この間も正常に機能し続け、ユーザーがOrchardを避けたい場合の代替手段を提供した。

対照的に、Polymarketの契約は、決定的に解決されることのない二項的結果に依存している。プライバシー保護システムは設計上、取引履歴を曖昧にするため、外部の監査人が無実または有罪の暗号学的証明を生成することはできない。市場のオッズは情報の非対称性——調査に最も近い関係者と一般大衆の間——を反映することになる。

Zcashは過去にも深刻なプロトコルの欠陥を管理してきた。Sproutプールでの以前のインフレリスクは、資金を失うことなく修正された。しかし、Orchardのインシデントは、ネットワークのプライバシー特性が決定的な事後検証を妨げ、市場がすでに40％の売り込みを通じて価格に織り込んだ残存不確実性を残す、初めての事例である。

本記事は情報提供のみを目的としており、投資助言を構成するものではない。