ZcashがIronwoodを有効化、Orchardは脆弱性発覚後に出金専用へ
NU6.3によりOrchardは新たなシールド活動を停止し、代替プールを開設、移行を開始した。4万超のZECがIronwoodへ移動した一方、約360万ZECがなおOrchardに残った。
ZEC
ファクトチェック
The Crypto Timesの記事は、この主張のあらゆる要素を裏付けている。すなわち、2026年7月28日にブロック3,428,143でIronwood（NU6.3）が有効化されること、新たなシールドプールが作成されること、旧Orchardプールが凍結・制限されること、公開会計型のターンスタイルが導入されること、そして検知不能な偽造への懸念を高めた重大な健全性上の欠陥が発端であることだ。TechTimesとBitcoinFoundationも、同一のブロック高（3,428,143）と7月28日の日付を独自に確認している。event_timeが7月28日で現在日が7月27日であることから、「明日」という表現は正確である。複数の独立した情報源が一致しており、矛盾する証拠はない。
要約
Zcashは7月28日、NU6.3を通じてブロック3,428,143でIronwoodのネットワークアップグレードを有効化し、Orchardのゼロ知識回路に重大な脆弱性が見つかったことを受け、Orchardを恒久的な出金専用モードに移行するとともに、代替のシールドプールを開設した。この脆弱性により、検知されない偽造ZECが理論上発行されるリスクがあった。すでに4万ZEC超がIronwoodへ移動しており、約360万ZECがOrchardに残って移行を待っている。Ironwoodは、Orchardからの引き出しを検証可能な預け入れ額までに制限するターンスタイル機構を採用しており、仮に余剰コインが存在しても新プールへ流入できない。研究者によれば、2,700超の定理にまたがるLeanによる機械検証済み証明により、示された暗号学的前提の下でIronwoodの残高整合性が形式的に検証された。ZECはアップグレード後に一時約9%下落して約460ドルとなった後、約475ドルまで持ち直した。
用語解説
- ターンスタイル: Orchardから流出できるZECの量を、流入したと示せる額までに制限するプロトコル上のチェックポイント。
- 形式的検証: ソフトウェアやプロトコルのロジックが特定の性質を満たすことを証明するための数学的プロセス。
- 残高整合性: 示された前提の下で、シールドプールが正当に流入した価値を超える額を新規作成したり支払ったりできないことの保証。