Threshold BFT コンセンサスの Rust 化潮流

ウィキ上の位置づけ

この項目は システム基盤 配下に位置する。ピア比較・対照文脈として DAG-BFT vs Chain-BFT アーキテクチャの本質的分岐 を参照し、より広いシステム上および規制上の境界については フィンテック とあわせて読む。

関連項目

• Wiki Index
• Token 策略三态博弈
• 抗量子签名 day-1 集成

出典

• Malachite — Flexible BFT consensus engine in Rust（Arc 採用）— https://github.com/informalsystems/malachite
• Quint — TLA ベースの実行可能仕様言語（Malachite との co-design）— https://github.com/informalsystems/quint
• Tempo 公式サイト（Threshold Simplex を採用する決済 L1）— https://tempo.xyz/
• HotStuff: BFT Consensus in the Lens of Blockchain（Chain-BFT の理論基盤）— https://arxiv.org/abs/1803.05069