この違いは重要である。ハードフォークは進展の同義語ではない。ノードが新しい有効性ルールを採用するか、正統なチェーンの追跡をやめるかを迫られるコンセンサス分岐である。Huaにハードフォークが含まれる可能性はあるが、有効化ルールが定められる前からこのフェーズをハードフォークと呼ぶことは、本来の論点を覆い隠す。すなわち、Midnightはネットワーク運営者を変更しながら、ユーザーやアプリケーションがすでに依存しているプライベート状態を無効化せずに済むのか、という問題である。
Midnightは2026年3月17日、連合型バリデーターモデルでジェネシスブロックを立ち上げた。The Blockの報道によると、初期の指定運営者にはGoogle Cloud、Worldpay、MoneyGram、Bullish、eToro、Blockdaemonなどが含まれる。設計は、独立した台帳・コンセンサスシステムに、ゼロ知識証明、Compactコントラクト、そして取引が公開データとプライベートデータの双方を含み得るハイブリッドモデルを組み合わせている。
従来の公開台帳では、ブロックをリプレイすることで移行を検証できる。ジェネシスから始め、各取引を実行し、結果として得られる状態ルートを比較する。プライバシーシステムには、これに加えて負担がある。チェーンはコミットメント、nullifier、証明を公開できるが、保有者がプライベートなnoteに対する権利を証明するために必要なデータである支出witnessはローカルに残る。ノードはwitnessを知ることなく、証明が有効であることを検証できる。しかし、台帳だけから全ウォレットのプライベート状態を再構築することはできない。
これが移行リスクの本質である。公開チェーンの状態は整合性を維持しなければならないが、システムはまた、オフラインのウォレットや利用頻度の低いウォレットが、ルール変更後も有効なwitnessを生成できる能力を維持しなければならない。バリデーターの同期を保ちながら古いnoteを使用不能にするアップグレードは、プライバシーを保護する移行の成功ではない。被害者が直ちには可視化されない状態消失イベントである。
互換性の対象範囲はコンセンサスより広い
MidnightのFAQによると、mainnetは最大13の許可制ノードから成る信頼された連合型バリデーターシステムの下で始まり、その後、段階的にパーミッションレス運用へ移行する。これは、Huaが権限とソフトウェアの前提の両方における移行であることを意味する。プロトコルが確立すべきなのは、より多くの主体がブロックを検証できるということだけではない。それらの主体が同じ公開入力から、同じ有効性判断を独立して再現することである。
その対象には、台帳のコミットメントツリー、nullifierルール、取引エンコーディング、証明検証鍵、Compact言語のセマンティクス、ウォレットのwitness生成、順序付けルール、バリデーターソフトウェア、ブリッジ証明が含まれる。それぞれは他と結び付いている。
証明回路のアップグレードを考えてみよう。回路とは、証明者が何を示さなければならないかを定義する制約付きプログラムである。noteがコミットメントツリーに存在し、使用済みではなく、秘密鍵によって認可されていることを、noteや秘密を開示せずに証明する場合がある。Huaが回路を変更するなら、Hua以前のnoteを旧回路で無期限に検証するのか、移行証明によって変換するのか、あるいはバージョン付き互換性レイヤーで包むのかを定義しなければならない。
危険なのは暗黙的な変換である。重要なプライベート情報がチェーン上に一度も存在しなかった場合、ウォレットは公開コミットメントだけから新しいwitness形式を安全に推論できない。プロトコルは、どの過去のコミットメントが支出可能であり続けるのか、どの証明鍵がそれらを検証するのか、ウォレットが旧・新の状態バージョンをまたぐ取引を作成できるのかを、正確に定めなければならない。
Midnightのノードリリースノートには、必須のバリデーターアップグレード、リプレイ動作、既知の同期問題など、具体的なノードおよびランタイムの互換性要件が記されている。これらは付随的な運用メモではない。より大規模な分散化への移行前であっても、履歴リプレイとバージョン調整がプロトコルセキュリティ上の懸案である証拠だ。
したがって、堅牢なHuaの設計では、すべてのレイヤーでバージョニングを明示すべきである。取引にはフォーマットバージョンが必要だ。noteとコミットメントにはバージョンタグ、または曖昧さのないドメイン分離が必要である。回路には固定された検証鍵と、各ランタイムバージョンで受け入れられる鍵の公開レジストリが必要となる。Compactコントラクトには、特にプライベート状態遷移がコンパイラ出力やライブラリの挙動に依存する場合、セマンティックバージョンの境界が必要である。プロトコルが特別に監査された変換経路を提供しない限り、バリデーターは互換性のない状態バージョンを混在させる取引を拒否しなければならない。
チェックポイントは必要だが十分ではない
状態ルートのチェックポイントは、連合型のブロック生成からより広範な検証への移行における自然なアンカーである。選定されたブロック高で、移行前のネットワークは状態ルート、ソフトウェアリリース、検証鍵セット、ブリッジの状態について合意する。移行後のバリデーターセットはその値から始める。これにより、新たな運営者セットが別の履歴をひそかに選択することを防ぐ。
ただし、チェックポイントは連合型期間が正しかったことを証明しない。次の体制がそれを受け入れることを証明するだけである。公開チェーンでは、独立した観測者が履歴をリプレイして状態ルートを検証できる。プライバシーチェーンでは、当時有効だった検証鍵に対して公開済みのすべての証明を確認できるが、隠された入力を調べることはできない。代わりにセキュリティモデルは、回路の健全性、正しい検証器コード、該当する場合の信頼できるセットアップ前提、そして有効なnullifierがnoteの二重支出を防ぐというルールに依存しなければならない。
だからこそ、信頼の最小化はレイヤーごとに測る必要がある。より大きなバリデーターセットは、ブロック生成における当初の運営者への依存を減らす。しかし、回路作成者、証明システムのセットアップ、アップグレード権限、ブリッジリレイヤー、ウォレット実装、またはチェックポイントを選択できる委員会への依存を自動的に取り除くわけではない。
したがって、重要な論点は、連合型でのローンチは分散化されていないというよく知られた批判よりも強い。KuCoinの報道によると、Cyber CapitalのJustin BonsはMidnightの分散化、コードの透明性、トークン配分に疑義を呈した。一方、Charles Hoskinsonは、より幅広いノード参加へ移行する過程において、このネットワークを連合型と表現した。論点は、連合型が本質的に正当性を欠くということではない。信頼性優先のローンチは合理的な導入選択となり得る。重要なのは、移行の発表は特権的統制の撤廃完了と同じではないという点だ。
Cardano Insight Labは、移行が実現するまでプライバシーと分散化の主張が統制されたバリデーターセットに依存し続けるため、連合型モデルは信頼性の問題を生むと論じた。Learn Midnightは、指定された機関運営者とblockchainの信頼最小化という約束の間にある緊張を認めつつ、この選択を意図的な信頼性とのトレードオフと位置付けた。
両方の見解が同じ監査対象を示している。連合型からの退出である。
Huaが公開すべきもの
真の分散化における節目には、新たなバリデーター名簿以上のものが必要だ。Huaは、有効化ブロック高、決定論的なランタイム成果物、旧・新の検証鍵、回路互換性マトリクス、コミットメントルートのチェックポイント、リプレイルール、ロールバック条件を公開すべきである。さらに、デュアルランを要求すべきだ。候補バリデーターが本番履歴を独立してリプレイし、チェックポイントからシャドーネットワークを検証し、有効化前にブロック、状態ルート、証明受け入れの結果を比較するのである。
ブリッジの有効化は別途ゲートすべきである。トラストレスブリッジは、接続される両チェーンのファイナリティと状態有効性の前提を引き継ぐ。新たなバリデーターセット、新たなランタイム、新たな証明ルールが初めて本番トラフィックに接するのと同時に、価値の移転を始めるべきではない。まずコンセンサスを安定させる。次に履歴リプレイを実証する。その後、独立監査の期間を経てブリッジ証明を有効化する。
CoinDeskによるロードマップの説明は、Huaを決定的な終着点のように見せた。Foundationの表現はより慎重である。これは分散化されたネットワークへ至る道のりにおけるフェーズだ。この違いが評価の指針となるべきである。
独立したバリデーター、ウォレット開発者、ブリッジ実装者がそれぞれ、非公開の例外リストや信頼された運営者の保証なしに、公開された成果物からそのセキュリティ上の主張を再現できるなら、Huaには意味がある。ユーザーが秘密を保持し、すべてのバリデーターがその結果を検証でき、過去を維持するためにいずれの側も相手を信頼する必要がないときにのみ、プライベート状態は分散化を生き残る。
Jared Zimmerman is not a person. No notebook, no deadlines, no face behind the name — just a byline this newsroom publishes under. Here is the production line underneath it, because a name beside a portrait reads like a journalist, and this one is not one.
The models. Writing: gpt-5.6-luna and gpt-5.6-terra. Out on the live web: gpt-5.6-terra and gpt-5.6-luna. Pictures: gpt-image-1 and flux. Swap one in the newsroom and this line swaps with it — it is read off the machines, not typed here.
How a story is made
- Research. The searching model reads around the story, pointed at primary sources — the filing, the post, the repository — rather than at somebody else's write-up of them.
- Writing. The writing model drafts it against what was found, at Jared Zimmerman's usual length and in Jared Zimmerman's usual register.
- The loop. A reviewer reads the draft and sends it back with notes. Then reads it again. A piece can go round several times before it leaves the building.
- Enrichment. A quotation has to appear word for word on the page it is taken from. A chart may only use figures that appear in the source it cites. Whatever fails is dropped, and the reason is kept.
- Fact check. A last pass hunts for claims the article makes and its sources do not.
- A human stop. Sensitive subjects are held for a person to read before publication, and a person can kill any of it at any point.
If that sounds less like a newsroom and more like a factory: quite. It is called Press Factory.
この記事はAIによって生成され、公開前の人による確認を経ずに自動的に公開された。 本記事は英語の原文を機械翻訳したものである。署名は原文の執筆者による。
How this article was made
The article was produced by the Grandmonts Media News Engine using automated research, drafting and verification workflows. No human editor reviewed the article before publication. Grandmonts Media remains responsible for the published content. Errors can be reported at office@grandmonts.cz.