[논문 리뷰] Hot-Stuff the Linear, Optimal-Resilience, One-Message BFT Devil.

Ittai Abraham, Guy Golan Gueta외 1명|arXiv (Cornell University)|2018. 03. 13.

Distributed systems and fault tolerance인용 수 33

한 줄 요약

Hot-Stuff는 $ n = 3f+1 $ 리플리카를 위한 비잔티노스 결함내성(BFT) 합의 프로토콜로, 라운드당 선형 통신 복잡도를 달성하여 총 비용을 $ O(n^2) $로 줄이며, $ f $개의 비잔티노스 결함에 대해 최적의 내성성을 유지한다. 단일 메시지 유형과 간결한 설계를 사용하여 이성적 비동기 조건 하에서도 안전성을 보장하고, 동기 조건 하에서는 진행 가능성을 확보한다.

ABSTRACT

We describe a protocol called `Hot-Stuff the Linear, Optimal-Resilience, One-Message BFT Devil' (in short, Hot-Stuff) for $n = 3f+1$ replicas, of which $2f+1$ are honest, to agree on a replicated, ever-changing state. The protocol is always safe against a threshold $f$ of Byzantine failures, even when the system is asynchronous. Progress is guaranteed under periods of synchrony. The per-round communication cost in Hot-Stuff is linear, hence $O(n^2)$ overall cost to a decision during periods of synchrony, an improvement of $O(n^2)$ over previous asynchronous BFT protocols. Hot-Stuff uses one type of message exchange, and is succinctly described in under twenty lines of pseudo-code.

연구 동기 및 목표

• 시스템 내 $ n = 3f+1 $ 리플리카에서 $ f $개의 비잔티노스 결함에 대한 내성성을 최적으로 달성하는 BFT 합의 프로토콜을 설계하는 것.
• 이전의 이성적 BFT 프로토콜에서 라운드당 통신 비용을 줄여 라운드당 선형 복잡도를 달성하는 것.
• 장기간의 비동기 상태 동안에도 안전성을 보장하여 악성 조건 하에서도 일致성을 유지하는 것.
• 단일 메시지 유형을 사용하여 프로토콜 설계를 단순화함으로써, 간결한 구현이 가능한 것.

제안 방법

• 프로토콜은 주 리플리카가 블록을 제안하고, 2/3 이상의 투표를 기반으로 한 쿠오럼을 통해 합의에 도달하는 뷰 기반 접근 방식을 사용한다.
• 이중 단계 투표 메커니즘인 '사전 준비'와 '준비' 단계를 도입하여, 라운드당 단일 메시지만으로 통신 오버헤드를 최소화한다.
• 2f+1개의 사전 준비 및 준비 투표를 기반으로 한 쿠오럼 증명서를 활용하여 유효한 결정을 형성한다.
• 증가하는 순서 번호를 가진 준비된 블록의 체인을 유지하여 지속성과 분할 방지를 보장한다.
• 각 뷰당 오직 한 개의 블록만이 커밋될 수 있도록 설계되어, 이중성 방지를 통해 안전성을 확보한다.
• 프로토콜은 이성적 비동기 조건 하에서 안전성이 보장되고, 동기 조건 하에서는 진행 가능성이 보장되며, 최소한의 메시지 교환을 사용한다.

실험 결과

연구 질문

• RQ1 BFT 프로토콜이 최적의 내성성을 유지하면서도 라운드당 선형 통신 복잡도를 달성할 수 있는가?
• RQ2 단일 메시지 교환 패tern을 사용하여 비잔티노스 환경에서 안전성과 지속성을 동시에 확보할 수 있는가?
• RQ3 무한한 비동기 상태 동안에도 안전성이 보장되고, 동기 조건에서만 진행 가능한 BFT 프로토콜을 설계할 수 있는가?
• RQ4 최소한의 코드로도 형식적으로 검증 가능한 간결한 BFT 프로토콜을 설계할 수 있는가?

주요 결과

• Hot-Stuff는 동기 상태 기간 동안 총 통신 비용이 $ O(n^2) $로 유지되어 이전 프로토콜 대비 $ O(n^2) $의 성능 향상을 달성한다.
• 비동기 상태가 지속되는 동안에도 $ f $개의 비잔티노스 결함에 대해 안전성이 보장되어 악성 조건 하에서도 일致성을 유지한다.
• 시스템이 동기 상태에 진입하면 진행 가능성이 보장되어 유리한 조건 하에서 지속성을 확보한다.
• 단일 메시지 유형만을 사용하여 20줄 이내의 의사코드로도 간결한 구현이 가능하다.
• 프로토콜의 설계는 형식적으로 검증 가능하며, 쿠오럼 보호를 받는 블록 체인을 통해 분할을 방지하고 일치성을 보장한다.