[논문 리뷰] Fast-HotStuff: A Fast and Resilient HotStuff Protocol

Mohammad M. Jalalzai, Jianyu Niu외 2명|arXiv (Cornell University)|2020. 10. 22.

Distributed systems and fault tolerance참고 문헌 35인용 수 26

한 줄 요약

Fast-HotStuff는 지연을 줄이고 포킹 공격에 대한 강건성을 향상시켜 HotStuff를 개선한 이중 라운드 비잔틴 장애 내성(BFT) 합의 프로토콜이다. 이는 뷰 전환 시 블록에 소량의 조건부 오버헤드를 추가함으로써 HotStuff보다 더 빠른 복구와 전체적인 지연을 낮추며, 성능 공격 상황에서도 특히 유리하다.

ABSTRACT

The HotStuff protocol is a breakthrough in Byzantine Fault Tolerant (BFT) consensus that enjoys both responsiveness and linear view change. It creatively adds an additional round to classic BFT protocols (like PBFT) using two rounds. This brings us to an interesting question: Is this additional round really necessary in practice? In this paper, we answer this question by designing a new two-round BFT protocol called Fast-HotStuff, which enjoys responsiveness and efficient view change that is comparable to linear view change in terms of performance. Compared to (three-round) HotStuff, Fast-HotStuff has lower latency and is more robust against performance attacks that HotStuff is susceptible to.

연구 동기 및 목표

• HotStuff 프로토콜의 높은 지연과 성능 공격에 대한 취약성을 해결, 특히 뷰 전환 시점에서의 문제를 중심으로.
• 응답성과 선형 메시지 복잡도를 유지하면서도 뷰 전환 오버헤드를 줄이기.
• HotStuff의 파ipel라인 블록 제안 방식을 악용하는 포킹 공격에 대한 강건성을 향상시키기.
• 악의적인 주도자 행동 조건에서도 최소한의 추가 통신 비용으로 이중 라운드 합의를 달성하기.
• 정상 및 장애 상황 모두에서 높은 성능과 낮은 지연을 유지할 수 있음을 입증하기.

제안 방법

• HotStuff의 삼중 체인 규칙와는 달리, 단 두 라운드의 통신만으로도 합의를 가능하게 하는 이중 체인 커밋 규칙 도입.
• 주도자가 실패할 경우에만 뷰 전환 시 $O(n^2)$의 인증자 오버헤드를 조건부로 추가하여 포킹 공격을 방지.
• 효율적인 검증을 위해 임계값 서명을 사용하면서, 라그랑주 보간법의 계산 비용을 최적화하여 관리.
• 악의적인 주도자가 뷰 전환 중 추가 라운드를 유도할 수 없도록 하여 성능 공격에 강건한 설계.
• 공격 표면을 제한하고 블록 제안 기회를 공정하게 분배하기 위해 라운드 기반 주도자 전환 메커니즘 설계.
• 뷰 전환 중 처리하는 서명 수를 줄여 서명 검증을 최적화함으로써 DiemBFT(v4) 대비 $O(n)$ 향상 달성.

실험 결과

연구 질문

• RQ1 이중 라운드 BFT 프로토콜이 뷰 전환 효율성을 희생시키지 않으면서도 지연을 낮추고 포킹 공격에 대한 강건성을 확보할 수 있는가?
• RQ2 뷰 전환 시 소량의 조건부 $O(n^2)$ 오버헤드가 전체 프로토콜 성능과 보안에 어떤 영향을 미치는가?
• RQ3 포킹 공격 상황에서 Fast-HotStuff가 HotStuff에 비해 지연과 처리량 면에서 얼마나 뛰어나게 성능을 발휘하는가?
• RQ4 악의적인 주도자가 합의 지연을 시도할 경우에도 프로토콜이 응답성과 선형 뷰 전환을 유지할 수 있는가?
• RQ5 제안된 프로토콜에서 계산 비용(예: 라그랑주 보간법)과 통신 효율성 사이의 상충 관계는 어느 정도인가?

주요 결과

• Fast-HotStuff는 단 두 라운드의 통신만으로도 합의를 달성하여 HotStuff의 삼중 라운드 구조에 비해 지연을 줄였다.
• 포킹 공격 상황에서도 지연과 처리량 면에서 HotStuff를 능가하며, 뷰 전환 시에만 $O(n^2)$의 인증자를 추가함에도 불구하고 성능이 뛰어나다.
• Fast-HotStuff의 뷰 전환 오버헤드는 DiemBFT(v4) 대비 $O(n)$ 낮아 서명 검증 비용과 대역폭 사용을 크게 감소시켰다.
• Fast-HotStuff는 HotStuff와 Wendy에서 추가 라운드를 유도할 수 있는 성능 공격에 강건하며, 일관된 복구 시간을 유지한다.
• 임계값 서명 구축 시 라그랑주 보간법의 제곱형 비용이 존재하지만, 통신 및 검증 부담이 감소함에 따라 전체 프로토콜 성능은 여전히 뛰어나다.
• 실험 결과, $O(n^2)$ 오버헤드가 블록에 포함된 상태에서도 Fast-HotStuff가 장애 복구 시 HotStuff보다 낮은 지연을 유지함을 확인했다.