[논문 리뷰] Mathematical Analysis and Algorithms for Federated Byzantine Agreement Systems

André Gaul, Ismail Khoffi외 2명|arXiv (Cornell University)|2019. 12. 03.

Distributed systems and fault tolerance참고 문헌 15인용 수 7

한 줄 요약

이 논문은 연합된 바쿠신드라 합의 시스템(FBAS)에 대한 수학적 및 알고리즘적 분석을 제시하며, 쿼orum 교차, 쿼orum 열거, 노드의 완전성에 중점을 둔다. 쿼orum 교차 문제의 NP-완전성은 단순한 FBAS에 대해서조차 입증되었으며, 쿼orum 분석 및 완전성 계산을 위한 효율적인 알고리즘을 제안한다. 이는 확률적 바쿠신드라 실패 상황에서 대칭적 단순 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)에 대한 엄밀한 수학적 기반을 제공함으로써, 특히 쿼orum 시스템과 그 교차 성질에 중점을 둔다.
• 쿼orum 열거 및 완전성 계산과 같은 핵심 FBAS 문제에 대한 종합적인 알고리즘적 접근의 부족을 해결하고자 한다.
• 특히 계층적 대비 대칭적 단순 FBAS의 구조를 비교함으로써, 확률적 바쿠신드라 실패 모델 하에서 다양한 FBAS 구조의 내성성에 대해 분석하고자 한다.
• 바쿠신드라 노드 존재 하에서 시스템의 강건성 측정 척도로써 '완전성 확률' 개념을 정의하고 분석하고자 한다.
• 실세계 및 합성 FBAS 인스턴스에서 실제 구현 및 검증을 위해 스텔라 옵저버터리 파이썬 패키지를 사용하여 알고리즘을 구현하고 검증하고자 한다.

제안 방법

• 집합 이론적 정의를 사용하여 FBAS를 공식화함: 노드, 쿼orum 조각, 쿼orum, 쿼orum 교차 성질.
• 단순한 FBAS에 국한된 경우조차도 쿼orum 교차 결정 문제의 NP-완전성을 증명함으로써 이전 결과를 확장함.
• 신뢰 그래프 및 신뢰 클러스터 분해를 기반으로 한 쿼orum 열거 및 쿼orum 교차 검사 알고리즘을 개발하고 분석함.
• 쿼orum 구조를 특성화하고 완전성 계산을 효율적으로 수행할 수 있도록 'DSets'(서로소 집합) 개념을 도입함.
• 완전성 확률을 정의하고 계산함으로써, 랜덤 바쿠신드라 실패 상황에서 노드가 유지되는 확률을 측정함.
• 신뢰 클러스터와 최대 강한 연결 성분(SCC)을 사용하여 FBAS 하위 구성 요소를 독립적으로 고립 및 분석함.

실험 결과

연구 질문

• RQ1 단순한 FBAS에 국한된 경우조차도 쿼orum 교차 결정 문제가 NP-완전한가?
• RQ2 대규모 FBAS에서 쿼orum 열거 및 쿼orum 교차를 효율적으로 계산할 수 있는 방법은 무엇인가?
• RQ3 Mazières의 원래 완전성 정의와 최근 문헌에서 제시된 정의 사이의 관계는 무엇인가?
• RQ4 FBAS의 구조, 특히 계층적 대비 대칭적 단순 구조가 노드의 완전성 확률에 어떤 영향을 미치는가?
• RQ5 노드의 완전성 확률은 효율적으로 계산할 수 있으며, 네트워크 크기와 장애 분포에 따라 어떻게 스케일링되는가?

주요 결과

• 쿼orum 교차 결정 문제는 단순한 FBAS 클래스에 대해서조차 3-SAT로부터의 축소를 통해 NP-완전함을 입증함.
• 완전한 노드를 계산하는 데 제안된 알고리즘의 시간 복잡도는 쿼orum 교차 검사의 두 배에 불과하여 실용적 사용에 매우 효율적임.
• 확률적 장애 모델 하에서, 동일한 장애 분포 조건에서 대칭적 단순 FBAS는 계층적 FBAS보다 약 2.5배 높은 완전성 확률을 보임.
• 계층적 FBAS의 DSet 집합은 대칭적 단순 FBAS의 DSet 집합의 진부분집합이며, 이는 어떤 확률 분포에서도 후자가 항상 뛰어난 내성성을 제공함을 의미함.
• FBAS의 최대 강한 연결 성분(SCC)의 완전성 성질은 네트워크의 나머지 부분과 독립적이며, 이는 모듈화된 분석 및 최적화를 가능하게 함.
• 현재 스텔라 네트워크의 최대 SCC에 대해, 노드의 확률적 완전성은 k=12인 대칭적 단순 FBAS의 것보다 항상 상한선으로 제한됨을 나타내며, 이는 내성성의 이론적 상한선을 의미함.