DAG-BFT vs Chain-BFT アーキテクチャの本質的分岐

ウィキ上の位置づけ

この項目は システム基盤 配下に位置する。隣接する文脈は フィンテック、より広いシステム境界は スマートコントラクト bytecode フォレンジック — 三層 verify 技術 とあわせて読む。

[!info] 要約 現代 BFT コンセンサスアルゴリズムは 2 大流派に分かれる:Chain-BFT（HotStuff / Tendermint / Threshold Simplex / Malachite）は block をチェーン化、DAG-BFT（Narwhal / Bullshark / Mysticeti）は mempool を 合意形成の第一級対象 に昇格する。本質的な分岐は性能ではなく mempool の抽象方法にある —— Chain-BFT は決済シナリオ（監査フレンドリー）に適し、DAG-BFT は高スループットシナリオ（100k+ TPS）に適する。Tempo と Arc はいずれも Chain-BFT を採用。

2 大流派の比較:

Tempo と Arc が Chain-BFT を選んだ理由:

1. 監査フレンドリー:決済シナリオでは取引 1 件ごとに監査可能性が必要、DAG history の展開は複雑すぎる
2. TPS は既に充分:ステーブルコイン決済は 100K+ TPS を必要としない（Visa グローバルで約 24K TPS）
3. 学術的成熟度が高い:HotStuff と Tendermint の論文・実装はいずれも大規模に検証済み
4. 形式仕様検証がより実装しやすい:Threshold BFT コンセンサスの Rust 化潮流 は Chain-BFT 体系の下でより直接的

DAG-BFT が優位なシナリオ:

• Sui / Aptos 等の 高 TPS L1（global DEX 主要 5 社対照 における各社の L1 展開と対照）
• Solana 類似設計（PoH + Tower BFT は DAG 的）
• 将来の AI agent マイクロペイメントシナリオ（毎秒数百万件の 1 セント未満の取引）

学術フロンティア:

• Mysticeti (Sui, 2024):DAG-BFT でサブ秒 ファイナリティ を実現
• Bullshark (2022, Aptos / Sui):第一級 mempool 思想の正式化
• Threshold Simplex (2025, Tempo):Chain-BFT + BLS aggregation のエンジニアリング収斂
• Malachite (2025, Arc):Chain-BFT + Quint formal verification パラダイム

論文インデックス:

• HotStuff: Yin et al. 2019 (https://arxiv.org/abs/1803.05069)
• Narwhal & Bullshark: Spiegelman et al. 2022
• Mysticeti: Babel et al. 2024
• Threshold Simplex: Tempo ブログ / Paradigm research
• Malachite: Informal Systems 2025

適用判断フレームワーク:

• 決済 / 清算 → Chain-BFT（プロトコル更新トリガー —— 商業協業再構築とイベントアンカリング機構 における機関チェーンの線形監査可能性への選好と対照）
• ゲーム / 高頻度 → DAG-BFT
• 汎用 L1 → 両者いずれも可（エコシステム目標に依存）

関連項目

• Wiki Index
• Threshold BFT コンセンサスの Rust 化潮流
• 耐量子署名 day-1 統合

出典

• HotStuff: BFT Consensus in the Lens of Blockchain（Yin et al. 2019）— https://arxiv.org/abs/1803.05069
• Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus（Danezis et al. 2022）— https://arxiv.org/abs/2105.11827
• Bullshark: DAG BFT Protocols Made Practical（Spiegelman et al. 2022）— https://arxiv.org/abs/2201.05677
• Mysticeti: Reaching the Limits of Latency with Uncertified DAGs（Babel et al. 2024）— https://arxiv.org/abs/2310.14821
• Malachite — Flexible BFT consensus engine in Rust（Arc 採用の Chain-BFT 実装）— https://github.com/informalsystems/malachite
• Tempo 公式サイト（Chain-BFT 決済 L1 / Threshold Simplex）— https://tempo.xyz/