形式化仕様 ↔ 実装の co-design

ウィキ上の位置づけ

この項目は システム基盤 に属する。隣接・対照領域として Threshold BFT コンセンサスの Rust 化潮流 を参照し、より広いシステム境界・規制境界については フィンテック とあわせて読む。

関連項目

• Wiki Index
• Threshold BFT コンセンサスの Rust 化潮流
• DAG-BFT vs Chain-BFT アーキテクチャの本質的分岐
• 耐量子 day-1 統合

出典

• Quint — TLA ベースの実行可能仕様言語（モデルベーステスト / co-design）— https://github.com/informalsystems/quint
• Malachite — Rust 製の柔軟な BFT コンセンサスエンジン（仕様 ↔ 実装 co-design の対象）— https://github.com/informalsystems/malachite