Zcashの開発者は、NU6.3ネットワークアップグレードの一環として、ブロック高3,428,143でIronwoodアップグレードを有効化し、Orchardのシールドプールを正式に検証された新しいシールドプールに置き換えました。この置き換えは、5月末に研究者Taylor HornbyがOrchardに無限（infinity）バグを発見したことに続くもので、理論上、検出不能な偽造ZECの生成というリスクがありました。Zcashの中核となるプライバシー機構の1つにおける脆弱性は、開発者らが「戦時モード」と表現した開発スプリントを促し、パッチではなく完全な置き換えを展開することになりました。
Hornbyが5月末にOrchardの無限バグを発見
Shielded Labsの研究者であるTaylor Hornbyは、5月末にOrchardの無限（infinity）バグを発見しました。この欠陥はOrchardのゼロ知識回路の深部に存在し、公に検出可能な痕跡を残さずに偽造ZECをミント（作成）してしまうという理論上のリスクをもたらしました。脆弱性が実際に悪用された形跡は現れませんでした。ZECは、開示が公になった後に価値の半分以上を失いました。
6月上旬に投入された緊急パッチにより、一時的にOrchardは無効化されました。修正済みの回路は、5日以内にNU6.2のハードフォークを通じて到着しました。開発者らは、旧プールの内部で隠れたインフレが一度も発生しなかったことを確実に証明することは数学的に不可能であり、検証可能な供給の完全性を取り戻すには完全な置き換えが唯一の道だと述べました。
Shielded Labsの共同創業者Zooko Wilcoxは当初、Orchardを丸ごと置き換えることを提案しました。その後に行われたのは、Shielded Labs、Zcash Open Development Lab（ZODL）、Project Tachyon、Valar Group、Zcash Foundationにまたがる約60日間の協調開発でした。ZODLのエグゼクティブ・ディレクターであるJosh Swihartは、置き換えに向けた取り組みの間に、同組織のエンジニアがZcashのプロトコルおよびウォレットリポジトリに加えられた統合変更の82%を提供したと述べました。
Ironwoodが別個の会計システムと量子回復可能ノートを導入
Ironwoodは、独立した会計システムを導入し、それ自身のノートコミットメントツリー、ヌリファイア集合、そしてチェーン値プールを備えました。この構造により、任意のノードが、これまでにあったものすべてとは別に、新しいシールドプールを独立して追跡できます。
このアップグレードでは、プロジェクトが「回転装置（turnstile）」と呼ぶ公開会計のチェックポイントが設置されました。資金はその回転装置を通じてOrchardから出ていくことはできますが、仕組みは数学的に、古いプールから正当に入った額以上の価値が外に出ることを防ぎます。脆弱性ウィンドウの前後、あるいはその期間中にOrchardの内部でミントされたかもしれない仮想の偽造コインは、永久にそこへ閉じ込められ、Ironwood側の供給会計を汚染できなくなります。
新しいプールはZIP 2005の量子回復可能ノートを取り込みました。この機能は、今日のZcashトランザクションを量子的に安全にするものではありません。将来、別個の回復プロトコルを設計して有効化する必要があります。NU6.3のアップグレードにより、Zebraが必須のノード実装となり、ネットワーク全体で旧来のzcashdソフトウェアのサポートが終了しました。
Project Tachyonが2,700定理の形式的検証を完了
Project Tachyonは、Zcashの開発者とともに、機械チェック可能な数学的証明を完了させました。Leanプログラミング言語で書かれたこの証明は、3つのチームの研究者と暗号学者によって、1か月以上にわたって開発された2,700本超の定理で構成されています。この証明は、Ironwoodが公表された設計前提のもとでは、検出不能な偽造ZECを作成できないことを形式的に検証します。
この証明は、残高の完全性に必要な要素をカバーしています。すなわち、Ironwoodのゼロ知識証明システム、回路ルール、そして台帳レベルの会計です。Zcashの共同創業者であるSean Boweは、次のように述べました。「チーム横断のコラボレーションが、Zcashの歴史を永遠に変えたばかりです。新しいIronwoodプロトコルから、検出不能な偽造のバグのあらゆる原因を排除しました。」
この形式的検証は残高の完全性には及びますが、Ironwoodの別個のプライバシー保証まではカバーしません。供給の健全性と取引の秘匿性は別個の性質であり、この証明が扱うのは前者のみです。
マイグレーション・トラッカーは40,207 ZECがIronwoodへ移動したことを示す
Orchardは、出金のみのフェーズに入りました。プールは新しいシールド活動を受け付けなくなりましたが、ユーザーは自分の判断で資金を出金できます。Zcashのマイグレーション・トラッカーによれば、起動以来、およそ40,207 ZECがIronwoodへ移動しました。約360万ZECは、移行待ちのためにOrchardの内部に残っています。
最大時には、The Blockのデータによれば、OrchardはZcashのシールドトークン供給のほぼ88%を占めており、残りは旧来のSaplingおよびSproutプールが占めていました。
FAQ
ZcashのIronwoodアップグレードとは何ですか？
Ironwoodは、脆弱なOrchardのシールドプールを、形式的に検証されたシールドプールに置き換えるZcashネットワークのアップグレードです。NU6.3のハードフォークの一部として、ブロック高3,428,143で有効化されました。
なぜIronwoodアップグレードが必要でしたか？
このアップグレードは、5月末にOrchardのプールで発見された無限（infinity）バグが、検出不能な偽造ZECの生成という理論上のリスクをもたらしたため必要でした。開発者らは、そのバグが悪用されなかったことを数学的に証明することは不可能であり、パッチに単に依存するのではなく、完全な置き換えが必要だと述べました。
Orchardプール内にまだ残っている資金はどうなりますか？
Orchardは、出金のみのフェーズに入りました。ユーザーはそこから資金を引き出すことはできますが、プールは新しいシールド取引を受け付けなくなります。約360万ZECが移行のためにOrchardに残っており、一方で約40,207 ZECはすでに移動しています。
