モネロのコミュニティも動き出しており、同時期にTrail of BitsがFCMP++（Full-Chain Membership Proofs、全链成員資格証明）の統合方案の監査を委託されています。しかし、Hornbyの参加は別の独立した監査の火種を生み出し、Zcashの脆弱性発見に用いたAI支援の手法と同じものを使って、モネロの暗号学的基盤を調査しています。
よくある質問
Taylor Hornbyは誰？なぜZcashの監査をしているの？
HornbyはDefuse Securityの創設者兼Zcash Foundationの理事であり、今年4月にShielded Labsから兼任セキュリティアドバイザーとして雇われ、Anthropic Opus 4.8と自作フレームワークを用いてZcashの回路脆弱性を監査しています。
Zcashの4年にわたる脆弱性を見つけたエンジニア：モネロ（XMR）も監査対象に
発見 Zcash Orchard 隠し池致命的な脆弱性のセキュリティエンジニア Taylor Hornby は、既にモネロ（XMR）を次の監査対象に追加したと発表し、今後もプライバシーコインプロジェクトの安全審査範囲を拡大していく予定です。
（前提情報：ZECが48%下落し250ドルを割る：Opus 4.8がZcashの無限発行脆弱性を突き、Arthur Hayesが清算）
（背景補足：Zcashが4時間以上停止：緊急フォーク後のブロック高3,364,601で停止、ガバナンス危機が追い打ち）
要点まとめ
5月末にAnthropicがOpus 4.8をリリースした翌日、HornbyはそれをZcashの監査に投入しました。彼が開発した自作フレームワーク「zcash-full-stack-auditor」と最新モデルを組み合わせて、24時間も経たずに Orchard 隠し池内の4年間潜伏していた重要な脆弱性を発見：Orchardの回路内で楕円曲線乗法に用いるvariable-base scalar multiplication gadget（可変基数スカラー乗算ギャジェット）の制約不足により、攻撃者は入力値を偽造して零知識証明の検証を回避し、無限に偽ZECを発行できる。
HornbyはDefuse Securityの創設者であり、同時にZcash Foundationの理事も務めています。今年4月、非営利組織Shielded Labsから兼任セキュリティアドバイザーとして雇われ、契約期間は3ヶ月。攻撃者より先に脆弱性を発見することが任務です。5月29日の夜に問題を発見し、すぐにZODLのコアエンジニアに通報。Shielded Labsは直ちに緊急修正を開始し、6月2日にZebra 4.5.3のソフトフォークで Orchardの全取引を一時停止。6月3日にNU6.2のハードフォークで修正し、脆弱性を恒久的に閉じました。
以前、Opus 4.7と汎用プロンプトを用いた監査ではこのバグは見つかりませんでした。違いは、Hornbyの自作フレームワークが高度にターゲットを絞ったヒント戦略を提供している点で、単なるモデルのアップグレードだけでなく、人とツールの組み合わせによる総合的なアプローチです。
ZECの暴落と道徳的ジレンマ
脆弱性公開後、ZECは大きな打撃を受け、24時間以内に一時48.51%下落し、250ドルの安値をつけました。清算規模は1億1600万ドルを超え、約19,000人のトレーダーに影響しました。Arthur Hayesは全てのZECポジションを清算し、「プライバシー保証に必要なのは可能性ではなく確実性だ」と述べています。
脆弱性を悪用して利益を得る条件が整っていたにもかかわらず、Hornbyは通報を選び、行動を起こさなかったことについて「この裏切りは受け入れられない」と表明しています。
Zcashの創設者Zooko Wilcoxは、脆弱性が実際に悪用された可能性は極めて低いと述べていますが、Orchardのプライバシー構造のため、暗号学的に見て4年間誰かが偽造コインを発行したかどうかを証明できないと指摘しています。
モネロ（XMR）が監査リスト入り
Hornbyは現在、モネロ（XMR）に注目し、既に監査リストに追加したと発表しました。今後も他のプライバシーコインプロジェクトの安全審査を展開する計画です。また、Zcashコミュニティの資金援助を申請し、今後の安全研究を支援する意向も示しています。
モネロのコミュニティも動き出しており、同時期にTrail of BitsがFCMP++（Full-Chain Membership Proofs、全链成員資格証明）の統合方案の監査を委託されています。しかし、Hornbyの参加は別の独立した監査の火種を生み出し、Zcashの脆弱性発見に用いたAI支援の手法と同じものを使って、モネロの暗号学的基盤を調査しています。
よくある質問
Taylor Hornbyは誰？なぜZcashの監査をしているの？
HornbyはDefuse Securityの創設者兼Zcash Foundationの理事であり、今年4月にShielded Labsから兼任セキュリティアドバイザーとして雇われ、Anthropic Opus 4.8と自作フレームワークを用いてZcashの回路脆弱性を監査しています。
Zcash Orchardの脆弱性は何？
Orchardの回路内の楕円曲線乗法ギャジェットの制約不足により、攻撃者は入力値を偽造して零知識証明の検証を回避し、無限に偽ZECを発行できる脆弱性です。この脆弱性は2022年5月から潜伏し、2026年6月3日に修正されました。