[논문 리뷰] Cogsworth: Byzantine View Synchronization

Oded Naor, Mathieu Baudet외 2명|arXiv (Cornell University)|2019. 09. 11.

Distributed systems and fault tolerance인용 수 7

한 줄 요약

Cogsworth는 부분적 동기성 모델에서 선형 통신 복잡도와 일정한 지연 시간을 달성하는 비잔티노스 시각 동기화 알고리즘을 제안한다. 이는 기존의 이차비용 접근 방식에 비해 크게 향상된 것으로, BFT 시스템에서 합의를 효율적이고 확장 가능하게 만들며, 합의 핵심과 시각 동기화를 분리함으로써 정상 조건 하에서 최소한의 오버헤드로 모든 정상 노드가 동일한 시각으로 수렴하도록 보장한다.

ABSTRACT

Most methods for Byzantine fault tolerance (BFT) in the partial synchrony setting divide the local state of the nodes into views, and the transition from one view to the next dictates a leader change. In order to provide liveness, all honest nodes need to stay in the same view for a sufficiently long time. This requires \emph{view synchronization}, a requisite of BFT that we extract and formally define here. Existing approaches for Byzantine view synchronization incur quadratic communication (in $n$, the number of parties). A cascade of $O(n)$ view changes may thus result in $O(n^3)$ communication complexity. This paper presents a new Byzantine view synchronization algorithm named Cogsworth, that has optimistically linear communication complexity and constant latency. Faced with benign failures, Cogsworth has expected linear communication and constant latency. The result here serves as an important step towards reaching solutions that have overall quadratic communication, the known lower bound on Byzantine fault tolerant consensus. Cogsworth is particularly useful for a family of BFT protocols that already exhibit linear communication under various circumstances, but suffer quadratic overhead due to view synchronization.

연구 동기 및 목표

• 부분 동기성 하에서 상태 기반 복제(SMR)에서 생존성의 전제 조건으로서 비잔티노스 시각 동기화 문제를 공식적으로 정의하는 것.
• 비잔티노스 결함 내성(BFT) 프로토콜에서 기존의 시각 동기화 메커니즘의 이차 통신 오버헤드 문제를 해결하는 것.
• 기대 조건과 넓은 범위의 조건 하에서 선형 통신 복잡도와 일정한 지연 시간을 달성하는 해결책을 설계하여 확장성 향상하는 것.
• 시각 동기화를 합의 핵심에서 분리하여 BFT 프로토콜의 모듈러한 최적화를 가능하게 하는 것.

제안 방법

• Cogsworth는 합의 프로토콜과 독립적으로 작동하는 시각 동기화 추상화를 도입하여 모듈러한 설계를 가능하게 한다.
• 모든 정상 노드가 다음 시각을 동일하게 합의하도록 보장하기 위해 신뢰할 수 있는 브로드캐스트 원리를 사용하여 합의 유사한 동기화 레이어를 형성한다.
• 임계값 기반의 시각 전환 메커니즘을 활용하여, 노드는 충분한 수의 시각 변경 메시지를 수신한 후에만 다음 시각으로 전환한다.
• HotStuff를 영감으로 삼은 PaceMaker 스타일 메커니즘을 활용하지만, 비잔티노스 결함 내성에 최적화되어 있으며 유한한 지연 시간과 통신 성능을 보장한다.
• 모든 정상 노드가 최소한의 기간 동안 동일한 시각에 머무르도록 보장하여 외부 합의 프로토콜에서 진행 가능성을 확보한다.
• 중복된 메시지 교환을 최소화하고 효율적인 메시지 집계 및 검증을 사용하여 유의미하게 선형 통신을 달성한다.

실험 결과

연구 질문

• RQ1 비잔티노스 결함 내성 시스템에서 시각 동기화는 합의 핵심과 독립적으로 선형 통신 복잡도와 일정한 지연 시간을 달성할 수 있는가?
• RQ2 부분 동기성 하에서 비잔티노스 결함 존재 조건 하에서 시각 동기화를 달성하기 위한 최소 통신 비용은 얼마인가?
• RQ3 합의와 분리된 시각 동기화를 통해 모듈러하고 효율적인 BFT 프로토콜 설계를 어떻게 가능하게 할 수 있는가?
• RQ4 선형 통신 복잡도가 선형 통신 복잡도를 달성할 수 있는 조건는 무엇인가? (선천적 장애 및 비잔티노스 장애 모델 모두에서)
• RQ5 비잔티노스 결함에 대응하면서도 생존성과 안전성을 보장하면서 일정한 지연 시간을 유지할 수 있는 시각 동기화 메커니즘을 설계할 수 있는가?

주요 결과

• Cogsworth는 다양한 조건 하에서 기대값으로 선형 통신 복잡도와 일정한 지연 시간을 달성한다. 이는 선천적 장애 조건을 포함한다.
• 모든 정상 노드가 유한한 기간 동안 동일한 시각에 머무르며, 외부 합의 프로토콜에서 진행 가능성을 보장한다.
• Cogsworth는 BFT 시스템의 총 통신 복잡도를 최악의 경우 O(n³)에서 O(n²)로 감소시켜, 비잔티노스 합의의 알려진 하한선과 일치시킨다.
• 동기 조건 하에서는 일정한 지연 시간을 유지하며, 메시지 지연 시간이 δ 이내로 제한되며 부분 동기 조건 하에서도 최적의 성능을 발휘한다.
• 특히 연쇄적인 시각 변경이 발생할 경우, 기존의 이차 통신 비용을 유발하는 시각 동기화 메커니즘보다 뛰어난 성능을 보인다.
• 일반적으로 정상 작동 시 선형 통신을 갖는 BFT 프로토콜이지만, 시각 동기화로 인해 이차 오버헤드를 겪는 경우에 특히 효과적이다.