Threshold BFT コンセンサスの Rust 化潮流
[!info] TL;DR
2025-2026 年の新興ステーブルコインおよび決済パブリックチェーンは、閾値 BFT コンセンサス + BLS 集約署名 + Rust 実装という技術的組み合わせを広く採用している。Tempo は Threshold Simplex + BLS12-381 を採用しており（finalized block ごとに 240 バイトの集約証明書を付与）、Arc は Malachite + Quint formal verification の co-design を採用している。この組み合わせはブリッジコストを 1 桁低減することを可能とし、Rust のパフォーマンスとセキュリティは Go で実装された CometBFT を上回る。
技術スタックの分解：
| コンポーネント | Tempo | Arc |
|---|---|---|
| コンセンサスアルゴリズム | Threshold Simplex | Malachite（Tendermint BFT の変種） |
| 実装言語 | Rust | Rust |
| 署名 | BLS12-381 + DKG | BLS + 5 つのカスタム precompiles |
| Actor モデル | 8 つの tokio actor + mpsc mailbox | actor-based |
| 形式化検証 | — | Quint + TLA+ Model-Based Testing（co-design 同 PR） |
| Validator 集合管理 | 完全にオンチェーン化（validator_config_v2 precompile） |
PermissionedValidatorManager |
BLS 集約署名のブリッジ経済学：
- finalized block ごとに 240 バイトの BLS 集約証明書を付与（Tempo 実測値）
- 跨チェーンブリッジで 1 つの block を検証 = 1 つの 240B 署名を検証することと等価（伝統的な 1KB+ multi-sig との対比）
- 跨チェーンブリッジの calldata cost は 5-10 倍低減可能である
Malachite の形式化検証パラダイム：
- Rust 実装と Quint 仕様が同一の PR 内で並行進化している
- TLA+ Model-Based Testing:各状態機械変更は先に Quint で検証された上で Rust に実装される
- CometBFT（Go で実装された Cosmos コンセンサス）にはこのパラダイムが存在しない → セキュリティ上の優位性
Rust 化の産業トレンド：
- Reth（Paradigm）:Ethereum 実行クライアント
- op-reth:OP Stack 実行
- base/base:Base 自前の Rust フルスタック（109 crates）
- arc-node:Circle Arc（25 crates）
- tempo:Stripe Tempo（26 crates）
- Malachite:Informal Systems が開発（Circle が 2025 年に IP を買収）
今後の方向性：
- パフォーマンス:Threshold Simplex および Malachite の実測 TPS は、メインネットデータでの検証を待つ段階にある
- 相互運用:BLS 集約署名による跨チェーン検証の標準化
- 形式化:Quint / TLA+ 等のツールと Rust 実装の協調 CI/CD
市場構造への含意：コンセンサスメカニズムの Rust 化潮流を理解することは、ステーブルコインチェーン投資対象（Circle Arc / Tempo / 将来の候補）の技術リスク評価において有用である。「Tendermint Go の時代の終焉、Rust BFT が新しいベースライン」というのが 2026 年における明確なトレンドである。
出典: projects/blockchain-research-2026-05/tempo/technology.md · ark/technology.md
Related
- Wiki Index
- Token 戦略三態ゲーム
- 耐量子署名 day-1 統合