NU6.2
NU6.2はZcashのメインネットでブロック3,364,600（2026年6月3日 UTC）に稼働開始しました。
ここで学べること：NU6.2が修正した内容、Zcashがシールド取引を約1日停止した理由、そして資金を失うことなくネットワークが脆弱性を解消した方法。
NU6.2は、緊急停止後にOrchardのシールドプロトコルを再有効化したZcashのネットワークアップグレードであり、正式にはZIP 257で定義されています。これはOrchardのゼロ知識回路における健全性バグを修正し、シールド取引を復旧しました。これをOrchardのバグにまつわる物語における緊急修復の章だと考えてください。後続のアップグレードであるIronwood（NU6.3）では、新しいプールと旧プールの公開監査が追加されました。
これが重要な理由。Orchardは、プライベートなZcash決済の大部分が行われる場所です。そのプールの正当性を保つ数学に欠陥が見つかったとき、ネットワークは難しい選択を迫られました。既知のリスクを抱えたままシールド取引を継続するか、修正の準備が整うまで停止するかです。NU6.2は、Zcashが安全性を最優先しながらも、1日以内にプライバシーを回復した方法です。
何が起きたのか
発端は、すべてのシールド取引がルールに従うことを証明するはずの数学である、OrchardのAction回路における健全性バグでした。独立研究者のTaylor HornbyがShielded Labsの監査中に発見し、2026年5月下旬に責任ある開示を行いました。この問題はOrchardが2022年に開始されて以来見過ごされており、理論上は無効な取引が有効であるかのように通過する可能性がありました。これにより、Orchardプール内で資金が盗まれたり二重使用されたりするおそれがありました。Zcashのターンスタイル会計により、Orchardから流出し得る価値には依然として上限が設けられていたため、ZECの総供給量そのものが増加することはありませんでした。しかし、シールド資金の正当性を保つ数学の欠陥は重大であるため、ネットワークは数日以内に対応しました。Ironwoodのページでは、このバグと、それがどのように価値を生み出し得るかを詳しく説明しています。
緊急停止
2026年6月2日、緊急ソフトフォークによりすべてのOrchard取引が一時的に無効化されました。これはzcashd v6.12.5およびzebra v4.5.3のホットフィックスとして提供されました。
- シールドされたOrchardの送受信が停止され、新しいOrchard証明を作成または受理できなくなりました。
- 透明取引およびSapling取引は通常どおり機能し続けました。
- 資金の移動、凍結、損失はありませんでした。この停止は、実際の修正が完了するまで新しいOrchard活動のみを止めたものです。
NU6.2が変更したこと
翌日の2026年6月3日、NU6.2ハードフォークがブロック3,364,600で有効化され、修正済みの回路でOrchardが再有効化されました。
- 不足していた制約を追加することで、Action回路の可変ベーススカラー乗算ガジェットを修正しました。
- これにより新しい検証鍵が生成されたため、旧来の欠陥のある回路で作成された証明は以後検証されず、新しい証明はすべて修正済みの回路を使用する必要があります。
- 正確な証明長をコンセンサスルールとし、これまで強制されていなかった隙間を塞ぎました。
修正済みのコードはzcashd v6.20.0およびzebra v5.0.0で提供され、halo2_gadgets v0.5.0とorchard crate v0.14.0に基づいて構築されています。
NU6.2が行わなかったこと
NU6.2は新しいすべての取引について回路を保護しましたが、旧ルールの下で作成された価値は依然としてOrchardプールに残っていました。その価値を監査し、クリーンなプールへ移すことは別の作業であり、Ironwood（NU6.3）が新しいプールとターンスタイルによって担います。
何か失われたのか
いいえ。このバグが悪用された証拠はなく、不正な価値創出もユーザー資金への影響もありませんでした。Zcashのターンスタイル会計により、イベント全体を通して総供給量が維持されたことが確認されました。
用語集
| 用語 | 平易な意味 |
|---|
| Shielded pool | ゼロ知識暗号によって金額と所有者が隠されている資金の集合 |
| Orchard | NU5によって導入されたシールドプロトコル。NU6.2の時点ではZcashの主要なシールドプールでした。IronwoodがNU6.3でこれを置き換え、現在Orchardは支出専用です |
| Soundness bug | 無効な取引を、有効であるかのように証明チェックへ通過させてしまう欠陥 |
| Verifying key | 証明が有効かを確認するためにネットワークが使用する公開値。回路の修正により変更されました |
| Soft fork | 後方互換性のあるルール変更であり、ネットワークを分岐させずにOrchardを停止したもの |
| Hard fork | すべてのノードがアップグレードする必要がある、指定ブロックで有効化される協調的なルール変更 |
FAQ
ZECにアクセスできなくなりましたか？ いいえ。約1日間、シールドされたOrchard取引は停止されましたが、資金が失われたり危険にさらされたりすることはなく、透明取引とSapling取引は継続して機能しました。
なぜ静かにパッチを当てず停止したのですか？ 健全性バグによってOrchardプール内の資金が盗まれたり二重使用されたりするおそれがあったため、修正済み回路が稼働するまで新しいOrchard取引を止めることが安全な対応でした。
古いシールド証明は引き続き機能しますか？ 旧回路で作られた証明は、NU6.2以降は検証されません。対応リリースのウォレットは、修正済みの回路を自動的に使用します。
このバグは悪用されましたか？ その証拠はありません。セキュリティ研究によって発見され、既知の被害が発生する前に修正されました。
NU6.2とIronwoodはどう違いますか？ NU6.2は回路を修正し、Orchardを再有効化しました。その後、Ironwood（NU6.3）が新しいプールと公開ターンスタイルを追加し、旧プールの価値を監査・移行できるようにしました。
理解度チェック
なぜZcashは、修正が作成される間もOrchard取引を継続させるのではなく、1日間停止したのでしょうか？
回答
この欠陥は健全性バグであり、無効な取引が有効であるかのように通過する可能性があったためです。Orchardを開いたままにすると、プール内での窃盗や二重使用への扉が開いたままになってしまいます。新しいOrchard取引を停止することで、修正済み回路がNU6.2で有効化されるまでその扉を閉じました。
リソース
ZIP 257：Orchard一時的脆弱性緩和策およびNU6.2ネットワークアップグレードの展開
Zcash Foundation：Zebra緊急ソフトフォークとNU6.2の有効化
関連項目
Ironwood（NU6.3）
Zcashネットワークアップグレード
シールドプール
Halo
Shielded Labs
ZECとは何か、およびZcash
シリーズ：ネットワークアップグレード索引 · 前：NU6.1 · 次：Ironwood
