论文标题
Bernoulli符合PBFT：在存在动态故障的情况下建模BFT协议
Bernoulli Meets PBFT: Modeling BFT Protocols in the Presence of Dynamic Failures
论文作者
论文摘要
关键状态机器复制协议PBFT的发布为大量BFT协议奠定了基础。尽管已经开发了许多接替PBFT，但是在现实的网络条件（例如不可靠的链接）下，没有一般技术可以比较这些协议。在本文中，我们引入了一个概率模型，用于在存在动态链接和崩溃失败的情况下评估BFT协议。基于通信理论的建模技术，捕获了复制品的网络状态并用于得出协议执行的成功概率。为此，我们研究了链接和碰撞故障率以及复制品数量的影响。该模型源自通信模式，使其与实现无关，并促进对其他BFT协议的适应。通过模拟PBFT和BFT-SMART验证该模型。此外，对PBFT，zyzzyva和SBFT的协议行为进行了比较，并确定了关键的故障阈值。确定了阈值。
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.
