The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocols...
Talkat 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) · 2024-04-16..04-18·
summary
Bedrock is a unified platform that encodes BFT protocols as points in a 20 design dimensions space, implements them from a domain-specific language, and runs fair experiments with a single runtime and plugin manager. It demonstrates concrete trade-offs (e.g., remove a communication phase by moving from 3f+1 vs 5f+1 replicas at the cost of +2f nodes), shrinks implementation size versus handwritten code, reproduces published throughput/latency curves, supports partially synchronous protocols today, and outlines verification (TLA+) and ML-driven protocol switching as next steps.
AI-written summary · about
chapters (11)
- 0:00Bedrock platform intro
- 1:23State machine replication
- 2:48BFT protocol challenges
- 3:52Bedrock's BFT design space
- 6:20BFT protocol stages
- 7:03BFT protocol dimensions
- 9:08Protocol design choices
- 11:16Bedrock implementation
- 13:29Protocol validation
- 14:14Bedrock future directions
- 15:40Scaling and ML integration
related talks
36mFlexible Byzantine Fault Tolerance
01h 05mPBFT and Blockchains
18mRandomized Testing of Byzantine Fault Tolerant Algorithms
30mStrengthening Reliable Decentralized Systems at Interchain
18mShipwright: A Modular Framework for Verifying Liveness of Byzantine Fault Tolerant(…)
17mBFTBrain: Adaptive BFT Consensus with Reinforcement Learning
17mIn Link We Trust: BFT at the Speed of CFT using Switches
29mBuilding Probabilistic BFT Protocols Through Subsampled Voting