ByzGame, a Visualized and Understandable BFT Consensus

James R. Clavin,Sisi Duan
DOI: https://doi.org/10.1145/3366627.3368109
2019-01-01
Abstract:Byzantine Fault Tolerance (BFT) is the only generic technique that tolerates arbitrary failures in distributed systems, and can be used as a core primitive in building consensus in blockchains. Numerous BFT protocols have been proposed to improve scalability and throughput, but some have been found to have correctness issues resulting from system design and implementation. One of the major challenges is understand-ability of both the theory and implementation. Specifically, BFT consensus should be made understandable so that it is easy to reason about the correctness theoretically and also easy to understand the correctness of the implementation. To address the challenge, in August 2018 we began development of a web application called ByzGame. ByzGame is designed for visualizing BFT protocols, connecting the visualization with the backend BFT implementation, and making both BFT consensus theory and implementation more understandable.
What problem does this paper attempt to address?