Randomized Testing of Byzantine Fault Tolerant Algorithms

on YouTube ↗18m

" summary

ByzzFuzz is a randomized tester that injects bounded faults (F faulty processes, D network perturbation rounds, C mutation rounds) and applies small-scope message mutations (structure-preserving tweaks like incrementing a round number or replaying a past hash) to live implementations. It runs hundreds of randomized executions per configuration, finds implementation bugs in PBFT, a potential liveness issue in Tendermint, and two theoretical plus one previously unknown Ripple/XRP Ledger fault that developers confirm and fix; baseline fuzzers miss many of these.

AI-written summary · about

" chapters (10)

1. 0:00Randomized testing of BFT algorithms
2. 3:54Verifying BFT implementations
3. 5:45BISA's randomized testing method
4. 7:10Executing consensus protocols
5. 8:35BISA detects Ripple bug
6. 11:22BISA results in blockchain systems
7. 13:31Conclusion and future directions
8. 14:33Q&A: Participant count
9. 16:19Q&A: Adapting to other blockchains
10. 17:21Q&A: Expanding mutations

" related talks

• 36mFlexible Byzantine Fault ToleranceKartik Nayak · Large-Scale Consensus and Blockchains 2019
• 17mThe Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocols...Mohammad Javad Amiri, Chenyuan Wu, Divyakant Agrawal, Amr El Abbadi, Boon Thau Loo, Mohammad Sadoghi · 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24)
• 19mCAFault: Enhance Fault Injection Technique in Practical Distributed Systems via...Yu Jiang, Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Zhen Yan · USENIX ATC '25
• 15mAlea-BFT: Practical Asynchronous Byzantine Fault ToleranceDiogo S. Antunes, André Breda, Matheus Guilherme Franco, Henrique Moniz, Rodrigo Rodrigues, Afonso N. Oliveira · 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24)
• 14mModel-guided Fuzzing of Distributed SystemsRupak Majumdar, Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan, Srinidhi Nagendra · OOPSLA 2025
• 13mUpFuzz: Detecting Data Format Incompatibility Bugs during Distributed Storage System...Ke Han, Sruthi P C, Yayu Wang, Yaoxu Song, Bishal Basak Papan, Junwen Yang, Pedro Fonseca, Yongle Zhang · NSDI '26
• 42mJepsen 9: A Fsyncing FeelingKyle Kingsbury · GOTO Chicago 2018
• 17mOne-Size-Fits-None: Understanding and Enhancing Slow-Fault Tolerance in Modern...Yuxuan Jiang, Peng Huang, Guangtao Xue, Ruiming Lu, Yunchi Lu · NSDI '25