原文タイトル：Four Questions About the Orchard Vulnerability
原文著者：Jason McGee（Shielded Labs CEO）、Zooko Wilcox（Zcash 創設者）
原文編集：秦晓峰（Odaily 星球日报）

編集者注：北京時間6月5日、プライバシープロジェクトZcashの次世代プライバシープール「Orchard」に重大な偽造脆弱性が存在したことが発覚し、ZcashトークンZECは一時半値近く下落し、250ドル付近まで落ち込みました。

約10日間の経過を経て、市場のパニック感情はやや和らぎ、ZEC価格も回復傾向を見せ、本日再び500ドル台に戻りました。（参考記事：「『無限印刷』の脆弱性が4年間潜伏、プライバシーコインZECが一日で半値に」）

本日午前、Zcash創設者のZooko Wilcoxが再び長文を発表し、市場の懸念事項に応えました。

同氏は、Orchardの脆弱性がこれまで悪用されていない可能性が高く、正当なOrchard資金は回収可能であると述べました。現時点ではユーザーがZcashの供給量が超過していないかを自ら検証することはできませんが、IronwoodアップグレードによりOrchardプールを封鎖し、この検証能力を回復する予定です。継続的な監査では他の偽造脆弱性は発見されていませんが、完全に確定するにはさらなる作業が必要です。

最近のOrchard脆弱性は、Zcashの供給量とユーザー資金の安全性に関する重要な問題を引き起こしました。議論には複数の異なる論点が混在しており、脆弱性がユーザーに与える実際の影響を理解するのが困難になっています。本稿ではこれらの問題を分離し、それぞれがユーザーにとって何を意味するのかを説明します。

Orchard脆弱性は4つの重要な問題を提起しました：

1. Orchard脆弱性はこれまで悪用されたことがあるのか？

2. 正当なOrchard資金は回収可能か？

3. ユーザーはZcashの供給量が増発されていないことを検証できるか？

4. 他に偽造脆弱性が存在しないことをどのように確認できるのか？

Orchardの脆弱性は悪用されたのか？

不明。これまで悪用された可能性は低いと考えているが、完全に否定はできない。脆弱性が悪用されていないと考える理由は三つある：

長年にわたり世界中の多くのトップクラスの暗号学者やセキュリティ研究者が継続的に審査してきたにもかかわらず、この脆弱性はこれまで発見されていなかった。その最終的な発見は偶然ではなく、Shielded LabsのTaylor Hornbyが、悪意ある攻撃者が先手を打つ前に、この種のセキュリティホールを積極的に特定する目的で行ったものである。

Taylorは高度なAI支援セキュリティ研究技術と、他者が見逃す微細な欠陥を発見するために特別に構築されたカスタムツールを使用した。これらはZcashのコードベースに精通していない者にとっては、さらに困難な作業となる。

脆弱性が発見されるとすぐに、Zcashの開発者（Zcash Open Development Labsチームが主導）はプールと迅速に調整し、Orchardプールを一時的に凍結して修正プログラムを展開し、攻撃の機会窓を制限した。

暗号通貨の脆弱性悪用は一般的であり、攻撃者は特に脆弱性が公開された後、可能な限り迅速に現金化しようとする。攻撃者がこの脆弱性から利益を得るには、偽造されたZECを価値ある資産に交換する必要があり、通常これによりZECはターンスタイル機構を通じてOrchardプールから流出する。

修正前に脆弱性が悪用されていた場合、今頃は証拠が浮上しているはずだ。歴史的に、暗号通貨の脆弱性悪用は通常「奪取型」の操作であり、数ヶ月から数年にわたって隠蔽される「4Dチェス」のような戦略ではない。

正当なOrchard資金は回収可能か？

可能と考えている。なぜなら、この脆弱性は一度も悪用されていないと判断しているからだ。この判断が正しければ、すべての正当なOrchard資金は完全に回収可能である。

一方、Orchard内で実際に偽造が発生した場合、既存のターンスタイル機構は総移行量を正当にプールに入ったZECの額に制限する。

そのため、偽造資金が正当な資金よりも先に移行された場合、ユーザーは正当なOrchard資金の一部または全部を回収できなくなる可能性がある。

このような状況は発生しそうにないと考えています。ただし、より慎重なユーザーには、ZECをOrchardから移動させることを推奨します。

ただし、その前に以下の点を理解しておく必要があります。

・透明プール（tアドレス）に資金を移動すると、送金金額と送金時間が両方とも公開され、これらの資金はそのtアドレスに公開的に関連付けられます。

・OrchardプールからSaplingプールに資金を移動すると、送金金額と送金時間は公開されますが、tアドレスへの移動とは異なり、特定のアドレスや取引履歴に資金が関連付けられることはありません。

