블록체인의 혁신, HotStuff: 빠르고 간결한 BFT 합의 프로토콜

초록

HotStuff는 부분 동기 네트워크 환경을 위한 새로운 BFT 합의 프로토콜입니다. 네트워크가 안정화된 후, 올바른 리더는 실제 네트워크 지연 시간만큼 빠르게 합의를 도출할 수 있으며(반응성), 복제본 수에 대해 선형적인 통신 복잡도를 유지합니다. 기존 PBFT 계열 프로토콜의 복잡한 리더 교체 과정과 높은 통신 부하 문제를 해결했으며, 고전 BFT 이론과 블록체인 구조를 연결하는 통합 프레임워크를 제시합니다.

상세 분석

HotStuff의 핵심 혁신은 ‘3단계(three-phase) 핵심 구조’와 이를 통한 ‘선형 리더 교체(Linear View Change)’ 메커니즘에 있습니다. 기존 PBFT의 2단계 패러다임은 리더 교체 시 새로운 리더가 (n-f)개의 복제본으로부터 각자의 최신 상태 정보를 수집하여 재전송해야 하므로 O(n^3)의 통신 복잡도가 발생했습니다. 반면, HotStuff는 Prepare, Pre-commit, Commit의 3단계 투표를 도입함으로써, 새 리더가 단순히 자신이 아는 가장 높은 ‘쿼럼 인증서(Quorum Certificate, QC)‘를 선택해 제안하기만 하면 됩니다. 특히 두 번째 단계(Pre-commit)는 복제본이 첫 번째 단계에서의 투표를 ‘마음을 바꿀 수 있게’ 하여, 리더가 복잡한 안전성 증명을 할 필요 없이 간단히 최신 QC을 따라갈 수 있게 합니다.

이 구조는 ‘Pacemaker’라는 모듈과 안전성이 분리된 설계로 이어집니다. Pacemaker는 새로운 노드(블록)를 그래프에 추가하며 리더를 교체하는 라이브니스 메커니즘을 담당하고, 핵심 프로토콜은 투표 및 커밋 규칙을 통해 안전성을 보장합니다. 이는 프로토콜의 단순성과 모듈성을 극대화합니다. 또한 이 그래프 기반 프레임워크는 DLS, PBFT, Tendermint, Casper와 같은 다양한 기존 BFT 프로토콜을 동일한 구조로 해석할 수 있는 표현력을 제공합니다.

실제 100개 이상의 복제본 환경에서의 구현 결과, HotStuff는 성숙한 시스템인 BFT-SMaRt와 비슷한 처리량과 지연 시간을 보이면서도, 리더가 연속으로 실패하는 최악의 시나리오에서도 통신 부하(인증자 수)가 복제본 수에 선형적으로만 증가(O(fn))하는 것을 확인했습니다. 이는 BFT-SMaRt의 2차적 증가(O(fn^2))와 대비됩니다. 이는 대규모 허가형 블록체인 컨소시엄에 매우 실용적인 장점입니다.