DeepAI AI Chat
Log In Sign Up

Bernoulli Meets PBFT: Modeling BFT Protocols in the Presence of Dynamic Failures

by   Martin Nischwitz, et al.
Berlin Institute of Technology (Technische Universität Berlin)

The publication of the pivotal state machine replication protocol PBFT laid the foundation for a large body of BFT protocols. While many successors to PBFT have been developed, there is no general technique to compare these protocols under realistic network conditions such as unreliable links. In this paper, we introduce a probabilistic model for evaluating BFT protocols in the presence of dynamic link and crash failures. Based on modeling techniques from communication theory, the network state of replicas is captured and used to derive the success probability of the protocol execution. To this end, we examine the influence of link and crash failure rates as well as the number of replicas. The model is derived from the communication pattern, making it implementation-independent and facilitating an adaptation to other BFT protocols. The model is validated with a simulation of PBFT and BFT-SMaRt. Further, a comparison in protocol behavior of PBFT, Zyzzyva and SBFT is performed and critical failure thresholds are identified.e thresholds are identified.


page 1

page 2

page 3

page 4


Matchmaker Paxos: A Reconfigurable Consensus Protocol [Technical Report]

State machine replication protocols, like MultiPaxos and Raft, are at th...

AggFT: Low-Cost Fault-Tolerant Smart Meter Aggregation with Proven Termination and Privacy

Smart meter data aggregation protocols have been developed to address ri...

Quorum Tree Abstractions of Consensus Protocols

Distributed algorithms solving agreement problems like consensus or stat...

Achieving State Machine Replication without Honesty Assumptions

Current standards for player characterisation in tokenised state machine...

Modeling the Raft Distributed Consensus Protocol in LNT

Consensus protocols are crucial for reliable distributed systems as they...

Scaling Replicated State Machines with Compartmentalization [Technical Report]

State machine replication protocols, like MultiPaxos and Raft, are a cri...

Modeling MRSA decolonization: Interactions between body sites and the impact of site-specific clearance

MRSA colonization is a critical public health concern. Decolonization pr...