・Saplingプールは2018年に実施されたトラステッドセットアップセレモニーに依存しています。このトラステッドセットアップのセキュリティに依存することは、ユーザーが注意すべき追加リスクです。

・私たちの知る限り、YWalletとZkoolは現在広く使用されており、Saplingプールをサポートする唯一のセルフカストディ型Zcashウォレットです。

・新しいウォレットやカストディサービスへの資金移動は、ユーザーのミス、ソフトウェアのバグ、カストディアンリスク、その他の予期せぬ問題など、追加リスクをもたらします。

総じて、上記のリスクは中程度であると考えています。

現在、資金がシールド型セルフカストディウォレットに保管されている場合、以前の偽造は発生しそうにないと評価しているため、そのままにしておくことは合理的な選択です。安全な方法で資金を別の場所に移動できる場合、それも合理的かもしれません。ユーザーは自身の状況に応じて異なる結論に達する可能性があります。

ユーザーはZcashの供給量が増発されていないことを検証できるか？

現時点ではできません。以前この脆弱性が存在したため、ユーザーは現在のシールドプールで流通しているZECが正しい数量を超えていないことを独立して検証できませんでした。

しかし、以前の記事で指摘したように、Ironwoodアップグレードによりこの能力が回復されました。以下の図がその理由を示しています。

提案されているネットワークアップグレードは、「これ以上の未知の偽造脆弱性が存在しない」という保証を強化し、Orchardプールを封鎖することでこの問題を解決します。新たな資金は流入できなくなり、プール内の資金も流通できなくなります。

唯一残された経路は、既存のターンスタイルメカニズムを通じて退出することです。このメカニズムにより、Orchardプールから転送されるZECが、正当に流入した量を超えないことが保証されます。

この変更により、Zcashの供給量の健全性を検証する能力が回復します。

現在、Orchardプール内に偽造資金が存在する場合、それらはプール内で流通し続ける可能性があります。アップグレード後は、これが不可能になります。偽造が発生したかどうかに関わらず、ノードを実行する誰もが、流通しているZECが正しい量を超えないことを検証できます。

ユーザーは、資金がOrchardから移行されるのを待つ必要も、攻撃者や他のユーザーの行動を推測する必要もありません。プロトコル自体が検証可能な保証を提供します。余剰のZECはOrchard内で流通し続けて供給量を押し上げることはできません。

これは重要です。なぜなら、Zcashの長期的な信頼性は、ユーザーが自らその供給量の健全性を検証できるかどうかに依存しているからです。Ironwoodは、ユーザーがプロトコルの供給制限が遵守されているかを独立して検証する能力を回復します。

他に偽造の脆弱性が存在しないことをどうやって知るのか？

現時点では完全には確信できませんが、他の脆弱性は存在しないと考える理由があります。Shielded Labsや他の複数のチームは、Zcashプロトコルにおける他の偽造の脆弱性を注意深く調査してきました。

これには、Anthropicの支援のもと、Mythosが一時停止される直前に、未公開のMythos AIモデルを使用して追加の脆弱性を検索することも含まれます。この調査とその発見に関する詳細は、今後のブログ記事で共有する予定です。

これまでのところ、他の偽造の脆弱性は発見されていません。この検索に関わる高度な専門知識、努力、そして先進的なAI支援分析により、同様の脆弱性が未発見のまま残っている可能性は低いという確信が深まっています。

さらに、Tachyon Projectなどのプロジェクトと協力して、Zcashにこれ以上の偽造の脆弱性が存在しないことに対する追加の保証を提供しています。これについても、今後のブログ記事で詳しく説明します。

結論

Orchardの脆弱性は、4つの重要な問題を提起します。脆弱性が悪用されたかどうか、正当なOrchard資金を回収できるかどうか、ユーザーがZcashの供給量が増発されていないことを検証できるかどうか、そして他に未発見の偽造の脆弱性が存在するかどうか。

これまで悪用された可能性は低いと考えられるため、正当なOrchard資金は回収可能であり、現在のZcash供給量も安全です。複数の独立した研究者やチームによる継続的な審査に基づき、他に未発見の偽造脆弱性が存在しないという確信も強まっています。

しかし、ユーザーは現時点でZcash供給量の安全性を検証できず、本来であれば当社の評価——あるいは他者の評価——に依存すべきではありません。

提案されているネットワークアップグレードはこの問題を解決します。Orchardプールを封鎖することで、ユーザーがZcash供給量の安全性を独立して検証する能力を回復します。ユーザーは偽造が発生したかどうかを判断することなく、プロトコルの供給制限が遵守されているかを検証できるようになります。

原文リンク

BlockBeats の公式コミュニティに参加しよう：

Telegram 公式チャンネル：https://t.me/theblockbeats

Telegram 交流グループ：https://t.me/BlockBeats_App

Twitter 公式アカウント：https://twitter.com/BlockBeatsAsia