ズーコ・ウィルコックス、Zcash（ZEC）の供給量は検証可能であると発言：Ironwoodブロックが秘密のインフレーションを防ぐ方法
2026/08/02 13:00:00
ZcashのIronwoodアップグレードは、退役したOrchardシャーデッドプールで重大な脆弱性が発見されたことを受けて、ZEC供給量が検証可能であるかどうかという議論を再構築しました。メインネットでの悪用の証拠は現在のところ存在しませんが、Orchardのプライバシー保護機能により、調査者が偽造ノートが作成されていなかったことを決定的に証明することはできません。Zcash共同創設者のZooko Wilcoxは、ユーザーが今やプロトコルが計算した供給量を独立して検証できるようになったと述べています。Orchardを出口専用にし、プール残高を追跡し、引き出しをZcashターンスタイル経由で処理することで、Ironwoodは仮想的な過剰価値が循環したり、広範なZcash経済に流出することを防ぎます。しかし、このアップグレードは現在のZEC供給の整合性を強化する一方で、Orchardの脆弱性が決して悪用されていなかったことを証明するものではありません。
Zcash共同創設者のズーク・ウィルコックスは、2026年7月28日に活性化されたアイアンウッドネットワークアップグレード後、ユーザーがローカルコンピュータ上でZECの供給量を独立して検証できることを述べています。彼は7月29日にXで投稿し、完全に同期されたノードが16,848,458 ZEC、つまりZcashの固定最大供給量2100万ZECの約80.23%を示していると報告しました。この数値は永続的ではなく、プロトコルの発行スケジュールに従ってマイニング報酬が新たなZECを追加し続けるためです。
Ironwoodは、Orchardシャールドプールを出金専用にし、プール内への新規入金および通常の振替を阻止しました。Orchardから出金される資金は、検証可能なZECの入金数量に制限されるプロトコルレベルの会計メカニズムを通過しなければなりません。ユーザーは完全に同期されたZcashノードを実行し、getblockchaininfo RPCを使用することで、開発者や取引所、サードパーティのエクスプローラーに依存せずに、chainSupplyおよびvaluePoolsフィールドを確認できます。
ノードが報告したチェーン供給量は、プロトコルの会計処理が制限されたまたは延期されたプールに発行されたZECを含む可能性がある一方で、データ提供者は取引に利用できないと判断する資産を除外するため、市場の循環供給量の推定値と異なる場合があります。したがって、ウィルコックスの数値は、市場でactively循環しているZECの数量ではなく、ローカルで検証可能なブロックチェーンのスナップショットと理解すべきです。
Zcash Ironwoodアップグレードは、従来のOrchard設計によって生じた特定の脆弱性に対処します。ネットワークが過剰な価値が別のプールへ移動することを防いだとしても、偽造されたノートがシャーディッドプール内で理論上存在し続け、非公開にやり取りされる可能性がありました。Ironwoodは、Orchard活動に対する厳格な制限とZcashターンスタイルの公開会計ルールを組み合わせることで、この問題を解決します。その結果、理論上の偽造ZECがOrchard内で経済的に活性な状態を維持したり、広範なZcash経済へ入り込むことを防ぐプロトコルの境界が実現されます。
アイアンウッドが、オーキャードシールドプールを出口専用システムに変更
Ironwood以前、Orchardはユーザーが資金を受け取り、プライベートな支払いを行い、個々の金額やアドレスを公開せずに価値を振替できるアクティブなシールドプールとして機能していました。このプライバシーは、Orchardのゼロ知識回路の健全性に依存していましたが、後になって、この回路には理論上偽造ノートを有効と認識してしまう不十分な制約要素が含まれていることが判明しました。Ironwoodは、修正された回路にのみ依存するのではなく、コンセンサスレベルでOrchardの役割を変更します。新しい価値はもはや古いプールに入力できず、コインベイス報酬はOrchardの出力を生成できず、Orchard内の通常のアドレス間支払いは無効化されています。正当な保有者は、自己指示による変動幅を伴う取引を含めて、依然として資金を引き出すことができますが、OrchardはZECが複数のユーザー間で繰り返し循環する独立したプライベート経済として機能できなくなりました。新しいシールド活動は、別個のIronwoodプールに誘導され、Orchardの残高は時間とともに減少し続け、退役したシステムに追加の資金や新規発行されたZECが入ることを防ぎます。
ZcashのターンスタイルがOrchardの引き出しを制限する方法
Zcashの回転門は、内部で行われるプライベートなトランザクションを明かすことなく、各シャーディッドプールに入力および出力される合計価値をオンチェーンで追跡する会計メカニズムです。個々のOrchard残高、アドレス、振替は非表示のままですが、プールの境界を越えた移動は、その合計価値の公開検証可能な変動幅を生み出します。
すべてのフルノードは、このチェーン値のバランスを維持し、 Orchard から正当に入金およびプロトコル承認フローを通じて入った数量を超える ZEC を出金しようとするトランザクションに対してブロックを拒否します。ターンスタイルは、どの個々のノートが正当か偽物かを特定する必要はありません。代わりに、プール全体の累積的な出金限度を適用します。以前の Orchard の脆弱性を通じて仮想的な偽造 ZEC が生成された場合、その過剰な価値は公開会計記録に該当する入金が存在しないため、正当な出金限度に達した後は、Ironwood、Sapling、または透明プールへ移転できません。この区別は重要です。なぜなら、ターンスタイルは Ironwood よりも前に存在していましたが、以前は Orchard ユーザーがプール内でノートをプライベートに継続的に転送できていたからです。Ironwood はその内部循環ルートを閉鎖し、ターンスタイルを経由することが唯一の経済的に意味のある進行方法となります。
アイアンウッドがすべてのオーチャード保有者に移行を要求しない理由
秘密のZECインフレーションに対する保護は、すべての正当なOrchard残高がIronwoodに移動することに依存しません。新しいコンセンサス制限が有効化されると、Orchardはもはや入金を受け付けず、異なるユーザー間の通常の支払いをサポートできなくなり、その唯一の出口はターンスタイルの検証済み出金限度に制約され続けました。紛失した秘密鍵、放棄されたウォレット、テスト資金、または経済的でないダスト残高のため、移行されなかったすべてのZECは、拡張できず、アクティブな支払いネットワークとして機能できないプールに隔離されたままです。このため、OrchardからIronwoodへの移行は文字通り100％に達しない可能性がありますが、不完全な移行によって余剰価値が循環することはありません。移行の進捗は、以前の脆弱性について有用な証拠を提供し続けます。ターンスタイルが限度に達しないまま、正当な出金が継続して発生している場合、大規模な偽造がおそらく発生しなかったという評価を強化します。もし出金請求がプールの検証済み入金を最終的に上回った場合、ネットワークはその超過分を拒否し、測定可能な不整合を明らかにします。その証拠は重要ですが、Orchardが出口専用になった際に生じた即時の供給保護とは別物です。
Ironwoodが、別個かつ独立して会計処理されるシャーディッドプールを構築
IronwoodはOrchardの内部状態や非公開ノートの履歴を継承しません。Ironwoodは、独自のチェーンバリュー残高、ノートコミットメントツリー、ヌルフィファイアセット、およびトランザクション履歴を持つ分離されたシールドプールとして開始され、退役したシステムと今後のプライベートZEC活動の間に明確な会計境界を設けました。Ironwoodに入金される資金は、パブリックプール会計に反映される価値を持つコンセンサス承認済みトランザクションを通じてのみ到着しなければならず、未検証のOrchard価値が静かに継続して持ち越されるのを防ぎます。新しいプールは、修正されたOrchardベースの回路と、残高整合性に焦点を当てた追加のセキュリティ分析および形式的検証を使用しています。この階層的設計により、Zcashネットワークは以前のバグが悪用されたかどうかという仮定にのみ依存しません。代わりに、Ironwoodは古いプールを制限し、すべての出金を累積的な回転扉会計で管理し、新しいシールド価値を別個に監視されるシステム内に記録します。ネットワークのコンセンサスルールと明示された暗号学的仮定のもとで、仮想的な偽造Orchardノートが他の場所で秘密裏に支出可能なZECになることはできません。これがIronwoodがZEC供給の整合性を保護する中心的なメカニズムです。
IronwoodはZcashの供給の整合性について将来への保証を提供しますが、過去のすべてのプライベートOrchardトランザクションを遡及的に再構築したり、以前の脆弱性が実際に悪用されていなかったことを確実に証明することはできません。Orchardのバグ、ZEC移行の目的、および形式的検証を通じて導入されたセキュリティ保護を評価する際、この違いを理解することが不可欠です。最も正確な結論は、Ironwoodが仮想的な過剰なOrchard価値がZcash経済の利用可能な部分として残ることを防ぐということであり、是正措置以前に偽造ノートが作成されたかどうかという歴史的な疑問は未解決のままです。
ZcashのOrchardバグは実際に悪用されたことがありますか？
現在のところ、Orchardの脆弱性がZcashメインネットで悪用されたという証拠は一切確認されておらず、調査に携わった組織は、過去の悪用は可能性が低いと述べています。セキュリティ研究者のTaylor Hornbyは、ローカルのregtest環境で実働するエクスプロイトを作成することで、この欠陥が実際に存在することを実証しましたが、成功したテストは、他の誰かがライブネットワークに対して同じ手法を発見または使用したことを示すものではありません。開発者は、この脆弱性と関連する確認された不正な価値の生成、ユーザーの損失、またはプライバシーの侵害は報告されていないと述べています。観測されたOrchardの活動にも、攻撃者が脆弱性が修正される前に偽造資産を流動的な価値に変換しようとする際によく見られる積極的な引き出しは見られませんでした。これらの観察結果は、悪用がおそらく発生しなかったという評価を裏付けていますが、これらは暗号学的証拠ではなく、あくまで間接的証拠にすぎません。Orchardは取引数量、送信者、受信者、およびプライベートノート間の関係を隠蔽しているため、調査者はその内部の経済履歴を再現できず、攻撃者が引き出されず、公開的に貨幣化されなかった偽造ノートを作成したかどうかを決定することはできません。
アイアンウッドの形式的検証が実際に証明すること
プロジェクトTachyonは2026年7月28日、Ironwoodの残高整合性について機械検証された形式的検証を公開しました。この作業には2,700以上のLean定理が含まれ、3つの研究者および暗号学者チームが1か月以上かけて取り組みました。これは、Ironwoodの証明システムと台帳ルールが、検出不可能な偽造を防ぐために必要な条件を強制しているかを検証します。これには、有効な支出が以前に作成されたノートに対応していること、値が許容範囲内に保たれていること、nullifiersが同じノートの繰り返し支出を防いでいること、および隠された入力と出力がプールに入出する公開された値と釣り合っていることが含まれます。検証はまた、Ironwoodのゼロ知識証明システムの知識健全性を分析し、受け入れられた証明を、明示された暗号学的仮定の下で有効な基礎的な証拠と結びつけます。これは、通常のソフトウェアレビューよりもはるかに強力です。なぜなら、セキュリティ特性が数学的に表現され、人間の検査や限定的なテストケースに依存するのではなく、証明支援ツールによって検査されるからです。
形式的検証は、その実際の範囲に従って説明されるべきである。完了した作業は、Zcashネットワークのあらゆる可能性のある性質ではなく、残高の整合性と偽造耐性に焦点を当てている。これはIronwoodのプライバシー保証を証明せず、ウォレットの運用ミスを排除せず、今後すべてのソフトウェアが実装バグを含まないことを確立しない。また、この証明は、離散対数、ランダムオラクルモデル、署名の不偽造性に関する広く認識された暗号学的仮定に依存している。Project Tachyonは、形式的に分析された検証者からの実装上の逸脱は、受け入れられた証明がブロックチェーンに記録されるため、公開的に再再生可能な証拠を残すと主張しているが、これはすべてのセキュリティリスクが消えたことを意味しない。IronwoodのZIP 2005機能も慎重に説明されるべきである：これは、現在の暗号技術が弱体化した場合に備えて将来の資金回復を支援することを目的とした量子回復可能なノートレコードを作成するが、これはZcashが現在量子コンピューティングに対して完全に耐性があることを意味しない。
オーチャードからアイアンウッドへの移行が示すもの
移行アクティビティは、完璧な過去の回答を提供できないものの、Orchardの脆弱性が悪用されたかどうかについて追加の証拠を提供する可能性があります。約176,000 ZEC（当時約8,100万ドル相当）がIronwoodの初日に流入し、これはOrchardの有効時残高の約5％に相当します。正当な保有者による継続的な出金は、Orchard内の残高を減少させ、認識された請求が会計上の衝突なしに処理可能かどうかをテストします。時間の経過とともに大きな残高が成功裏に移動し、どの試行もプールの許可された出金容量を超えない場合、大規模な偽造が発生しなかったという信頼性は高まります。逆に、正当に見える出金請求が最終的にOrchardの会計制限を超える場合、拒否された超過分は、正当な入金では支えきれないほど多くのプライベートな請求が存在したことを公に観察可能な証拠として示すことになります。
移行プロセスでは、一部の残高がおそらく移動しないことから、すべてのOrchardノートが正当であることを断定的に証明することはできません。秘密鍵が紛失している可能性があり、ウォレットが放置されている可能性があり、少額残高は振替が経済的に非効率なまま残る可能性があります。仮想的な攻撃者も、不整合を露呈するリスクを冒す代わりに、偽造ノートをそのまま放置する可能性があります。したがって、移行データは、歴史的な不確実性が単一の瞬間に消滅するまでのカウントダウンではなく、進化し続ける証拠の源として扱うべきです。記事では、移行が100%に達したときにZcashコミュニティが決定的な結論を得ると主張すべきではありません。完全な移行が実現しない可能性があるからです。より妥当な解釈は、秩序ある移行によって実用的な不確実性を狭め、Orchardの正当な残高に対する信頼を高めることができ、プールの秘密取引履歴を書き換えることなく達成できることです。
Orchard保有者およびウォレット利用者に対する残存リスク
脆弱性が修正される前に偽造が発生した場合、正当なOrchard残高の回収可能性が、残る最も深刻な理論的リスクである。Shielded Labsはこのシナリオは可能性が低いと考えているが、偽造された資金が存在し、正当なユーザーの前に引き出された場合、その後の保有者は最終的にプールの引き出し上限に達する可能性がある。両方のノートが以前の脆弱な回路下で受け入れられた後、プロトコルは所有履歴に基づいて偽造ノートと正当なノートを区別することはできず、許可される合計数量のみを制限できる。現在のところ、Orchard保有者がこの結果に直面しているという証拠はなく、早期の移行活動でも会計上の不足は確認されていない。しかし、「悪用の証拠がない」と「悪用が一切発生しなかったという証明」は本質的に異なる結論であるため、この尾部リスクを説明することは必要である。
ユーザーは、ウォレットの互換性、サービスの可用性、プライバシーに関する実用的な移行リスクにも直面します。資金を安全に移動するには、ウォレットがIronwoodネットワークのルールおよびOrchardからIronwoodへの移行プロセスをサポートしている必要があります。取引所、保管業者、ウォレットプロバイダーは、インフラをアップグレードしている間、一時的にZECの入金または出金を一時停止する可能性があり、これにより残高が一時的に利用できなくなることがあります。ただし、この状況は資金が失われたことを示すものではありません。移行により、各プール内のシャーディッドトランザクションの活動はプライバシーが保たれたまま、プール間で移動される価値の数量とタイミングが露呈する可能性があります。リモートウォレットサービスは、さらに移行リクエストをユーザーのIPアドレスに関連付ける可能性があり、ネットワークレベルでのプライバシーリスクを生じさせます。ユーザーは、公式ウォレットのサポートを確認し、復元情報を保護し、安全なバックアップを保持し、サポートされている場合はTorやNymなどのプライバシー保護型ネットワークツールの利用を検討すべきです。IronwoodはZECの供給の整合性を大幅に強化しますが、安全な移行には信頼できるウォレットソフトウェア、慎重なユーザー行動、そして広範なZcashエコシステムからの透明性のあるサポートが依然として必要です。
Zooko WilcoxによるZcashの供給量はすでに検証可能であるという声明は、Ironwoodアップグレードの最も重要な成果を反映している：ユーザーは、開発者の保証に完全に依存したり、Orchardの残高がすべて移行されるのを待たなくても、利用可能なZEC供給の健全性を評価できるようになった。Ironwoodはクリーンなシャウドプールを構築し、Orchardに関連する不確実性を分離し、仮想的な過剰価値が循環するZECとして機能し続けることを防ぐコンセンサスルールを適用する。形式的に検証された残高整合性の特性により、Orchardで発見されたような検出不可能な偽造脆弱性を防ぐように新しいプールが設計されていることがさらに保証される。
正確な結論は、IronwoodがOrchardのバグが一度も悪用されなかったことを証明しているわけではないことである。歴史的な悪用の有無は不明であり、現在のところメインネット上で偽造されたZECが生成されたという証拠は存在しない。Ironwoodが証明しているのは、仮想的な過剰なOrchard価値が秘密裏に継続して循環したり、Zcashエコシステムの他の部分に自由に移動したりできないということである。移行データは徐々に正当な残高への信頼を高める可能性があるが、ウォレットの互換性、プライバシーの露出、そして遅れたOrchard引き出しにおける理論的な回復可能性リスクは依然として注意を要する。ZEC保有者にとって、このアップグレードは供給の検証可能性を大幅に向上させる一方で、プライバシーに焦点を当てた仮想通貨システムにおいて、正確な言語使用、独立した検証、慎重なセキュリティ実践が依然として不可欠であることを示している。
|
KuCoinは9周年を記念して、独自の報酬、取引アクティビティ、期間限定オファーが満載の特別プラットフォームキャンペーンを開催中です。取引所が9年間の成長とイノベーションを祝うこの機会をお見逃しなく。今すぐ公式キャンペーンページをご覧ください：
|
アイアンウッドは新しいZcashトークンですか、それとも別の仮想通貨ですか？
いいえ、Ironwoodは、Zcash NU6.3ネットワークアップグレードを通じて導入された新しいシャードされたバリュープールであり、独立した仮想通貨、ブロックチェーン、または代替トークンではありません。ZECはZcashネットワークのネイティブ資産であり、そのティッカー、貨幣政策、所有規則は変更されていません。保有者はZECを「Ironwoodトークン」に交換したり、エアドロップを申請したり、トークン契約に資金を送金したりする必要はありません。特別なIronwoodコインの変換を提供するウェブサイトやソーシャルメディアアカウントには注意が必要です。正当な移行は、互換性のあるZcashウォレットソフトウェアを通じて行われます。
どのZEC保有者がOrchardからIronwoodへの移行を完了する必要がありますか？
移行は、廃止されたOrchardシャールドプールにZECを保有しているユーザーにとって主に関係します。透明プール、Sapling、クレジットプラットフォーム口座、またはすでにIronwoodを使用しているウォレットに保有しているZECは、同じOrchard移行プロセスを必要としません。自己管理ユーザーは、アクションを取る前にウォレットのプールレベルの残高内訳を確認してください。1つのウォレットには、複数のZcash価値プールに資金が含まれている可能性があります。Orchard資金は正当な所有者と引き続き関連付けられていますが、これらの資金をIronwoodに移動するには、更新されたウォレットが移行トランザクションをサポートしている必要があります。
コールドプラットフォーム利用者はZECを手動で移行する必要がありますか？
中央集権的な取引プラットフォームまたは Custodian を通じて ZEC を保有するユーザーは、サービスが基盤となるウォレットインフラを制御しているため、一般的に Orchard から Ironwood への技術的な移行を自ら行いません。プロバイダーは、ノード、ウォレットソフトウェア、および入金または出金システムの更新を担当します。ただし、インフラのアップグレード中に入金や出金が一時的に停止される可能性があるため、資金を転送する前にプラットフォームの現在の Zcash ネットワーク状況を確認してください。サービスの一時停止は資金が失われたことを自動的に意味するものではありませんが、出金を開始する前に、Ironwood トランザクションがサポートされているという公式な確認を待つ必要があります。
ZECをOrchardから移動する期限はありますか？
Ironwoodの設計は、正当なOrchard残高を自動的に没収または無効化する普遍的な期限を設けていません。移行は任意であり、ウォレットプロバイダー、預託者、個々の保有者が異なる速度で移行するため、長期にわたって継続されます。一部の資金は、秘密鍵を紛失した場合や、経済的に振替が不可能なほど残高が小さいため、永続的に残る可能性があります。ただし、Orchardはもはや通常のシャウド活動の現在の送信先ではないため、資金を使用したい保有者は、すべての古いウォレットが無期限に機能し続けると想定するのではなく、サポートされているウォレットソフトウェアを通じて最終的に移行する必要があります。
ユーザーはどのようにしてZcashウォレットがIronwoodをサポートしているかを確認できますか？
ユーザーは、NU6.3、Ironwood、またはZIP 318 Orchard移行のサポートに関する明確な記述を含むウォレット開発者の公式リリースノートまたはサポートドキュメントを確認する必要があります。ウォレットは、認証済みのウェブサイト、公式アプリストアの掲載ページ、または認証済みのソフトウェアリポジトリからのみダウンロードまたは更新する必要があります。互換性のあるバージョンでは、OrchardとIronwoodの残高が別々に表示されるか、組み込みの移行オプションが提供される場合があります。ZECを移動する前に、ユーザーは回復用フレーズまたはウォレットのバックアップが安全であることを確認し、実用可能な場合は较小な残高でプロセスをテストすることを検討してください。既存のZcashアドレスは引き続き使用可能ですが、Ironwoodへの正しいルーティングには更新されたウォレット実装が必要です。
アイアンウッドは、トランスペアレントまたはサプリングのZEC残高を変更しますか？
No。Transparent、Sapling、Orchard、Ironwoodは、同じZcashブロックチェーン内の別々のバリューポールであり、Ironwoodアップグレードは他のポールに保有されているZECを自動的に交換したり無効にしたりしません。Transparent残高は、取引詳細が公開されるまま動作し続け、Saplingは古いシャーデッドオプションです。ただし、ウォレットやサービスの対応はポールごとに異なるため、ユーザーは選択したソフトウェアがどの取引タイプをサポートしているかを確認する必要があります。ZECを一つのポールから別のポールへ移動することは、基盤となる資産の変更ではなく、オンチェーントランザクションです。
免責事項：本記事は情報提供を目的としたものであり、財務または投資アドバイスを構成するものではありません。仮想通貨の価格は非常に変動が激しいため、読者は財務判断を下す前に、最新のデータを確認し、独自の調査を行ってください。
免責事項: このページは、お客様の便宜のためにAI技術を使用して翻訳されています。最も正確な情報については、元の英語版を参照してください。