[논문 리뷰] Reaching Consensus in the Byzantine Empire: A Comprehensive Review of BFT Consensus Algorithms

Gengrui Zhang, Fei Pan외 6명|arXiv (Cornell University)|2022. 04. 07.

Distributed systems and fault tolerance인용 수 4

한 줄 요약

이 논문은 최신의 Byzantine fault-tolerant (BFT) 합의 알고리즘에 대한 체계적인 분류 체계와 종합적인 분석을 제시하며, 효율성, 강건성, 가용성의 세 가족으로 분류한다. 메시지 전달 다이어그램을 포함한 직관적인 단계별 프로토콜 설명, 시간 복잡도와 메시지 복잡도 비교, 강점과 약점을 평가하여 연구자와 실무자들이 블록체인, IoT, 기계학습 등 실제 분산 시스템에 최적의 BFT 솔루션을 이해하고 선택하는 데 도움을 준다.

ABSTRACT

Byzantine fault-tolerant (BFT) consensus algorithms are at the core of providing safety and liveness guarantees for distributed systems that must operate in the presence of arbitrary failures. Recently, numerous new BFT algorithms have been proposed, not least due to the traction blockchain technologies have garnered in the search for consensus solutions that offer high throughput, low latency, and robust system designs. In this paper, we conduct a systematic survey of selected and distinguished BFT algorithms that have received extensive attention in academia and industry alike. We perform a qualitative comparison among all algorithms we review considering message and time complexities. Furthermore, we decompose each consensus algorithm into its constituent subprotocols for replication and view change backed by intuitive figures to illustrate the message-passing pattern. We also elaborate on the strengths and weaknesses of each algorithm as compared to the state-of-the-art approaches.

연구 동기 및 목표

• 다양한 가정과 측정 기준으로 인해 현대 BFT 합의 알고리즘에 대한 이해의 복잡성과 일관성 부족을 해결하기 위해.
• 핵심 BFT 알고리즘을 구조적 분해를 통해 통합적이고 직관적이며 종합적인 기술을 제공하기 위해.
• 설계 목표에 기반해 주요 BFT 알고리즘을 효율적인, 강건한, 가용성 높은 세 가지 주요 가족으로 분류하기 위해.
• 표준화된 프레임워크를 사용해 조사된 알고리즘들의 시간 복잡도와 메시지 복잡도를 체계적으로 비교하기 위해.
• 블록체인, IoT, 기계학습 등 실제 응용 분야에서 BFT 합의 프로토콜을 평가하고 선택하는 데 연구자와 실무자를 지원하기 위해.

제안 방법

• 설계 목표와 시스템 성질에 기반해 효율성, 강건성, 가용성의 세 가지 카테고리로 구성된 새로운 분류 체계를 제안한다.
• 일관된 구조적 기술을 사용해 각 BFT 알고리즘을 핵심 하위프로토콜—정상 작동, 뷰 전환, 충돌 해결, 강건성 메커니즘—으로 분해한다.
• 모든 조사된 알고리즘의 합의 인스턴스에 대해 메시지 전달 패턴과 워크플로우를 시각화하기 위해 직관적인 다이어그램을 사용한다.
• 메시지 복잡도와 시간 복잡도 기반으로 모든 알고리즘에 대한 정성적 비교를 수행하며, 표 1에 표기된 결과를 제공한다.
• 예를 들어 HotStuff의 파이프라인, Prime와 Aardvark의 공격 방어, Pompe와 Fairy의 공정성, Honeybadger와 BEATS의 리더리스/비동기 설계와 같은 고유한 기능을 강조한다.
• 후보자 보안, 상호운용성, 분산 기계학습에서의 BFT 적용 등 새로운 과제들을 통합하여 실제 적용 가능성의 맥락을 제공한다.

실험 결과

연구 질문

• RQ1 최신 BFT 합의 알고리즘은 주요 설계 목표에 기반해 어떻게 체계적으로 분류될 수 있는가?
• RQ2 주요 BFT 알고리즘 간의 메시지 복잡도와 시간 복잡도의 핵심 차이는 무엇이며, 실무에서 성능에 어떤 영향을 미치는가?
• RQ3 뷰 전환, 충돌 해결, 리더 선출과 같은 하위프로토콜은 BFT 합의의 정확성과 활성화에 어떻게 기여하는가?
• RQ4 강건한 BFT 알고리즘은 시간 지연, 독점, 성능 기반 공격에 대응하기 위해 어떤 메커니즘을 활용하는가?
• RQ5 후보자 보안, 상호운용성, 기계학습 통합과 같은 신규 트렌드는 BFT 합의의 미래를 어떻게 형상화하는가?

주요 결과

• 이 분류 체계는 효율성, 강건성, 가용성의 세 가지 유기적인 카테고리로 BFT 알고리즘을 성공적으로 조직하며, 각각 다른 시스템 요구사항과 트레이드오프를 반영한다.
• HotStuff와 Zyzzyva와 같은 알고리즘은 파이프라인과 최적화된 쿠롬 구조를 통해 메시지 복잡도를 낮춰 통신 오버헤드를 감소시킨다.
• Prime와 Aardvark와 같은 강건한 BFT 프로토콜은 시간 지연 및 성능 기반 공격에 효과적인 방어 조치를 도입해 시스템 보안을 향상시킨다.
• Honeybadger와 BEATS와 같은 리더리스 및 비동기 프로토콜은 네트워크 분할과 리더 장애 상황에서도 시스템 가용성을 향상시킨다.
• 예를 들어 Prosecutor와 같은 명성 메커니즘과 Pompe, Fairy와 같은 공정성 메커니즘의 통합은 거래 순서의 신뢰성과 투명성을 높인다.
• 후보자 보안과 크로스체인 상호운용성과 같은 새로운 과제들은 향후 BFT 합의 혁신이 필요로 하는 핵심 영역로 확인된다.