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

The publication of the pivotal state machine replication protocol PBFT laid the foundation for a body of BFT protocols. We introduce a probabilistic model for evaluating BFT protocols in the presence of dynamic link and crash failures. The model is derived from the communication pattern, facilitating an adaptation to other protocols. The 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. A comparison in protocol behavior of PBFT, Zyzzyva and SBFT is performed.

---

1. Track 2: Computer Science and Systems

---

2. Session: 14th Workshop on Computer Aspects of Numerical Algorithms