[论文解读] OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems

Sang-Min Choi, Jiho Park+6 more|arXiv (Cornell University)|Oct 4, 2018

Distributed systems and fault tolerance参考文献 14被引用 7

一句话总结

本文提出了 OPERA，一种新型的异步分布式系统共识协议族（Lachesis 类），通过基于有向无环图（DAG）的 OPERA 链实现拜占庭容错。通过利用 Lamport 时标、并发共识知识以及基于代价函数的对等节点选择机制，L₀ 协议实现了无需领导者、2/3 一致性共识的快速共识，相比传统 pBFT 协议通信开销更低，无需工作量证明或轮转机制，可在更少步骤内实现实用共识。

ABSTRACT

This paper introduces a new family of consensus protocols, namely \emph{Lachesis-class} denoted by $\mathcal{L}$, for distributed networks with guaranteed Byzantine fault tolerance. Each Lachesis protocol $L$ in $\mathcal{L}$ has complete asynchrony, is leaderless, has no round robin, no proof-of-work, and has eventual consensus. The core concept of our technology is the \emph{OPERA chain}, generated by the Lachesis protocol. In the most general form, each node in Lachesis has a set of $k$ neighbours of most preference. When receiving transactions a node creates and shares an event block with all neighbours. Each event block is signed by the hashes of the creating node and its $k$ peers. The OPERA chain of the event blocks is a Directed Acyclic Graph (DAG); it guarantees practical Byzantine fault tolerance (pBFT). Our framework is then presented using Lamport timestamps and concurrent common knowledge. Further, we present an example of Lachesis consensus protocol $L_0$ of our framework. Our $L_0$ protocol can reach consensus upon 2/3 of all participants' agreement to an event block without any additional communication overhead. $L_0$ protocol relies on a cost function to identify $k$ peers and to generate the DAG-based OPERA chain. By creating a binary flag table that stores connection information and share information between blocks, Lachesis achieves consensus in fewer steps than pBFT protocol for consensus.

研究动机与目标

• 解决传统拜占庭容错共识协议（如 pBFT）在异步网络中高延迟和高通信开销的问题。
• 克服现有基于 DAG 的协议（如 Hashgraph）依赖全网感知或传播速度慢的局限性。
• 通过持续共识知识和 Lamport 时标实现的拓扑排序，实现快速、可扩展的共识。
• 设计一种无领导者、兼容权益证明的协议，避免轮转或工作量证明机制，同时确保最终一致性。
• 通过基于代价函数的对等节点选择和根节点共识检测，提供对常见攻击（如双花、Sybil 攻击、长程攻击）的正式安全保证。

提出的方法

• 构建一个 OPERA 链作为有向无环图（DAG），其中每个事件块由其创建者及其 k 个首选对等节点签名。
• 利用 Lamport 时标建立跨节点事件的拓扑排序，实现在无全局时钟情况下的全局一致排序。
• 采用代价函数为每个节点选择 k 个最优先的对等节点，确保通信拓扑高效且具备弹性。
• 应用 Lachesis 共识算法（LCA）通过根事件和 Atropos 事件检测共识，当 2/3 的节点就根事件达成一致时即认为达成共识。
• 引入 Clotho 和 Atropos 选择机制，识别共识关键事件并实现双花攻击的早期检测。
• 使用二进制标志表存储跨块连接信息，实现高效的共识检测并降低通信复杂度。

实验结果

研究问题

• RQ1 无领导者、异步共识协议能否在通信开销低于 pBFT 的前提下实现拜占庭容错？
• RQ2 在基于 DAG 的系统中，能否有效利用持续共识知识来检测共识和双花事件？
• RQ3 Lamport 时标和拓扑排序能否在无全局同步的情况下实现快速、一致的共识？
• RQ4 通过代价函数进行对等节点选择，能否提升异步网络中共识的速度与弹性？
• RQ5 该协议能否在不依赖工作量证明或领导者机制的前提下，抵御常见攻击（如 Sybil 攻击、双花攻击、长程攻击）？

主要发现

• L₀ 协议在参与者达成 2/3 一致时即实现共识，确保实用拜占庭容错，且除事件传播外无额外通信开销。
• Lamport 时标与拓扑排序的结合，使事件实现无全局时钟或时间同步的一致全局排序。
• OPERA 链结构相比传统 pBFT 协议降低了共识延迟，由于高效的 DAG 遍历与根检测机制，可在更少步骤内达成共识。
• 协议可在 f+2 轮内检测到双花事件，其中 f 为拜占庭节点数量，确保早期检测与一致性。
• 系统能有效抵御常见攻击：Sybil 攻击与贿赂攻击需超过 2n/3 的恶意节点，而长程攻击与拒绝服务攻击因 2/3 共识阈值而不可行。
• 基于代价函数的对等节点选择确保了稳健的网络拓扑与高效的 Gossip 传播，相比随机或全网 Gossip 模型显著降低延迟。