[논문 리뷰] Brief Announcement: Subquadratic Multivalued Asynchronous Byzantine Agreement WHP

Shir Cohen, Idit Keidar|arXiv (Cornell University)|2023. 01. 01.

Distributed systems and fault tolerance인용 수 2

한 줄 요약

이 논문은 고확률(High Probability, WHP)로 고려할 때 이조직된 비동기 모델에서 처음으로 하위제곱형 다값 브라운스타인 합의 프로토콜을 제안하며, eO(n) 단어 복잡도를 달성한다. 이는 하위제곱형 이진 브라운스타인 합의 기법을 확장하여 두 위원회(시작 위원회 및 수렴 위원회) 방식을 도입함으로써, 구심점 증명서와 만족도에 대한 이진 합의를 통해 효율적인 다값 합의를 가능하게 하며, 브라운스타인 오류 하에서 약한 단일성(weak unanimity)을 보장한다.

ABSTRACT

There have been several reductions from multivalued consensus to binary consensus over the past 20 years. To the best of our knowledge, none of them solved it for Byzantine asynchronous settings. In this paper, we close this gap. Moreover, we do so in subquadratic communication, using newly developed subquadratic binary Byzantine Agreement techniques.

연구 동기 및 목표

• 이전의 다값에서 이진 합의로의 감소 기법이 고확률 보장을 받는 비동기 시스템에서 실패함에 따라, 하위제곱형 다값 브라운스타인 합의의 격차를 메우기.
• O(log n)개의 이진 인스턴스를 다루는 다값 설정으로 하위제곱형 이진 솔루션을 적용할 경우 고확률 추론이 붕괴되는 문제를 해결하기.
• 브라운스타인 오류 하에서 안전성과 활성화를 고확률로 유지하면서도 하위제곱 통신 복잡도를 유지하는 프로토콜 설계.
• 블록체인과 같이 다값 합의가 블록 수준의 트랜잭션 합의에 필수적인 대규모 분산 시스템에서의 실용적 확장성 확보.
• 허가된, PKI 보호된 환경에서 적응형 브라운스타인 오염까지 (1/3 − ϵ)n개의 프로세스를 허용하면서도 약한 단일성 유효성(weak unanimity validity)을 지원하는 솔루션 제공.

제안 방법

• 검증 가능한 난수 함수(VRFs) 기반의 랜덤 위원회 샘플링 원리를 사용하여 서로소인 두 위원회(시작 위원회 및 수렴 위원회)를 선출.
• 시작 위원회 구성원들이 모든 프로세스에 서명된 초기 값을 브로드캐스트하며, 각 프로세스는 고확률로 최소 W개의 메시지를 수신한다.
• 수렴 위원회 구성원들은 W명의 시작 위원회 구성원으로부터의 메시지를 기다리며, 모든 값이 자신의 값과 일치하면 만족 상태로 표시하고, 진리값이 참인 'is_content' 플래그를 가진 구심점 증명서(QC)를 전송한다.
• 이중 브라운스타인 합의 프로토콜을 경고 플래그가 참이 되는 경우에 실행하며, 이는 B+1명 이하의 수렴 위원회 구성원이 만족 상태일 경우를 의미한다. 여기서 B는 위원회 내 브라운스타인 프로세스의 상한이다.
• 이중 합의가 참을 출력하면 모든 정상 프로세스는 ⊥으로 결정하고, 그렇지 않으면 만족 상태의 프로세스가 동반한 값 v로 결정한다. 이 값은 정상 프로세스 간에 일관되게 보장된다.
• 두 개의 W크기의 위원회 간의 교차 성질을 활용하여, 최소한 하나의 정상 프로세스가 양쪽 모두에 존재하도록 보장함으로써, 최종적으로 정확한 값이 전달될 수 있도록 한다.

실험 결과

연구 질문

• RQ1 고확률로 고려할 때 비동기 모델에서 하위제곱형 이진 브라운스타인 합의 기법을 다값 브라운스타인 합의로 확장할 수 있는가?
• RQ2 표준적인 이진에서 다값으로의 감소 기법이 하위제곱형 비동기 브라운스타인 합의 프로토콜에서 실패하는 이유는 무엇인가?
• RQ3 다값 입력을 위해 O(log n)개의 이진 합의 인스턴스로 확장할 경우, 고확률 보장을 유지하는 방법은 무엇인가?
• RQ4 어떤 위원회 기반 구조가 안전성과 활성화를 보장하면서도 하위제곱 통신 복잡도를 유지할 수 있는가?
• RQ5 비동기 브라운스타인 합의에서 하위제곱 단어 복잡도를 유지하면서도 약한 단일성 유효성을 달성할 수 있는가?

주요 결과

• 제안된 알고리즘은 비동기 모델에서 다값 브라운스타인 합의에 대해 eO(n) 단어 복잡도를 달성하며, 이는 첫 번째 솔루션이다.
• 프로토콜은 약한 단일성 유효성을 보장한다: 모든 정상 프로세스가 동일한 입력 값을 가질 경우, 고확률로 동일한 값을 결정한다.
• 모든 이진 브라운스타인 합의 프로토콜에 추가로 두 개의 위원회만 사용하여 효율성과 모듈성을 유지한다.
• 두 W크기의 위원회 간의 교차로 인해 고확률로 안전성과 활성화가 유지되며, 최소한 하나의 정상 프로세스가 양쪽 모두에 존재함을 보장한다.
• W개의 서명이 포함된 구심점 증명서(QC)의 사용으로, 적응형 브라운스타인 오염 상황에서도 정상 프로세스 간 일관된 결정이 가능하다.
• 기존의 하위제곱형 이진 브라운스타인 합의 프로토콜과 호환되어, 비동기 시스템에서 종단 간 하위제곱형 다값 합의를 실현할 수 있다.