[論文レビュー] 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）の耐障害性を比較すること。
• 「完全性確率」としての概念を形式化・分析し、バイザンチンノードが存在する状況下でのシステムの強靭性の指標としての役割を明らかにすること。
• 実世界および合成のFBASインスタンスを用いて、Stellar Observatory Pythonパッケージを用いてアルゴリズムを実装・検証すること。

提案手法

• 集合論的定義を用いてFBASを形式化：ノード、クォーラムスライス、クォーラム、およびクォーラム交差性の性質。
• 単純なFBASに制限されたクォーラム交差性意思決定問題がNP完全であることを証明し、先行研究を拡張。
• 信頼グラフと信頼クラスタの分解に基づき、クォーラム列挙およびクォーラム交差性チェックのためのアルゴリズムを設計・分析。
• クォーラム構造を特徴付けるために「DSets」（互いに素な集合）の概念を導入し、完全性の効率的計算を可能にする。
• 完全性確率を定義・計算し、ランダムなバイザンチン障害シナリオ下でノードが正常を保つ確率として定義。
• 信頼クラスタと最大強連結成分（SCC）を用いて、FBASの部分構造を独立して分離・分析可能にする。

実験結果

リサーチクエスチョン

• RQ1 単純なFBASに制限された場合でも、クォーラム交差性意思決定問題はNP完全であるか？
• RQ2 大規模なFBASにおいて、クォーラム列挙およびクォーラム交差性を効率的に計算する方法は何か？
• RQ3 Mazièresの元来の完全性定義と、文献に登場する最新の定義との関係は何か？
• RQ4 FBASのトポロジー、特に階層的対称単純の違いが、ノードの完全性確率に与える影響は何か？
• RQ5 ノードの完全性確率は効率的に計算可能か？また、ネットワークサイズおよび障害分布の変化に伴い、そのスケーリング特性はいかなるものか？

主な発見

• クォーラム交差性意思決定問題は、単純なFBASクラスに対してもNP完全であることが、3-SATへの還元を用いて証明された。
• 完全なノードを計算するための提案アルゴリズムは、クォーラム交差性チェックの時間計算量の2倍に留まるため、実用的用途においても効率的である。
• 確率的障害モデル下では、同一の障害分布において、対称的単純FBASの完全性確率は、階層的FBASよりも約2.5倍高い。
• 階層的FBASにおけるDSetsの集合は、対称的単純FBASにおけるDSetsの集合の真部分集合であるため、任意の確率分布下で、後者の方が常に優れた耐障害性を示す。
• FBASの最大強連結成分（SCC）の完全性特性は、ネットワークの残りの部分とは独立しており、モジュール式の分析・最適化が可能である。
• 現在のStellarネットワークの最大SCCについて、ノードの確率的完全性は、k=12の対称的単純FBASのそれ以上に抑えられることから、耐障害性の理論的上限が示唆される。