[논문 리뷰] FnF-BFT: Exploring Performance Limits of BFT Protocols

Zeta Avarikioti, Lioba Heimbach외 4명|arXiv (Cornell University)|2020. 09. 04.

Distributed systems and fault tolerance참고 문헌 34인용 수 4

한 줄 요약

FnF-BFT는 단일 리더 버저니의 성능 저하 문제를 제거하기 위해 모든 레플리카가 동시에 요청을 제안할 수 있도록 허용함으로써 병렬 리더 방식의 비잔티노스 결함 내성(BFT) 프로토콜이다. 이는 선형 통신 복잡도와 비잔티노스 공격 상황에서도 일정 수준의 성능 내성 확보를 달성한다. 특히 스케일링 상황에서 HotStuff 대비 최대 1.5배 높은 처리량을 기록하며, 악성 장애 상황에서 최적 처리량의 최소 16/27 비율을 확보하는 이론적 하한을 가진다.

ABSTRACT

We introduce FnF-BFT, a parallel-leader byzantine fault-tolerant state-machine replication protocol for the partially synchronous model with theoretical performance bounds during synchrony. By allowing all replicas to act as leaders and propose requests independently, FnF-BFT parallelizes the execution of requests. Leader parallelization distributes the load over the entire network -- increasing throughput by overcoming the single-leader bottleneck. We further use historical data to ensure that well-performing replicas are in command. FnF-BFT's communication complexity is linear in the number of replicas during synchrony and thus competitive with state-of-the-art protocols. Finally, with FnF-BFT, we introduce a BFT protocol with performance guarantees in stable network conditions under truly byzantine attacks. A prototype implementation of \prot outperforms (state-of-the-art) HotStuff's throughput, especially as replicas increase, showcasing \prot's significantly improved scaling capabilities.

연구 동기 및 목표

• 기존 BFT 프로토콜의 단일 리더 버저니로 인한 확장성 한계를 해결하기 위해.
• 임의의 비잔티노스 행동에 대해 높은 처리량과 강력한 보안 보장을 유지하는 BFT 프로토콜을 설계하기 위해.
• 비잔티노스 내성 성능을 공식적으로 정의하고 달성하기 위해 — 즉, 악성 공격 상황에서도 처리량에 일정한 하한을 확보하기 위해.
• 병렬 리더 실행이 안전성과 활성화를 희생시키지 않고도 효율적으로 확장될 수 있는지를 입증하기 위해.
• 실세계 조건에서 최신 기술 수준의 프로토콜인 HotStuff를 능가하는 프로토타입 구현을 제공하기 위해.

제안 방법

• 모든 레플리카가 독립적으로 요청을 제안할 수 있도록 하는 병렬 리더 아키텍처를 도입하여 네트워크 전반의 부담을 분산시킨다.
• 과거 성능 데이터를 활용해 고성능 레플리카를 리더로 선정함으로써 효율성과 일관성을 향상시킨다.
• BLS 임계값 서명과 워터마크 기반 에포크 메커니즘을 사용하여 부분적으로 동기 모델에서 안전성과 활성화를 보장한다.
• GST 이후의 분할된 인증자 복잡도를 분석하여 O(n) 통신 복잡도를 입증하며, 이는 HotStuff의 효율성과 동일하다.
• 프로토타입은 libhotstuff를 기반으로 하며, 병렬 리더 로직과 BLS 서명을 지원하기 위해 약 2000줄의 코드를 수정하였다.
• 정확한 비교를 위해 다중 스레드 HotStuff와 동일한 설정에서 단일 스레드로 구현된 결정론적 구현 방식을 사용한다.

실험 결과

연구 질문

• RQ1 단일 리더 버저니 문제를 제거함으로써 BFT 프로토콜이 높은 처리량과 강력한 결함 내성을 달성할 수 있는가?
• RQ2 임의의 비잔티노스 행동 상황에서 BFT 프로토콜의 이론적 처리량 하한은 무엇이며, 이를 공식적으로 보장할 수 있는가?
• RQ3 병렬 리더 실행은 부분적으로 동기 네트워크에서 통신 복잡도와 확장성에 어떤 영향을 미치는가?
• RQ4 실제 비잔티노스 공격 상황에서도 안전성과 활성화를 확보하면서 높은 처리량을 유지할 수 있는가?
• RQ5 실제로 병렬 리더 BFT 프로토콜은 HotStuff와 같은 최신 기술 수준의 순차 리더 프로토콜보다 어떻게 성능이 뛰어나게 되는가?

주요 결과

• FnF-BFT는 비잔티노스 내성 성능 비율 16/27을 확보하여, 악성 공격 상황에서의 처리량이 최적 처리량의 최소 16/27 이상을 유지함을 의미한다.
• 부분적으로 동기 모델에서 FnF-BFT는 O(n) 통신 복잡도를 유지하여 HotStuff와 같은 최신 기술 수준의 프로토콜들과 경쟁 가능하다.
• 프로토타입 평가 결과, 다중 스레드 HotStuff 대비 최소 1.1배, 단일 스레드 HotStuff 대비 최소 1.5배 이상의 처리량을 기록하였으며, 특히 레플리카 수가 증가할수록 두드러진 성능 향상이 나타났다.
• 평균 지연 시간은 두 프로토콜 간 유사하게 증가하여, 최대 61개의 레플리카에서도 낮은 최종성 지연을 유지함을 시사한다.
• 성능 향상은 특히 스케일링 상황에서 가장 두드러지며, HotStuff 대비 뛰어난 수평 확장성을 입증한다.
• 구현 결과에서 계산 비용(인증자 복잡도)이 주요 성능 저하 요인임을 확인하였고, FnF-BFT는 병렬 처리를 통해 이를 효과적으로 관리하고 있음을 입증하였다.