The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocols Analysis, Implementation, and Experimentation
Mohammad Javad Amiri, Chenyuan Wu, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo, Mohammad Sadoghi
Abstract
Byzantine Fault-Tolerant (BFT) protocols cover a broad spectrum of design dimensions from infrastructure settings, such as the communication topology, to more technical features, such as commitment strategy and even fundamental social choice properties like order-fairness. The proliferation of different protocols has made it difficult to navigate the BFT landscape, let alone determine the protocol that best meets application needs. This paper presents Bedrock, a unified platform for BFT protocols analysis, implementation, and experimentation. Bedrock proposes a design space consisting of a set of dimensions and explores several design choices that capture the trade-offs between different design space dimensions. Within Bedrock, a wide range of BFT protocols can be implemented and uniformly evaluated under a unified deployment environment.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 1b09e664-2b3a-43fc-b643-dfec88489656Cited by top-tier papers3
- Ipotane: Balancing the Good and Bad Cases of Asynchronous BFTXiaohai Dai, Chaozheng Ding, Hai Jin, Julian Loss et al.NDSS 2026 · 3 citations
- Cross-Consensus Reliable Broadcast and its ApplicationsYue Huang, Xin Wang, Haibin Zhang, Sisi DuanNDSS 2026 · 2 citations
- Hamava: Fault-tolerant Reconfigurable Geo-Replication on Heterogeneous ClustersTeias Mane, Xiao Li, Mohammad Sadoghi, Mohsen LesaniICDE 2025 · 2 citations
Builds on28
- A Secure Sharding Protocol For Open BlockchainsLoi Luu, Viswesh Narayanan, Chaodong Zheng, Kunal Baweja et al.CCS 2016 · 1,392 citations
- OmniLedger: A Secure, Scale-Out, Decentralized Ledger via ShardingEleftherios Kokoris-Kogias, Philipp Jovanovic, Linus Gasser, Nicolas Gailly et al.S&P 2018 · 1,145 citations
- RapidChain: Scaling Blockchain via Full ShardingMahdi Zamani, Mahnush Movahedi, Mariana RaykovaCCS 2018 · 1,084 citations
- The Honey Badger of BFT ProtocolsAndrew Miller, Yu Xia, Kyle Croman, Elaine Shi et al.CCS 2016 · 974 citations
- Enhancing Bitcoin Security and Performance with Strong Consistency via Collective SigningEleftherios Kokoris-Kogias, Philipp Jovanovic, Nicolas Gailly, Ismail Khoffi et al.USENIX Security 2016 · 769 citations
Related papers
- BEAT: Asynchronous BFT Made PracticalSisi Duan, Michael K. Reiter, Haibin ZhangCCS 2018 · 255 citations
- Compositional Verification of Composite Byzantine ProtocolsQiyuan Zhao, George Pîrlea, Karolina Grzeszkiewicz, Seth Gilbert et al.CCS 2024 · 3 citations
- Flexible Advancement in Asynchronous BFT ConsensusShengyun Liu, Wenbo Xu, Chen Shan, Xiaofeng Yan et al.SOSP 2023 · 19 citations
- OptiLog: Assigning Roles in Byzantine ConsensusHanish Gogada, Christian Berger, Leander Jehl, Hans P. Reiser et al.EuroSys 2026 · 1 citation
- BFT Protocol ForensicsPeiyao Sheng, Gerui Wang, Kartik Nayak, Sreeram Kannan et al.CCS 2021 · 2 citations
