[논문 리뷰] Blockmania: from Block DAGs to Consensus

George Danezis, Dave Hrycyszyn|arXiv (Cornell University)|2018. 09. 05.

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

한 줄 요약

Blockmania는 블록 DAG(Directed Acyclic Graph)를 통신 기반으로 사용하는 리더 없는 비잔티노스 합의 프로토콜을 제안하며, O(N²) 최악의 통신 복잡도로 효율적이고 최종적인 합의를 가능하게 한다. 블록 간헐적 전파와 합의 해석을 분리함으로써, 이론적 비동기 및 부분 동기 환경에서도 안전성, 활성화 및 최종성 보장을 확보하면서 광역망에서 초당 400만 건 이상의 거래를 처리한다.

ABSTRACT

Blockmania is a byzantine consensus protocol. Nodes emit blocks forming a directed acyclic graph (block DAG) that is subsequently interpreted by each node separately to ensure consensus with safety, liveness and finality. The resulting system has communication complexity $O(N^2)$ even in the worse case, and very low constant factors --- as compared to $O(N^4)$ for PBFT; it is leaderless; and network operations do not depend on the composition of the quorum or node stake. This makes Blockmania very efficient (leading to over 400K transactions per second on a wide area network), and ideal for dynamic membership and flexible and non-interrupted proof-of-stake protocols. A X-Blockmania variant, has $O(N)$ communication cost but also higher latency $O(\log N)$.

연구 동기 및 목표

• 동적이고 리더 없는 환경에서 통신 오버헤드를 최소화하면서 효율적으로 작동하는 비잔티노스 합의 프로토콜을 설계하는 것.
• 블록 간헐적 전파 단계(블록 DAG 형성)와 합의 해석 단계를 분리하여 각각 독립적으로 최적화할 수 있도록 하는 것.
• 리더 선출이나 복잡한 쿠롬 구조에 의존하지 않고도 비동기 및 부분 동기 환경에서 강력한 안전성, 활성화 및 최종성 보장을 달성하는 것.
• 합의 로직에서 스테이크 분포와 노드 멤버십을 추상화함으로써, 더 유연하고 간섭 없이 작동하는 스테이크 기반 프로토콜을 지원하는 것.
• 특히 광역망 환경에서 저지연과 고처리량을 달성하는 실용적 성능을 규모에 맞게 입증하는 것.

제안 방법

• 노드들은 정기적으로 서명된 블록을 방송하여 블록 DAG를 형성하며, 각 블록은 암호학적 해시를 통해 이전 블록을 참조하고, 거래 또는 다른 유효한 블록을 참조한다.
• 블록 유효성은 경량 검증을 통해 강제된다: 서명 검증, 유효한 이전 블록 참조, 그리고 참조된 모든 블록의 순환 검증.
• 각 노드는 수신한 DAG를 비잔티노스 결함 내성 합의 인스턴스로 독립적으로 해석하며, 이를 단순화된 PBFT 스타일 프로토콜로 매핑하여 블록 순서에 대한 합의를 이룬다.
• 수수료 기반 결정적 블록 순서와 위임 스테이크 기반 쿠롬 시스템을 사용하여 합의 프로세스를 보호한다.
• X-Blockmania라는 변형은 계층적 구조와 가상 투표를 사용하여 통신 비용을 O(N)으로 줄이지만, 인터프리테이션 과정으로 인해 O(log N)의 지연이 발생한다.
• 네트워크 작업(블록 간헐적 전파)과 합의 로직을 분리함으로써 독립적인 최적화가 가능해지고 메시지 부풀림이 감소한다.

실험 결과

연구 질문

• RQ1 간단하고 경량적인 유효성 규칙으로 형성된 블록 DAG가 강력한 안전성과 최종성 보장을 갖춘 비잔티노스 합의 프로토콜의 기초로 기능할 수 있는가?
• RQ2 블록 간헐적 전파와 합의 해석을 분리했을 때의 합의 통신 복잡도는 얼마이며, PBFT의 O(N⁴) 이하로 낮출 수 있는가?
• RQ3 특히 악성 조건 하에서도 광역망에서 저지연과 고처리량을 달성할 수 있는 리더 없는 합의는 어떻게 달성할 수 있는가?
• RQ4 블록 DAG 구축과 합의 해석의 분리가 스테이크 기반 시스템에서 더 유연하고 동적 멤버십 및 스테이크 분포를 가능하게 할 수 있는가?
• RQ5 이러한 설계에서 통신 효율성(O(N²) 대비 O(N))과 지연(O(1) 대비 O(log N)) 간의 성능 트레이드오프는 무엇인가?

주요 결과

• Blockmania는 광역망에서 초당 40만 건 이상의 거래를 처리하여, 비잔티노스 결함 내성에도 불구하고 높은 실용적 처리량을 입증한다.
• 비동기 및 부분 동기 환경에서 안전성과 활성화를 보장하며, 블록 DAG의 결정적 해석을 통해 최종성을 달성한다.
• 최악의 경우 통신 복잡도는 O(N²)로 제한되며, PBFT의 O(N⁴)에 비해 상당히 낮고, 상수 요소도 훨씬 작다.
• X-Blockmania 변형은 계층적 가상 투표를 사용하여 통신 비용을 O(N)으로 줄였지만, 인터프리테이션 과정으로 인해 O(log N)의 지연이 발생한다.
• 블록 간헐적 전파와 합의 해석의 분리로 인해 노드들이 독립적으로 작동할 수 있게 되었으며, 모든 메시지에 합의 메타데이터를 동반할 필요가 없어졌다.
• 합의 로직이 블록 생성 시 노드 식별자나 스테이크 분포를 알고 있지 않기 때문에, 동적 멤버십과 스테이크 재구성에 강건하게 대응할 수 있다.