[논문 리뷰] Quorum Subsumption for Heterogeneous Quorum Systems

Xiao Li, Mohsen Lesani|arXiv (Cornell University)|2023. 01. 01.

Distributed systems and fault tolerance인용 수 1

한 줄 요약

이 논문은 비잔티노스 결함에 강건한 시스템에서 개방형 멤버십과 동적 신뢰 선호도를 지원하는 재구성 가능한 이질적 쿼럼 시스템을 위한 형식적 모델을 제안한다. Byzantine 공격에 대해 안전하게 보장되는 재구성 프로토콜을 제안하며, 프로세스의 추가/제거 및 쿼럼의 추가/제거에 대해 정당성 유지 보장한다. 또한, 강력한 연결 성분을 탐지하는 양단계 프로토콜을 통해 완전성과 정확성 보장을 제공하는 쿼럼 그래프 특성화를 도입하여 일致성, 가용성, 포함성 성질을 보장한다.

ABSTRACT

Byzantine quorum systems provide higher throughput than proof-of-work and incur modest energy consumption. Further, their modern incarnations incorporate personalized and heterogeneous trust. Thus, they are emerging as an appealing candidate for global financial infrastructure. However, since their quorums are not uniform across processes anymore, the properties that they should maintain to support abstractions such as reliable broadcast and consensus are not well-understood. It has been shown that the two properties quorum intersection and availability are necessary. In this paper, we prove that they are not sufficient. We then define the notion of quorum subsumption, and show that the three conditions together are sufficient: we present reliable broadcast and consensus protocols, and prove their correctness for quorum systems that provide the three properties.

연구 동기 및 목표

• 각 프로세스가 자체 쿼럼을 선언할 수 있는 이질적 쿼럼 시스템의 일반 모델을 형식화하여, 개방형 멤버십과 이질적 신뢰를 지원한다.
• 비잔티노스 결함 존재 하에서 동적 재구성 중 일치성, 가용성, 쿼럼 포함성이라는 세 가지 핵심 성질을 정의하고 유지한다.
• 외부 오라클이나 정지 없이 프로세스의 추가/제거 및 쿼럼의 추가/제거를 위한 재구성 프로토콜을 설계하고 형식적으로 정당성 증명한다.
• 최적화를 가능하게 하고 시스템 성질 검증의 기초를 제공하는 쿼럼 그래프 특성화를 도입한다.
• 안정성과 생존성을 보장하는 양단계 싱크 성분 탐지 프로토콜을 확립하여 잘 동작하는 프로세스가 정확히 싱크 성분을 식별하도록 한다.

제안 방법

• 각 프로세스가 자체 쿼럼 집합을 정의하는 이질적 쿼럼 시스템의 형식적 모델을 도입하여, 다양한 신뢰 선호도와 개방형 멤버십를 지원한다.
• 세 가지 핵심 성질을 정의한다: 일치성(쿼럼 교차), 가용성(각 프로세스가 잘 동작하는 쿼럼을 보유), 쿼럼 포함성(각 쿼럼이 구성원의 쿼럼을 포함한다).
• 양단계 싱크 성분 탐지 프로토콜을 제안한다: 1단계는 Exchange 메시지를 통해 최소 쿼럼을 탐지하고, 2단계는 유효성 검사를 통과한 Extend 메시지를 통해 쿼럼 정보를 확산한다.
• 노드가 프로세스이고 방향성 간선이 쿼럼 소속을 나타내는 쿼럼 그래프 표현 방식을 사용하여 강력 연결 성분 분석 및 싱크 식별을 가능하게 한다.
• 메시지 전파 중 유효성 검사(validq)를 수행하여 비잔티노스 프로세스가 싱크 성분에 잘못된 소속을 주장하는 것을 방지한다.
• 완전성(모든 잘 동작하는 최소 쿼럼이 결국 싱크에 포함됨)과 정확성(싱크 집합 내에 있는 프로세스만 in-sink를 true로 설정함)을 증명하여 안정성과 생존성을 확보한다.

실험 결과

연구 질문

• RQ1 비잔티노스 결함 존재 하에서 개방형 멤버십를 지원하면서도 일치성과 가용성을 유지하는 동적 재구성 가능한 쿼럼 시스템의 설계 방법은 무엇인가?
• RQ2 동적 멤버십와 신뢰 선호도를 가진 이질적 쿼럼 시스템에서 안정성과 생존성을 보장하기 위해 필요한 필수 조건은 무엇이며, 이를 충족하는 성질은 무엇인가?
• RQ3 비균일 쿼럼 시스템에서 쿼럼 포함성을 어떻게 형식적으로 기술하고 유지할 수 있으며, 이를 통해 국소적 의사결정이 전역 일치성을 해치지 않도록 할 수 있는가?
• RQ4 쿼럼 시스템의 그래프 기반 특성화가 효율적이고 증명 가능하게 정당한 재구성 프로토콜을 가능하게 할 수 있는가?
• RQ5 재구성 가능한 이질적 쿼럼 시스템에서 성능, 정확성, 내성성 간의 프로토콜 설계 상호 간의 상충 관계는 무엇인가?

주요 결과

• 논문은 쿼럼 포함성이 이질적 쿼럼 시스템에서 비트리비얼하지만 필수적인 성질임을 증명하며, 국소적 의사결정이 전역 일치성을 유지하는 데 기여함을 보여준다.
• 양단계 싱크 성분 탐지 프로토콜은 완전성을 확보한다: Lemma 42 및 Lemma 43에 의해, 모든 잘 동작하는 최소 쿼럼이 결국 싱크 성분에 포함됨을 보여준다.
• 프로토콜은 정확성을 확보한다: 실제로 싱크 성분에 속한 프로세스만 in-sink를 true로 설정하며, Lemma 45 및 Lemma 46에 의해 비잔티노스 프로세스가 잘못된 방식으로 싱크에 포함되는 것을 방지함을 증명한다.
• 쿼럼 그래프 표현은 싱크 성분이 유일하며, 잘 동작하는 프로세스 간 쿼럼 교차가 유지되는 한 일치성이 보존됨을 보장한다.
• 프로세스의 추가/제거 및 쿼럼의 추가/제거를 위한 재구성 프로토콜은 정당성과 Byzantine 공격에 대한 안정성이 입증되었으며, 외부 오라클이나 정지 없이 작동한다.
• 그래프 특성화를 통해 핵심 구성 요소를 식별하고 싱크 기반 조율를 통해 통신 오버헤드를 줄임으로써 재구성 최적화가 가능하다.