[논문 리뷰] BBCA-CHAIN: Low Latency, High Throughput BFT Consensus on a DAG

Dahlia Malkhi, Chrysoula Stathakopoulou외 1명|arXiv (Cornell University)|2023. 10. 10.

Distributed systems and fault tolerance인용 수 5

한 줄 요약

BBCA-CHAIN는 BBCA를 통해 완전 수용(Complete-Adopt) 의미론을 강화한 비잔티노스 일致 브로드캐스트(CBC)를 기반으로, 방향성 비순환 그래프(DAG)에 구축된 저지연, 고처리량 비잔티노스 결함내성(BFT) 합의 프로토콜을 제안한다. 투표 블록과 인위적인 계층화를 제거하여 한 번의 메시지 왕복으로 직접 블록을 확정함으로써 지연을 최소화하고, 부분적 동기 모델에서 200ms 미만의 최종성과 고처리량, 단순화된 논리를 달성한다.

ABSTRACT

This paper presents a partially synchronous BFT consensus protocol powered by BBCA, a lightly modified Byzantine Consistent Broadcast (BCB) primitive. BBCA provides a Complete-Adopt semantic through an added probing interface to allow either aborting the broadcast by correct nodes or exclusively, adopting the message consistently in case of a potential delivery. It does not introduce any extra types of messages or additional communication costs to BCB. BBCA is harnessed into BBCA-CHAIN to make direct commits on a chained backbone of a causally ordered graph of blocks, without any additional voting blocks or artificial layering. With the help of Complete-Adopt, the additional knowledge gained from the underlying BCB completely removes the voting latency in popular DAG-based protocols. At the same time, causal ordering allows nodes to propose blocks in parallel and achieve high throughput. BBCA-CHAIN thus closes up the gap between protocols built by consistent broadcasts (e.g., Bullshark) to those without such an abstraction (e.g., PBFT/HotStuff), emphasizing their shared fundamental principles. Using a Bracha-style BCB as an example, we fully specify BBCA-CHAIN with simplicity, serving as a solid basis for high-performance replication systems (and blockchains).

연구 동기 및 목표

• CBC 기반 프로토콜(예: Bullshark)과 PBFT/HotStuff 간의 성능 격차를 좁히기 위해 DAG에서 저지연, 고처리량 합의를 가능하게 하기 위해.
• 인위적인 투표 계층과 특수 블록 유형을 제거하여 DAG 기반 합의 논리를 단순화하기 위해.
• 다중 라운드 의존성 없이 투표를 수정된 CBC 원시 기능에 직접 통합함으로써 합의 지연을 줄이기 위해.
• 인과적 순서와 경량 프로빙 인터페이스를 활용해 블록 제안과 확정을 병렬로 수행할 수 있도록 하기 위해.
• 고성능 복제 시스템과 블록체인을 위한 단순하고 형식적으로 명시된 기반을 제공하기 위해.

제안 방법

• 완전 수용(Complete-Adopt) 인터페이스를 갖춘 수정된 비잔티노스 일치 브로드캐스트(CBC) 원시 기능인 BBCA를 도입하여, 로컬 쿼orum 프로빙을 통해 브로드캐스트가 완료될지를 판단할 수 있도록 한다.
• BBCA를 사용해 백본 블록을 한 번의 메시지 왕복으로 직접 확정함으로써 별도의 투표 블록이나 계층화된 DAG 구조가 필요 없도록 한다.
• 인과적 순서를 활용해 노드들이 블록을 병렬로 제안할 수 있도록 하며, 비백본 블록은 통신 오버헤드를 줄이기 위해 최적화된 브로드캐스트(BEB)를 사용한다.
• 완전 수용 의미론을 활용해 강력한 불변량을 추출한다: 만약 쿼럼의 노드들이 프로빙을 수행하고 '수용하지 않음'을 수신한다면, 어떤 올바른 노드도 브로드캐스트를 완료하지 않을 것이다.
• 뷰 단위의 프로토콜을 설계하여, 오직 리더 블록만 BBCA를 사용하고, 나머지 블록은 BEB를 통해 확산시켜 통신 비용을 최소화한다.
• 브라하 스타일의 CBC를 기반으로 BBCA-CHAIN를 완전히 명시적으로 정의하여 부분적 동기 모델에서 단순성과 정확성을 확보한다.

실험 결과

연구 질문

• RQ1 DAG 기반 BFT 합의 프로토콜이 최소 지연을 유지하면서도 고처리량을 달성하고, 200ms 이내의 최종성을 확보할 수 있는가?
• RQ2 DAG 기반 합의에서 투표 논리가 별도의 투표 블록과 인위적 계층화 없이 브로드캐스트 원시 기능 내부에 통합될 수 있는가?
• RQ3 완전 수용 인터페이스를 갖춘 수정된 CBC 원시 기능이 안전성과 활성화를 희생시키지 않고도 한 번의 메시지로 직접 블록을 확정할 수 있는가?
• RQ4 인과적 순서와 경량 프로빙 메커니즘을 통합함으로써 부분적 동기 네트워크에서 고처리량과 저지연을 동시에 달성할 수 있는가?
• RQ5 BBCA 기반 단순화된 합의 설계가 Bullshark와 같은 복잡한 DAG 프로토콜에 비해 성능 면에서 뒤지지 않고도 구현 복잡성을 줄일 수 있는가?

주요 결과

• BBCA-CHAIN는 Bullshark의 네 번의 CBC 라운드 대비 한 번의 BBCA 브로드캐스트 왕복으로 블록 확정 지연을 최소화한다.
• 투표 블록과 인위적 계층화를 제거함으로써 지연을 최대 75%까지 줄여 저지연 최종성을 달성한다.
• 제안자들이 쿼럼 응답을 순차적으로 기다리는 데서 더 이상 제한되지 않기 때문에 처리량이 크게 증가한다.
• 완전 수용 인터페이스 덕분에 추가 통신 없이도 쿼럼 수준의 지식을 추출할 수 있으며, 프로빙은 로컬 상태 점검에 불과하다.
• BBCA-CHAIN는 높은 병렬성을 지원한다: 비백본 블록은 최적화된 브로드캐스트(BEB)를 통해 전파되어 통신 비용을 줄이고 효율적인 파이프라인 처리를 가능하게 한다.
• 브라하 스타일의 CBC를 기반으로 형식적으로 명시된 프로토콜이므로, 고성능 복제 시스템을 위한 단순하고 정확하며 확장 가능한 기반을 제공한다.