[论文解读] Mathematical Analysis and Algorithms for Federated Byzantine Agreement Systems

André Gaul, Ismail Khoffi+2 more|arXiv (Cornell University)|Dec 3, 2019

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

一句话总结

本文对联邦拜占庭协议系统（FBAS）进行了数学与算法分析，聚焦于法定人数交集、法定人数枚举及节点完整性的计算。研究证明，即使在简单的FBAS中，法定人数交集问题仍是NP完全问题，并提出了高效的法定人数分析与完整性计算算法，表明在概率性拜占庭故障下，对称简单FBAS在韧性方面优于分层设计。

ABSTRACT

We give an introduction to federated Byzantine agreement systems (FBAS) with many examples ranging from small "academic" cases to the current Stellar network. We then analyze the main concepts from a mathematical and an algorithmic point of view. Based on work of Lachowski we derive algorithms for quorum enumeration, checking quorum intersection, and computing the intact nodes with respect to a given set of ill-behaved (Byzantine) nodes. We also show that from the viewpoint of the intactness probability of nodes, which we introduce in this paper, a hierarchical setup of nodes is inferior to an arrangement that we call a symmetric simple FBAS. All algorithms described in this paper are implemented in the Python package Stellar Observatory, which is also used in some of the computed examples.

研究动机与目标

• 为联邦拜占庭协议系统（FBAS）提供严谨的数学基础，特别是法定人数系统及其交集性质。
• 解决核心FBAS问题（如法定人数枚举与完整性计算）缺乏全面算法处理的不足。
• 在概率性拜占庭故障模型下，比较不同FBAS拓扑结构——特别是分层与对称简单FBAS——的韧性。
• 形式化并分析‘完整性概率’这一概念，作为在存在拜占庭节点时系统鲁棒性的度量。
• 使用Stellar Observatory Python软件包对真实世界与合成的FBAS实例实现并验证相关算法。

提出的方法

• 使用集合论定义形式化FBAS：节点、法定人数切片、法定人数及法定人数交集性质。
• 即使在简单FBAS的受限类别中，也证明法定人数交集判定问题为NP完全问题，扩展了先前结果。
• 基于信任图与信任簇分解，开发并分析法定人数枚举与法定人数交集检查的算法。
• 引入‘DSets’（不相交集合）概念以表征法定人数结构，并实现完整性计算的高效化。
• 定义并计算‘完整性概率’，即在随机拜占庭故障场景下节点保持正确的可能性。
• 利用信任簇与最大强连通分量（SCC）独立隔离并分析FBAS子组件。

实验结果

研究问题

• RQ1 即使限制在简单FBAS中，法定人数交集判定问题是否仍为NP完全问题？
• RQ2 如何在大规模FBAS中高效计算法定人数枚举与法定人数交集？
• RQ3 Mazières原始的完整性定义与文献中较新的定义之间有何关系？
• RQ4 FBAS的拓扑结构——特别是分层与对称简单结构——如何影响节点完整性概率？
• RQ5 节点的完整性概率能否高效计算？其随网络规模与故障分布的变化趋势如何？

主要发现

• 通过从3-SAT问题约化，证明即使在简单FBAS类别中，法定人数交集判定问题仍是NP完全问题。
• 所提出的计算完整节点的算法时间复杂度仅为法定人数交集检查的两倍，具有实际应用的高效性。
• 在概率性故障模型下，对称简单FBAS的完整性概率显著高于分层FBAS，相同故障分布下约高2.5倍。
• 分层FBAS中的DSets集合是其对称简单FBAS版本的真子集，意味着后者在任何概率分布下均提供更优的韧性。
• FBAS最大强连通分量（SCC）的完整性特性独立于网络其余部分，支持模块化分析与优化。
• 对于当前Stellar网络的最大SCC，节点的概率完整性受对称简单FBAS（k=12）的完整性上限约束，表明韧性存在理论极限。