[论文解读] Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases

Martin Kleppmann, Heidi Howard|arXiv (Cornell University)|Dec 1, 2020

Distributed systems and fault tolerance被引用 12

一句话总结

本文提出了拜占庭最终一致性（BEC），一种一致性模型，使对等数据库能够容忍任意数量的拜占庭故障节点，而无需像工作量证明这样的Sybil防御机制。它证明了当且仅当所有事务相对于应用不变量均为I-汇聚时，BEC才是可实现的，并提出了一种基于拜占庭因果广播的正确性构造算法，通信开销接近最优。

ABSTRACT

Sybil attacks, in which a large number of adversary-controlled nodes join a network, are a concern for many peer-to-peer database systems, necessitating expensive countermeasures such as proof-of-work. However, there is a category of database applications that are, by design, immune to Sybil attacks because they can tolerate arbitrary numbers of Byzantine-faulty nodes. In this paper, we characterize this category of applications using a consistency model we call Byzantine Eventual Consistency (BEC). We introduce an algorithm that guarantees BEC based on Byzantine causal broadcast, prove its correctness, and demonstrate near-optimal performance in a prototype implementation.

研究动机与目标

• 确定在缺乏Sybil防御措施的情况下，对等数据库在任意拜占庭故障下的基本限制。
• 定义一种一致性模型，使在无受信任组件或工作量证明的前提下，能够实现具有无界拜占庭故障的系统正确性。
• 建立实现此类系统中拜占庭最终一致性的必要且充分条件——I-汇聚。
• 设计并评估一种实用的复制算法，确保BEA以最小通信开销实现。

提出的方法

• 引入拜占庭最终一致性（BEC）作为一致性模型，保证即使存在任意拜占庭故障，副本也能最终收敛。
• 定义拜占庭因果广播作为在拜占庭环境中实现可靠、因果有序消息传递的原 primitive。
• 证明系统实现BEC当且仅当所有事务相对于应用不变量均为I-汇聚。
• 设计一种基于拜占庭因果广播的复制算法，确保在任意拜占庭故障下保持正确性。
• 使用高效的冲突解决技术优化消息交换，使网络开销相比理论最小值接近最优。
• 利用不变量作为正确性断言，形式化验证更新是否保持应用层一致性。

实验结果

研究问题

• RQ1 在具有无界数量拜占庭故障节点的对等数据库系统中，可以实现何种一致性保证？
• RQ2 在存在任意拜占庭故障的情况下，实现最终一致性的条件是什么？
• RQ3 是否可以在不使用工作量证明或集中式成员管理的情况下，使系统抵御Sybil攻击？
• RQ4 在无受信任组件的拜占庭环境中，如何维持因果排序与一致性？
• RQ5 是否存在对可在无权限、拜占庭对等环境中安全部署的应用的正式表征？

主要发现

• BEC可实现当且仅当所有事务相对于应用不变量均为I-汇聚，确立了实现Sybil免疫的必要且充分条件。
• 所提出的算法在不绑定故障节点数量的前提下，确保在任意拜占庭故障下保持正确性，支持在完全无权限网络中部署。
• 原型实现的网络通信开销仅比理论最优值略高，证明了其实际可行性。
• 基于CRDT的系统等应用本身已具备I-汇聚特性，可直接扩展至BEC，仅需极少修改即可获得拜占庭容错能力。
• 该方法避免依赖工作量证明或可信硬件，适用于去中心化、无信任环境。
• 研究表明，若应用逻辑在I-汇聚意义下为单调，则可在拜占庭系统中避免协调。