Moonshot：通过乐观提案优化基于链的轮换领导者 BFT

现有的基于链的轮换领导者 BFT SMR 协议，在部分同步网络模型下具有恒定的提交延迟，其区块间隔至少为 $2\delta$（其中 $\delta$ 为消息传输延迟）。虽然在同步模型下存在区块间隔为 $\delta$ 的协议，但其提交延迟与系统规模成线性关系。为弥合这一差距，我们提出了首个基于链的 BFT SMR 协议，其连续诚实领导者提案之间的延迟为 $\delta$，提交延迟为 $3\delta$。我们为部分同步模型提出了三种协议，分别对应不同的乐观响应性概念，其中两种实现了流水线化。我们所有的协议都实现了重组弹性，且其中两个具有短的视图长度；这些特性是许多现有基于链的 BFT SMR 协议所缺乏的。我们在广域网中对协议进行了评估，结果表明，与最先进的 Jolteon 相比，它们在吞吐量上显著提高，在延迟上显著降低。我们的结果还表明，通常用于降低通信复杂度的技术——如投票流水线化和使用指定投票聚合器——在许多场景下实际上降低了实际性能。