[논문 리뷰] Good-case Latency of Byzantine Broadcast: A Complete Categorization

Ittai Abraham, Kartik Nayak외 2명|arXiv (Cornell University)|2021. 02. 14.

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

한 줄 요약

이 논문은 신원 확인된 환경에서 동기, 부분 동기, 이방성 모델에 걸쳐 비잔티노스 결함 내성 브로드캐스트의 양호한 케이스 지연 시간에 대한 완전한 특성화를 제공한다. 새로운 프로토콜 형식인 부분 동기 비잔티노스 브로드캐스트(psync-BB)를 도입하고, 날카러운 경계를 설정하여, 2라운드의 양호한 케이스 지연 시간이 가능함을 보이며, 이는 𝑛 ≥ 5𝑓 − 1일 때에만 성립함을 입증하여, BFT SMR 프로토콜 설계 및 성능 분석에서 오랫동안 애매하게 여겨졌던 문제를 해결한다.

ABSTRACT

This paper explores the problem good-case latency of Byzantine fault-tolerant broadcast, motivated by the real-world latency and performance of practical state machine replication protocols. The good-case latency measures the time it takes for all non-faulty parties to commit when the designated broadcaster is non-faulty. We provide a complete characterization of tight bounds on good-case latency, in the authenticated setting under synchrony, partial synchrony and asynchrony. Some of our new results may be surprising, e.g., 2-round PBFT-style partially synchronous Byzantine broadcast is possible if and only if $n\geq 5f-1$, and a tight bound for good-case latency under $n/3

연구 동기 및 목표

• 지정된 브로드캐스터가 고장 나지 않은 경우를 중심으로, 비잔티노스 브로드캐스트에서의 양호한 케이스 지연 시간을 공식적으로 정의하고 분석하는 것.
• BFT 상태 기반 복제(BFT SMR)에서, 악성 리더가 아닌 경우의 양호한 케이스 지연 시간이 최악의 케이스보다 더 중요하므로, 이론적 경계와 실질적 성능 사이의 격차를 메우는 것.
• PBFT와 같은 단일 실행 BFT SMR 프로토콜을 더 잘 모델링할 수 있는 새로운 브로드캐스트 추상화인 부분 동기 비잔티노스 브로드캐스트(psync-BB)를 제안하는 것.
• 모든 내성 수준(𝑓 < 𝑛/3, 𝑛/3 ≤ 𝑓 < 𝑛/2, 𝑓 ≥ 𝑛/2)과 시계열 모델(동기, 부분 동기, 이방성)에 걸쳐, 양호한 케이스 지연 시간의 날카러운 완전한 분류를 제공하는 것.

제안 방법

• 리더 기반 공감의 단일 실행 BFT SMR를 모델링하기 위해, 부분 동기 비잔티노스 브로드캐스트(psync-BB)라는 새로운 브로드캐스트 원시를 도입한다.
• 동기성, 부분 동기성, 이방성의 세 가지 시계열 모델 하에서 양호한 케이스 지연 시간에 대한 하한 및 상한을 설정하기 위해, 공식적 감소와 프로토콜 구성 기법을 사용한다.
• 실제 메시지 지연 시간 𝛿와 알려진 상한 Δ를 구분하는 정교한 시계 모델을 사용하며, 동기화된 및 비동기화된 프로토콜 시작 모델을 모두 고려한다.
• 𝑛 ≥ 5𝑓 − 1 조건 하에서, 동기 모델에서 Δ + 1.5𝛿의 최적 양호한 케이스 지연 시간을 달성하는 새로운 2라운드 프로토콜을 구성한다.
• 실제로 근사 최적의 지연 시간을 유지하면서 통신 비용을 줄이기 위해 샘플링 기반 최적화를 적용한다.
• 기존의 불가능성 결과와 적대적 시뮬레이션을 통한 감소를 통해 날카러운 하한을 증명하며, 특히 이방성 및 부분 동기 환경에서의 성능을 중심으로 한다.

실험 결과

연구 질문

• RQ1 부분 동기 모델에서 비잔티노스 브로드캐스트의 양호한 케이스 지연 시간에 대한 날카러운 하한은 무엇이며, 내성 수준에 따라 어떻게 달라지는가?
• RQ2 𝑛 < 5𝑓 − 1일 경우, 부분 동기 비잔티노스 브로드캐스트에서 2라운드의 양호한 케이스 프로토콜이 존재할 수 있는가? 존재하지 않는다면 최소 몇 라운드가 필요한가?
• RQ3 동기 모델에서 내성 수준 𝑓 > 𝑛/3일 경우, 양호한 케이스 지연 시간은 어떻게 변하는가?
• RQ4 최적 프로토콜에서 통신 복잡성과 양호한 케이스 지연 시간 사이의 근본적 트레이드오프는 무엇인가?
• RQ5 신원 미확인 환경에서는 결과가 어떻게 달라지며, 현재의 하한 경계는 여전히 날카로운가?

주요 결과

• 부분 동기 비잔티노스 브로드캐스트(psync-BB)의 경우, 2라운드의 양호한 케이스 지연 시간이 가능함은 𝑛 ≥ 5𝑓 − 1일 때에만 성립하며, 이는 필수적이고도 충분한 조건이다.
• 부분 동기 모델에서 3라운드가 필요하고 충분함은 3𝑓 + 1 ≤ 𝑛 < 5𝑓 − 1일 때 성립하며, 이는 PBFT의 3라운드 양호한 케이스 성능이 최적임을 해결한다.
• 𝑛/3 < 𝑓 < 𝑛/2 조건 하에서 동기 모델의 양호한 케이스 지연 시간은 Δ + 1.5𝛿로 날카러게 경계되며, 이는 지연 상한 Δ의 정수 배수가 아니다.
• 신뢰성 다수의 경우(𝑓 < 𝑛/3)에 대해, 동기 모델에서의 양호한 케이스 지연 시간은 정확히 2𝛿이며, 이는 하한과 일치한다.
• 사기 다수의 경우(𝑓 ≥ 𝑛/2)에 대해, 양호한 케이스 지연 시간은 하한으로서 (⌊𝑛/(𝑛−𝑓)⌋ − 1)Δ, 상한으로서 𝑂(𝑛/(𝑛−𝑓))Δ로 경계된다.
• 논문은 PBFT에 대한 오랫동안 애매하게 여겨졌던 문제를 해결한다: 𝑓 = 1일 경우 2라운드로 충분하며(3라운드가 아님), 일반적으로 PBFT가 3라운드에서 최적이라고 여겨지는 것과 정면으로 대비된다.