[论文解读] Proteus: A Scalable BFT Consesus Protocol for Blockchains

Mohammad M. Jalalzai, Costas Busch+1 more|arXiv (Cornell University)|Mar 11, 2019

Distributed systems and fault tolerance参考文献 19被引用 13

一句话总结

Proteus 是一种可扩展的拜占庭容错（BFT）共识协议，通过选举大小为 c 的动态根委员会，将消息复杂度从 O(n²) 降低至 O(cn)，其中 c << n。该协议在任意故障数量下均保持稳定性能，通过在视图变更时替换整个委员会，使吞吐量和延迟性能在 200 节点的 AWS 部署中相比 PBFT 和 Bchain-3 提升超过 2 倍。

ABSTRACT

Byzantine Fault Tolerant (BFT) consensus exhibits higher throughput in comparison to Proof of Work (PoW) in blockchains. But BFT-based protocols suffer from scalability problems with respect to the number of replicas in the network. The main reason for this limitation is the quadratic message complexity of BFT protocols. Previously, proposed solutions improve BFT performance for normal operation, but will fall back to quadratic message complexity once the protocol observes a certain number of failures. This makes the protocol performance unpredictable as it is not guaranteed that the network will face a a certain number of failures. As a result, such protocols are only scalable when conditions are favorable (i.e., the number of failures are less than a given threshold). To address this issue we propose Proteus, a new BFT-based consensus protocol which elects a subset of nodes $c$ as a root committee. Proteus guarantees stable performance, regardless of the number of failures in the network and it improves on the quadratic message complexity of typical BFT-based protocols to $O(cn)$, where $c&lt;

研究动机与目标

• 解决 BFT 共识协议在正常和故障条件下均存在二次方消息复杂度（O(n²)）所导致的可扩展性限制。
• 克服现有 BFT 协议在超过故障阈值时退化为 O(n²) 复杂度而导致的性能下降问题。
• 通过将消息复杂度与故障数量解耦，确保在任意数量的拜占庭故障下均保持一致的性能。
• 设计一种视图变更机制，替换整个根委员会而非单个主节点，从而提升鲁棒性和效率。
• 在大规模部署中，与 PBFT 和 Bchain-3 等基线 BFT 协议相比，展示出更优的吞吐量和延迟性能。

提出的方法

• 从 n 个副本中动态选举大小为 c 的根委员会，其中 c 相对于 n 渐近更小，以降低消息复杂度。
• 采用委员会制方法，仅由根委员会成员广播和验证区块，从而减少全网通信。
• 实现一种视图变更协议，替换整个根委员会而非仅单个主节点，以最小化中断和消息开销。
• 应用概率模型（公式 2）确定在给定 n 和故障概率阈值（P_f ≤ 8.9×10⁻⁷）下的最优根委员会大小 c。
• 在 200 个 AWS EC2 实例上部署并评估 Proteus，使用 t2.large 实例，对比 PBFT 和 Bchain-3 在不同网络规模和区块大小下的表现。
• 通过延迟（从区块提议到最终插入的时间）和吞吐量（每秒事务数）测量性能，测试区块规模为 5k、10k 和 15k 事务。

实验结果

研究问题

• RQ1 BFT 共识协议是否能在故障数量超过阈值时仍保持次二次方消息复杂度和稳定性能？
• RQ2 在视图变更期间替换整个根委员会与仅替换主节点相比，对消息复杂度和共识延迟有何影响？
• RQ3 在大规模场景下，委员会制 BFT 协议在吞吐量和延迟方面，相较于传统 BFT 协议（如 PBFT）和基于链的协议（如 Bchain-3）能提升多少？
• RQ4 对于给定的网络规模 n 和期望的故障概率，最优根委员会大小 c 是多少，其扩展特性如何？
• RQ5 所提出的协议是否能在不同区块大小和网络规模（最多 200 个副本）下保持高性能？

主要发现

• 在 200 个节点的网络中，每个区块包含 15000 笔事务时，Proteus 实现了 1119 笔事务/秒的吞吐量，优于 PBFT（422 笔事务/秒）和 Bchain-3（560 笔事务/秒）。
• 在 100 个节点、每个区块包含 10000 笔事务时，Proteus 实现了 1123 笔事务/秒，而 PBFT 为 394 笔事务/秒，Bchain-3 为 513 笔事务/秒。
• 由于消息复杂度降低，Proteus 的延迟始终低于 PBFT 和 Bchain-3，尤其在节点数和区块大小增加时更为明显。
• 即使在视图变更期间，协议仍保持 O(cn) 消息复杂度，避免了其他 BFT 协议中常见的 O(n²) 退化。
• 性能提升在大规模部署中最为显著：Proteus 在大规模环境中相比两个基线协议均实现了超过 2 倍的吞吐量提升。
• 概率委员会大小模型（公式 2）使协议在所有测试配置下均保持低于 8.9×10⁻⁷ 的故障概率，实现稳定性能。