AnthropicのZcash監査、深刻なバグなしで信頼感高まる
Shielded Labsが委託したMythosの新たなレビューにより、Orchardの欠陥発覚後のZcashを下支えする材料が加わった。開発者らは、提案中のIronwoodシールドプールを含む、より広範な変更を進めている。
ZEC
ファクトチェック
一次情報源であるZooko Wilcox本人のX投稿（@zooko）では、Shielded Labsの要請を受けてAnthropicがMythosを用いたZcashのセキュリティ監査を実施し、プロトコルにこれ以上深刻なバグは見つからなかったほか、堅牢化作業が継続していると明記されている。これは、いずれも同じ原投稿を引用するCryptoBriefingと、独立した2つの仮想通貨メディアであるBlockBeatsおよびOdailyによって直接裏付けられている。主張の各要素――主体（Anthropic）、ツール（Mythos）、依頼者（Shielded Labs）、結果（追加の深刻な脆弱性はなし）、継続中の堅牢化――はいずれも一次情報の内容と一致している。
要約
AnthropicのMythosツールは、Zcashで新たな深刻な脆弱性を確認しなかった。これにより、6月上旬に重大なOrchardシールドプールのバグが急落を招いた後、プライバシー重視の同ネットワークは新たな安全性のお墨付きを得た。Zcash創設者のZooko Wilcox-O’Hearn氏は、この監査はShielded Labsが委託し、レビューに用いたプロンプトはDefuse Securityが作成したと述べ、より広範な堅牢化作業が続く中でAnthropicに謝意を示した。今回の結果は、Taylor Hornby氏が発見した4年前から存在する欠陥の開示に続くもので、この欠陥はZECの偽造を無制限に可能にした恐れがあったが、Zcash開発者は悪用の証拠はないとしている。CoinMarketCapによると、ZECは開示後の6月5日に約621ドルから303ドルへと約53%下落し、その後6月8日に427.67ドルまで反発した。記事掲載時点では時価総額が69億4000万ドル超で、415ドル前後で取引されていた。Zcash開発者はまた、Ironwoodも提案している。これは新たなシールドプール設計で、ターンスタイル会計を用いて正当なコインをOrchardから移行し、偽造コインが新プールへ移るのを防ぐ仕組みである。
用語解説
- Orchardシールドプール: 最近のセキュリティー問題の中心となった欠陥が見つかった、Zcashのシールド取引用プール。
- Ironwood: 形式検証や独立監査などの追加的な安全策を備え、Orchardを置き換えることを目的とした、提案中の新たなZcashシールドプール。
- ターンスタイル会計: 正当なコインを新たなプールへ移行させる一方、偽造コインが引き継がれないようにすることを目的とした仕組み。