Overview
Explore a groundbreaking 18-minute video presentation from OOPSLA1 2023 conference on randomized testing of Byzantine fault-tolerant algorithms. Delve into ByzzFuzz, an innovative method for detecting errors in implementations of these algorithms through randomized testing. Learn how small-scope message mutations and insights from testing and fuzzing literature effectively uncover protocol logic and implementation bugs in real-world fault-tolerant systems. Discover the application of ByzzFuzz to production implementations of Tendermint, Ripple, and PBFT, revealing several bugs including a previously unknown fault-tolerance issue in Ripple's implementation. Gain insights into distributed consensus, Byzantine fault-tolerance, and random testing techniques that enhance the reliability of blockchain systems and fault-tolerant protocols.
Syllabus
[OOPSLA23] Randomized Testing of Byzantine Fault Tolerant Algorithms
Taught by
ACM SIGPLAN