混合故障下で遅延に適応するDAG合意方式Hydrozoan
Hydrozoan: Latency-Adaptive DAG Consensus under Mixed Byzantine and Crash Faults
この論文をやさしく読む
ひとことで言うと
地理的に分散した検証者間で、故障の数と配置に応じて2遅延または3遅延でコミットするDAG合意方式を提案した研究。
何に役立つ？
分散システムの配置と故障条件に応じ、合意の遅延と耐障害性を設計する際の候補になる。要旨での比較は評価環境での結果である。
この研究の面白いところ
高速経路と通常経路が同じDAGを使い、先に成立した経路でコミットする。高速経路が不利な配置でも3遅延の経路を維持する。
どこまで分かった？
故障モデルと検証者数にはn＝3f＋c＋2p＋1などの条件がある。約25％の改善は高速定足数が低遅延地域に収まる地理的な評価条件で得られた結果。実運用での性能は要旨に示されていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
有向非巡回グラフ（DAG）に基づく合意プロトコルは、高い処理量と、n＝3f＋1の合意で最適な3メッセージ遅延という限界を達成できる。2遅延の方式もあるが、耐障害性を下げて5f＋1型の委員会を必要とするか、DAGの高い処理量を犠牲にするフォールバックに依存する。本論文は、f人のByzantine故障とc人の停止故障を想定し、検証者数n＝3f＋c＋2p＋1で動作する、2種類のコミット経路を持つDAGプロトコルHydrozoanを提案する。故障した検証者が高々p人ならリーダーは2メッセージ遅延で、それ以外は3遅延でコミットする。追加のメッセージやビュー変更は不要で、各ラウンドに複数のリーダーを置ける。両経路は同じDAG上で評価され、新たな段階的間接規則で整合させることにより、誠実な検証者全員が同じ決定に至る。 地理的に分散した環境では、どちらの経路が速いかはプロトコルそのものではなく地理的配置の性質であり、遠隔地域まで到達するラウンドの費用が、到達しないラウンドよりはるかに高いことを示す。f、c、pを調整すると、配置に応じた場所に高速経路の定足数を置き、2メッセージ遅延でコミットできる。設定が適切でなくても、Hydrozoanは先に成立した経路でコミットするため、3遅延でのコミットが可能である。さらに、高速経路で追加の1故障に耐える変種Optimal-Hydrozoanを示す。これは既知の下界と一致する初めての構成である。両プロトコルの安全性と活性はLean 4で機械検証した。地理的に分散した環境での評価では、HydrozoanはMysticetiと同等の処理量を示し、高速経路の定足数が低遅延の地域に収まる場合、コミットは約25％速い。そうでない場合や故障数がpを超える場合は、従来の2遅延方式が停止する条件でも3メッセージ遅延へ切り替わる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
DAG-based consensus protocols can achieve great throughput and the optimal three-message-delay limit for n = 3f+1 consensus. While two-delay protocols exist, they pay with reduced resilience (requiring 5f+1-style committees) or rely on fallbacks that sacrifice the DAG's high throughput. This paper introduces Hydrozoan, the first DAG protocol with a dual commit path under a hybrid fault model of f Byzantine and c crashed validators, on n = 3f+c+2p+1 validators. Leaders commit in two message delays whenever at most p validators are faulty, and in three otherwise, with no extra messages, no view changes, and multiple leaders per round. Both paths are evaluated on the same DAG, using a novel graded indirect rule to reconcile them so that every honest validator reaches the same decision. We show that under geo-distributed conditions, which path is faster is a property of geography rather than the protocol, as rounds reaching a remote region cost far more than those that do not. The (f, c, p) knobs place the fast quorum where the deployment requires it, allowing a commit in two message delays. If misconfigured, Hydrozoan can still commit in three message delays: Hydrozoan commits on whichever path fires first. We also present Optimal-Hydrozoan, a variant that tolerates one more fault on the fast path, the first construction to match the known lower bound. The safety and liveness of both protocols are machine-checked in Lean 4. Our geo-distributed evaluation shows that Hydrozoan matches Mysticeti's throughput, commits ~25% faster when the fast quorum fits fast regions, and falls back to three message delays when it does not or past p faults, where existing two-delay protocols stall.
arXiv ID: 2609.25918 ／ 要約の誤りについて