[논문 리뷰] Byzantine Lattice Agreement in Asynchronous Systems

Xiong Zheng, Vijay K. Garg|arXiv (Cornell University)|2020. 02. 17.

Distributed systems and fault tolerance참고 문헌 28인용 수 6

한 줄 요약

이 논문은 디지털 서명 없이 f < n/5의 Byzantine 장애를 견디고, 디지털 서명이 있는 경우 f < n/3의 Byzantine 장애를 견디는 이종성 없는 메시지 전달 시스템에서 Byzantine Lattice Agreement(BLA)에 대해 O(log f)라운드 알고리즘을 제안한다. 이 솔루션은 신뢰할 수 있는 브로드캐스트와 인증 메시지를 기반으로 하는 새로운 Byzantine 내성 분류 절차를 사용하여 프로세스를 슬레이브 및 마스터 하위집단으로 재귀적으로 그룹화함으로써, 조인 준순서집합에서 출력의 비교 가능성, 하향 타당성, 상향 타당성을 보장한다.

ABSTRACT

We study the Byzantine lattice agreement (BLA) problem in asynchronous distributed message passing systems. In the BLA problem, each process proposes a value from a join semi-lattice and needs to output a value also in the lattice such that all output values of correct processes lie on a chain despite the presence of Byzantine processes. We present an algorithm for this problem with round complexity of O(log f) which tolerates f < n/5 Byzantine failures in the asynchronous setting without digital signatures, where n is the number of processes. This is the first algorithm which has logarithmic round complexity for this problem in asynchronous setting. Before our work, Di Luna et al give an algorithm for this problem which takes O(f) rounds and tolerates f < n/3 Byzantine failures. We also show how this algorithm can be modified to work in the authenticated setting (i.e., with digital signatures) to tolerate f < n/3 Byzantine failures.

연구 동기 및 목표

• 이종성 없는 분산 시스템에서 Byzantine 장애에 견디는 Byzantine Lattice Agreement(BLA) 문제를 해결하는 것.
• 비인증 및 인증 환경에서 모두 O(log f)의 최적 라운드 복잡도를 달성하는 것.
• f < n/5(비인증) 또는 f < n/3(인증)의 Byzantine 프로세스가 존재하더라도 타당성과 비교 가능성 성질을 유지하는 강건한 솔루션을 제공하는 것.
• Byzantine 환경에서 원자적 스냅샷 객체 및 선형화 가능한 복제된 상태 기계를 구현하는 데 실용적으로 활용할 수 있도록 하는 것.

제안 방법

• 값 비교 기반으로 프로세스를 슬레이브 및 마스터 하위집단으로 재귀적으로 분할하는 Byzantine 내성 분류 절차를 설계한다.
• Byzantine 프로세스 존재하더라도 메시지 전달과 무결성을 보장하기 위해 인증 메시지를 사용하는 신뢰할 수 있는 브로드캐스트(RB) 원시 기법을 적용한다.
• 위조 방지를 위해 서명된 메시지와 서명 검증을 사용하여 메시지 전달 및 값 전파의 일관성을 확보한다.
• 값 전파를 제어하고 재귀적 라운드 전역에서 정확성을 보장하기 위해 임계값 파rameter를 가진 계층적 분류 트리를 적용한다.
• 쓰기-읽기 및 마스터-슬레이브 분류 단계를 도입하여 프로세스 역할을 결정하고 값을 전파하면서 준순서 집합 성질을 유지한다.
• 조인 준순서집합 구조를 활용하여 출력이 하향 타당성(입력 ≤ 출력)과 상향 타당성(출력 ≤ 모든 입력과 최대 t개의 Byzantine 값의 join)을 만족하도록 보장한다.

실험 결과

연구 질문

• RQ1 디지털 서명 없이 f < n/5의 Byzantine 장애를 견디는 이종성 없는 메시지 전달 시스템에서 Byzantine Lattice Agreement는 O(log f)라운드 내에서 해결 가능한가?
• RQ2 인증 시스템에서 O(log f)라운드 복잡도를 유지하면서 복구 능력을 f < n/3로 향상시킬 수 있는가?
• RQ3 Byzantine 장애를 견디며 정확한 값 분류를 보장하기 위해 신뢰할 수 있는 브로드캐스트 메커니즘을 어떻게 적응시킬 수 있는가?
• RQ4 분류 절차는 Byzantine 프로세스 존재 하에서 비교 가능성과 타당성을 보장하는 데 어떤 역할을 하는가?
• RQ5 Byzantine lattice agreement에서 낮은 라운드 복잡도와 높은 복구 능력을 동시에 달성할 수 있는가?

주요 결과

• 이 논문은 디지털 서명 없이 f < n/5의 Byzantine 장애를 견디는 이종성 없는 메시지 전달 시스템에서 Byzantine Lattice Agreement에 대해 O(log f)라운드 알고리즘을 제시한다.
• 인증 시스템에서는 디지털 서명과 인증된 신뢰할 수 있는 브로드캐스트를 사용하여 O(log f)라운드 알고리즘을 달성하고 f < n/3의 Byzantine 장애를 견딘다.
• 알고리즘은 신뢰할 수 있는 브로드캐스트와 메시지 서명 검증 기반의 재귀적 분류 절차를 사용하여 슬레이브 및 마스터 그룹으로의 프로세스 정확한 분류를 보장한다.
• 분류기의 정확성은 (p1)–(p11) 성질을 통해 증명되며, 이 중 슬레이브 그룹의 값 집합 크기가 임계값 k 이하로 제한되고 마스터 값이 슬레이브 값을 지배한다는 것이 포함된다.
• 알고리즘은 하향 타당성(xi ≤ yi, 정상 프로세스에 대해)과 상향 타당성(⊔{yi} ≤ ⊔({xi} ∪ B), Byzantine 값 집합 B에 대해)을 보장한다.
• 전체 메시지 복잡도는 O(n² log f)이며, 이는 주어진 라운드 복잡도와 장애 내성 능력에 비해 효율적이다.