[论文解读] ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication

Alexander Spiegelman, Arik Rinberg|arXiv (Cornell University)|Nov 24, 2019

Distributed systems and fault tolerance被引用 2

一句话总结

ACE 是一种模型无关的框架，通过组合源自部分同步一致性协议的基于领导者视图（LBV）抽象，增强了状态机复制（SMR）系统的异步活跃性。当以 HotStuff 为基底实例化时，ACE 在网络异步和拜占庭攻击条件下表现优于基础 HotStuff，实现了在对抗性环境下的稳健运行，且不牺牲容错能力。

ABSTRACT

With the emergence of cross-organization attack-prone byzantine fault-tolerant (BFT) systems, so-called Blockchains, providing asynchronous state machine replication (SMR) solutions is no longer a theoretical concern. This paper introduces ACE: a general framework for the software design of fault-tolerant SMR systems. We first propose a new leader-based-view (LBV) abstraction that encapsulates the core properties provided by each view in a partially synchronous consensus algorithm, designed according to the leader-based view-by-view paradigm (e.g., PBFT and Paxos). Then, we compose several LBV instances in a non-trivial way in order to boost asynchronous liveness of existing SMR solutions. ACE is model agnostic - it abstracts away any model assumptions that consensus protocols may have, e.g., the ratio and types of faulty parties. For example, when the LBV abstraction is instantiated with a partially synchronous consensus algorithm designed to tolerate crash failures, e.g., Paxos or Raft, ACE yields an asynchronous SMR for $n = 2f+1$ parties. However, if the LBV abstraction is instantiated with a byzantine protocol like PBFT or HotStuff, then ACE yields an asynchronous byzantine SMR for $n = 3f+1$ parties. To demonstrate the power of ACE, we implement it in C++, instantiate the LBV abstraction with a view implementation of HotStuff -- a state of the art partially synchronous byzantine agreement protocol -- and compare it with the base HotStuff implementation under different adversarial scenarios. Our evaluation shows that while ACE is outperformed by HotStuff in the optimistic, synchronous, failure-free case, ACE has absolute superiority during network asynchrony and attacks.

研究动机与目标

• 解决在对抗性网络条件下，实现拜占庭容错 SMR 系统强异步活跃性的挑战。
• 设计一种通用软件框架，将一致性逻辑与系统模型解耦，支持容错 SMR 组件的模块化组合。
• 通过抽象并重用其逐视图行为，提升现有 SMR 协议的活跃性，而无需修改其核心一致性机制。
• 提供一种解决方案，无论底层一致性模型如何，均能保持 $n = 3f+1$ 的拜占庭容错能力，同时实现异步活跃性。

提出的方法

• 引入基于领导者视图（LBV）抽象，封装部分同步一致性算法（如 PBFT 或 Paxos）中每个视图的核心特性。
• 以非平凡方式组合多个 LBV 实例，实现异步活跃性，抽象掉模型特定假设（如故障类型或比例）。
• 设计 ACE 为一种模型无关的框架，可实例化于任意部分同步一致性协议，包括仅崩溃容错（如 Raft）或拜占庭容错（如 PBFT、HotStuff）协议。
• 使用 C++ 实现 ACE，以 HotStuff 作为 LBV 的实例化基底，利用其视图管理与领导者选举机制，实现异步恢复。
• 采用逐视图组合策略，通过维持多个活跃视图实例，确保即使在网络异步时也能保持进展。
• 将一致性逻辑与 SMR 状态机解耦，使框架可复用于不同一致性模型与故障假设。

实验结果

研究问题

• RQ1 能否设计一种通用框架，在不修改其核心一致性逻辑的前提下，增强现有 SMR 协议的异步活跃性？
• RQ2 如何组合基于领导者视图的抽象，以在部分同步环境中实现更强的活跃性保障？
• RQ3 与基础一致性协议相比，ACE 在网络异步和拜占庭攻击下提升了多少韧性？
• RQ4 ACE 的模型无关设计是否支持与仅崩溃容错和拜占庭容错一致性协议的无缝集成？
• RQ5 ACE 在乐观（同步）场景与对抗性（异步）场景下的性能权衡如何？

主要发现

• 在网络异步和拜占庭攻击条件下，ACE 的活跃性表现优于基础 HotStuff，证明其在对抗性环境下的更强韧性。
• 在无故障、乐观场景下，ACE 被 HotStuff 超越，确认了为提升异步活跃性与容错能力所付出的性能代价。
• 当以部分同步拜占庭协议（如 HotStuff）为基底实例化时，ACE 实现了 $n = 3f+1$ 个参与方的异步 SMR，同时保持强容错能力。
• 该框架成功抽象掉模型特定假设，支持在仅崩溃容错与拜占庭容错一致性协议中部署。
• ACE 通过组合多个 LBV 实例，即使在网络异步时也能保持进展，通过维持多个活跃视图并确保领导者恢复。
• 评估结果确认，ACE 的抽象层未损害正确性或安全性，同时显著提升了在对抗性网络行为下的活跃性。