Demo Abstract: ByzGame, a Visualized and Understandable BFT Consensus

Author/Creator ORCID

Date

2019-12-09

Department

Program

Citation of Original Publication

James R. Clavin and Sisi Duan. 2019. Demo Abstract: ByzGame, a Visualized and Understandable BFT Consensus. In 20th International Middleware Conference Demos and Posters (Middleware Demos and Posters ’19), December 9–13, 2019, Davis, CA, USA. ACM, New York, NY, USA; https://dl.acm.org/doi/10.1145/3366627.3368109

Rights

This item is likely protected under Title 17 of the U.S. Copyright Law. Unless on a Creative Commons license, for uses protected by Copyright Law, contact the copyright holder or the author.

Subjects

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.