[论文解读] Good-case Latency of Byzantine Broadcast: A Complete Categorization

Ittai Abraham, Kartik Nayak+2 more|arXiv (Cornell University)|Feb 14, 2021

Distributed systems and fault tolerance参考文献 28被引用 6

一句话总结

本文对认证环境下同步、部分同步和异步模型中拜占庭容错广播的最优情况延迟提供了完整表征。它提出了一种新型协议形式——部分同步拜占庭广播（psync-BB），并建立了紧致的界限，证明仅当 𝑛 ≥ 5𝑓 − 1 时，2轮最优情况延迟才可实现，从而解决了BFT状态机复制（BFT SMR）协议设计与性能分析中长期存在的模糊性问题。

ABSTRACT

This paper explores the problem good-case latency of Byzantine fault-tolerant broadcast, motivated by the real-world latency and performance of practical state machine replication protocols. The good-case latency measures the time it takes for all non-faulty parties to commit when the designated broadcaster is non-faulty. We provide a complete characterization of tight bounds on good-case latency, in the authenticated setting under synchrony, partial synchrony and asynchrony. Some of our new results may be surprising, e.g., 2-round PBFT-style partially synchronous Byzantine broadcast is possible if and only if $n\geq 5f-1$, and a tight bound for good-case latency under $n/3

研究动机与目标

• 正式定义并分析拜占庭广播中的最优情况延迟，重点关注指定广播者非故障的场景。
• 弥合理论界限与BFT状态机复制（BFT SMR）实际性能之间的差距，其中在诚实领导者下的最优情况延迟比最坏情况更具实际意义。
• 提出一种新型广播抽象——部分同步拜占庭广播（psync-BB），以更准确地建模如PBFT等单次执行的BFT SMR协议。
• 在所有容错阈值（𝑓 < 𝑛/3，𝑛/3 ≤ 𝑓 < 𝑛/2，𝑓 ≥ 𝑛/2）和时序模型（同步、部分同步、异步）下，对最优情况延迟提供紧致且完整的分类。

提出的方法

• 引入一种新型广播原原子——部分同步拜占庭广播（psync-BB），用于建模基于领导者的单次执行BFT SMR协议。
• 通过形式化归约与协议构造，建立在三种时序模型（同步、部分同步、异步）下最优情况延迟的下界与上界。
• 采用精细化的时序模型，区分实际消息延迟 𝛿 与已知的上界 Δ，并同时考虑同步与非同步协议启动模型。
• 在 𝑛 ≥ 5𝑓 − 1 条件下，构造一种新颖的2轮协议用于 psync-BB，在同步模型中实现最优的最优情况延迟 Δ + 1.5𝛿。
• 应用基于采样的优化技术，在保持近似最优延迟的同时降低通信开销。
• 通过从已知不可能性结果和敌手模拟出发的归约，证明了紧致的下界，尤其在异步与部分同步环境中。

实验结果

研究问题

• RQ1 在部分同步环境下，拜占庭广播的最优情况延迟的紧致下界是多少？其如何依赖于容错阈值？
• RQ2 当 𝑛 < 5𝑓 − 1 时，部分同步拜占庭广播是否存在2轮最优情况协议？若否，所需的最少轮数是多少？
• RQ3 在同步模型中，最优情况延迟如何随容错阈值变化，特别是当 𝑓 > 𝑛/3 时？
• RQ4 在最优协议中，通信复杂度与最优情况延迟之间的根本权衡是什么？
• RQ5 在非认证环境下，结果如何变化？当前的下界是否仍然紧致？

主要发现

• 对于部分同步拜占庭广播（psync-BB），当且仅当 𝑛 ≥ 5𝑓 − 1 时，2轮是最优情况延迟的必要且充分条件。
• 在部分同步模型中，当 3𝑓 + 1 ≤ 𝑛 < 5𝑓 − 1 时，3轮是最优情况延迟的必要且充分条件，从而解决了PBFT 3轮最优情况性能的最优性问题。
• 在同步模型中，当 𝑛/3 < 𝑓 < 𝑛/2 时，最优情况延迟被紧致地界定为 Δ + 1.5𝛿，该值并非延迟上界 Δ 的整数倍。
• 对于诚实多数情况（𝑓 < 𝑛/3），在同步模型中，最优情况延迟恰好为 2𝛿，与下界一致。
• 在不诚实多数情况（𝑓 ≥ 𝑛/2）下，最优情况延迟的下界为 (⌊𝑛/(𝑛−𝑓)⌋ − 1)Δ，上界为 𝑂(𝑛/(𝑛−𝑓))Δ。
• 本文解决了PBFT长期存在的模糊性问题：当 𝑓 = 1 时，2轮已足够（非3轮），与普遍认为PBFT在3轮下最优的假设相矛盾。