Abstract:Byzantine Fault Tolerant (BFT) systems are considered by the systems research community to be state of the art with regards to providing reliability in distributed systems. BFT systems provide safety and liveness guarantees with reasonable assumptions, amongst a set of nodes where at most f nodes display arbitrarily incorrect behaviors, known as Byzantine faults. Despite this, BFT systems are still rarely used in practice. In this paper we describe our experience, from an application developer's perspective, trying to leverage the publicly available and highly-tuned PBFT middleware (by Castro and Liskov), to provide provable reliability guarantees for an electronic voting application with high security and robustness needs. We describe several obstacles we encountered and drawbacks we identified in the PBFT approach. These include some that we tackled, such as lack of support for dynamic client management and leaving state management completely up to the application. Others still remaining include the lack of robust handling of non-determinism, lack of support for web-based applications, lack of support for stronger cryptographic primitives, and others. We find that, while many of the obstacles could be overcome with a revised BFT middleware implementation that is tuned specifically for the needs of the particular application, they require significant engineering effort and time and their performance implications for the end-application are unclear. An application developer is thus unlikely to be willing to invest the time and effort to do so to leverage the BFT approach. We conclude that the research community needs to focus on the usability of BFT algorithms for real world applications, from the end-developer perspective, in addition to continuing to improve the BFT middleware performance, robustness and deployment layouts.

ByzGame: byzantine generals game

ByzGame, a Visualized and Understandable BFT Consensus

Scalable Byzantine Consensus Via Hardware-Assisted Secret Sharing

Leaderless Byzantine Fault Tolerance

Reaching Consensus in the Byzantine Empire: A Comprehensive Review of BFT Consensus Algorithms

An Economic Model of Consensus on Distributed Ledgers

Flexible Byzantine Fault Tolerance

Byzantine Fault Tolerance For Distributed Ledgers Revisited

Three-party evolutionary game-based analysis and stability enhancement of improved PBFT consensus mechanism

MBFT: A Modular Byzantine Fault Tolerance Protocol for high adaptability

Rationals vs Byzantines in Consensus-based Blockchains

A Framework for Evaluating BFT.

BG: A Modular Treatment of BFT Consensus Toward a Unified Theory of BFT Replication

A Practical Dynamic Enhanced BFT Protocol.

On the Practicality of `Practical' Byzantine Fault Tolerance

The Blockchain Game: Synthesis of Byzantine Systems and Nash Equilibria

BigBFT: A Multileader Byzantine Fault Tolerance Protocol for High Throughput

Autobahn: Seamless high speed BFT

A practical byzantine fault tolerance improvement algorithm based on credit grouping-classification

Practical byzantine fault tolerance and proactive recovery