[논문 리뷰] Byzantine Consensus Is Θ(n²): The Dolev-Reischuk Bound Is Tight Even in Partial Synchrony!

Pierre Civit, Muhammad Ayaz Dzulfikar외 5명|arXiv (Cornell University)|2022. 01. 01.

Distributed systems and fault tolerance인용 수 5

한 줄 요약

이 논문은 부분적으로 동기적인 분산 환경에서 최적의 O(n²) 통신 복잡도와 O(f) 지연 시간을 갖는 부분적으로 동기 Byzantine 합의 프로토콜인 SQad를 제안한다. 이는 오랫동안 남아있던 분산 시스템 분야의 격차를 메우며, 이는 O(n²) 통신 복잡도와 선형 지연 시간을 갖는 RareSync라는 뷰 동기화 프로토콜을 도입함으로써 달성된다. 이 프로토콜은 지도자 기반 합의를 비잔티우스 결함이 있는 환경에서도 효율적으로 수행할 수 있도록 한다.

ABSTRACT

The Dolev-Reischuk bound says that any deterministic Byzantine consensus protocol has (at least) quadratic communication complexity in the worst case. While it has been shown that the bound is tight in synchronous environments, it is still unknown whether a consensus protocol with quadratic communication complexity can be obtained in partial synchrony. Until now, the most efficient known solutions for Byzantine consensus in partially synchronous settings had cubic communication complexity (e.g., HotStuff, binary DBFT). This paper closes the existing gap by introducing SQuad, a partially synchronous Byzantine consensus protocol with quadratic worst-case communication complexity. In addition, SQuad is optimally-resilient and achieves linear worst-case latency complexity. The key technical contribution underlying SQuad lies in the way we solve view synchronization, the problem of bringing all correct processes to the same view with a correct leader for sufficiently long. Concretely, we present RareSync, a view synchronization protocol with quadratic communication complexity and linear latency complexity, which we utilize in order to obtain SQuad.

연구 동기 및 목표

• 부분적으로 동기 시스템에서 O(n²) 통신 복잡도를 갖는 Byzantine 합의가 가능할 수 있는지 여부에 대한 열린 문제를 해결한다.
• 부분 동기 환경에서 알려진 Dolev-Reischuk 하한선(Ω(n²))과 최고의 상한선(O(n³)) 사이의 격차를 메운다.
• 이론적 하한선에 정확히 부합하면서도 최적의 내성과 낮은 지연 시간을 유지하는 합의 프로토콜을 설계한다.
• 부분 동기 환경에서 효율적인 지도자 기반 합의를 가능하게 하는 새로운 뷰 동기화 메커니즘을 개발한다.

제안 방법

• 두 단계 아키텍처(뷰 코어 및 뷰 싱크로나이저)를 기반으로 한 부분적으로 동기 Byzantine 합의 프로토콜인 SQad를 도입한다.
• O(n²) 통신 복잡도와 O(f) 지연 시간을 갖는 RareSync라는 뷰 동기화 프로토콜을 설계하여, 정상적인 프로세스들이 정상적인 지도자와 함께 동일한 뷰로 수렴하도록 보장한다.
• 에포크 기반 조율을 통해 뷰 간의 프로세스 동기화를 수행하여 중복 통신을 최소화한다.
• 결정을 검증하고 라이브니스를 보장하기 위해 인증 단계를 활용하며, 소통 메시지에 암호학적 증명서를 포함시켜 이중성(-equivocation)을 방지한다.
• 프로세스가 서로 다른 시간에 시작되거나 시계 오차가 있을 경우에도 프로토콜이 유효성, 합의성, 종료성을 유지함을 증명한다.
• 실행을 단계별로 분해하여 통신 및 지연 복잡도를 분석한다: GST 이전, GST, GST 이후 단계로 나누며, 총 복잡도가 각각 O(n²) 및 O(f)로 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 정적 Byzantine 합의 프로토콜이 부분적으로 동기 시스템에서 O(n²) 통신 복잡도를 달성할 수 있는가?
• RQ2 부분 동기 환경에서 통신 복잡도에 대해 Dolev-Reischuk 하한선 Ω(n²)이 날카로운가?
• RQ3 O(n²) 통신 복잡도와 O(f) 지연 시간을 갖는 뷰 동기화 프로토콜을 설계하여 부분 동기 환경에서 최적의 합의를 가능하게 할 수 있는가?
• RQ4 최적의 뷰 동기화와 지도자 기반 뷰 코어의 조합이 이론적 하한선에 부합하는 합의 프로토콜을 만들어낼 수 있는가?
• RQ5 이러한 프로토콜이 최적의 내성(최대 f개의 고장 난 프로세스를 수용)을 유지하면서도 선형 지연 시간을 달성할 수 있는가?

주요 결과

• SQad는 O(n²) 최악의 경우 통신 복잡도를 달성하여 Dolev-Reischuk 하한선에 정확히 부합함을 입증함으로써, 부분 동기 환경에서도 이 하한선이 날카로운지 확인한다.
• 프로토콜은 O(f) 최악의 경우 지연 시간을 달성하며, f개의 고장 난 프로세스를 가진 Byzantine 합의에 대해 최적이 된다.
• 뷰 동기화 프로토콜인 RareSync는 O(f) 시간 내에 모든 정상 프로세스가 정상적인 지도자와 함께 동일한 뷰로 수렴하며, O(n²) 통신 복잡도를 유지한다.
• 프로토콜은 최적으로 내성되어 있으며, 최대 f명의 비잔티우스 결함을 수용하면서도 정확성과 라이브니스를 유지한다.
• 분석 결과, 프로세스들이 GST 이후에 실행을 시작하더라도, 제한된 에포크 전환과 메시지 수의 제한으로 인해 통신 복잡도가 O(n²)로 유지됨을 보여준다.
• 모든 결정이 암호학적 증명서를 동반하도록 요구함으로써 유효성과 합의성을 유지하며, 이중성 방지를 보장한다.