[논문 리뷰] OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems

Sang-Min Choi, Jiho Park외 6명|arXiv (Cornell University)|2018. 10. 04.

Distributed systems and fault tolerance참고 문헌 14인용 수 7

한 줄 요약

이 논문은 비동기 분산 시스템을 위한 새로운 공감의 프로토콜 패밀리인 OPERA를 소개한다. OPERA는 DAG 기반의 OPERA 체인을 통해 비잔틴 장애를 견딜 수 있도록 설계된 Lachesis 클래스의 프로토콜이다. 라문프 타임스탬프, 동시 공통 지식, 비용 함수 기반 피어 선택을 활용함으로써 L₀ 프로토콜은 리더가 없는 공감을 실현하며, 2/3의 합의를 달성하고 기존의 pBFT에 비해 통신 오버헤드를 줄였다. 이로써 작업 증명이나 라운드 로빈 메커니즘 없이도 더 적은 단계 내에 실용적인 공감을 달성할 수 있다.

ABSTRACT

This paper introduces a new family of consensus protocols, namely \emph{Lachesis-class} denoted by $\mathcal{L}$, for distributed networks with guaranteed Byzantine fault tolerance. Each Lachesis protocol $L$ in $\mathcal{L}$ has complete asynchrony, is leaderless, has no round robin, no proof-of-work, and has eventual consensus. The core concept of our technology is the \emph{OPERA chain}, generated by the Lachesis protocol. In the most general form, each node in Lachesis has a set of $k$ neighbours of most preference. When receiving transactions a node creates and shares an event block with all neighbours. Each event block is signed by the hashes of the creating node and its $k$ peers. The OPERA chain of the event blocks is a Directed Acyclic Graph (DAG); it guarantees practical Byzantine fault tolerance (pBFT). Our framework is then presented using Lamport timestamps and concurrent common knowledge. Further, we present an example of Lachesis consensus protocol $L_0$ of our framework. Our $L_0$ protocol can reach consensus upon 2/3 of all participants' agreement to an event block without any additional communication overhead. $L_0$ protocol relies on a cost function to identify $k$ peers and to generate the DAG-based OPERA chain. By creating a binary flag table that stores connection information and share information between blocks, Lachesis achieves consensus in fewer steps than pBFT protocol for consensus.

연구 동기 및 목표

• 비동기 네트워크에서 기존의 비잔틴 장애 내성 공감 프로토콜(pBFT 등)의 높은 지연과 통신 오버헤드 문제를 해결한다.
• 전체 네트워크 인식이 필요하거나 느린 게시 방식으로 인해 성능이 떨어지는 기존의 DAG 기반 프로토콜(예: Hashgraph)의 한계를 극복한다.
• 라문프 타임스탬프를 통한 위상 순서와 지속적인 공통 지식을 활용해 빠르고 스케일러블한 공감을 실현한다.
• 라운드 로빈이나 작업 증명에 의존하지 않으면서도 최종 공감을 보장하는 리더 없는, 스테이킹 기반 호환 프로토콜을 설계한다.
• 비용 함수 기반 피어 선택과 루트 기반 공감 탐지 기법을 통해 일반적인 공격(예: 이중 지출, 시빌, 장거리 공격 등)에 대한 공식적인 보안 보장을 제공한다.

제안 방법

• 각 이벤트 블록이 생성자와 k개의 선호 피어로부터 서명되는 방식으로 Directed Acyclic Graph(DAG) 형태의 OPERA 체인을 구성한다.
• 라문프 타임스탬프를 사용해 노드 간 이벤트의 위상 순서를 확립함으로써 전역적인 일관된 순서를 보장하며, 전역 시계가 필요로 하지 않는다.
• 각 노드당 k개의 최선의 피어를 선택하기 위해 비용 함수를 활용함으로써 효율적이고 내성적인 통신 토폴로지 구조를 확보한다.
• Lachesis 공감 알고리즘(LCA)을 적용하여 루트 이벤트와 Atropos 이벤트를 통해 공감을 탐지하며, 2/3의 노드가 루트에 대해 합의할 경우 공감이 달성된다.
• 공감 핵심 이벤트를 식별하고 이중 지출을 조기에 탐지하기 위해 Clotho 및 Atropos 선택 메커니즘을 도입한다.
• 이중 블록 연결 정보를 효율적으로 저장하기 위해 이진 플래그 테이블을 사용함으로써 공감 탐지의 효율성을 높이고 통신 복잡도를 감소시킨다.

실험 결과

연구 질문

• RQ1 리더가 없는 비동기 공감 프로토콜이 pBFT에 비해 더 낮은 통신 오버헤드로 비잔틴 장애를 견딜 수 있는가?
• RQ2 지속적인 공통 지식이 DAG 기반 시스템에서 공감 및 이중 지출 이벤트 탐지에 효과적으로 활용될 수 있는가?
• RQ3 라문프 타임스탬프와 위상 순서가 전역 동기화 없이도 빠르고 일관된 공감을 가능하게 하는가?
• RQ4 비용 함수 기반 피어 선택이 비동기 네트워크에서 공감 속도와 내성성을 어떻게 향상시킬 수 있는가?
• RQ5 작업 증명이나 리더 기반 메커니즘에 의존하지 않고도 일반적인 공격(예: 시빌, 이중 지출, 장거리 공격 등)에 저항할 수 있는가?

주요 결과

• L₀ 프로토콜은 참가자들 간 2/3 합의를 달성함으로써 추가적인 통신 오버헤드 없이 실용적인 비잔틴 장애 내성을 확보한다.
• 라문프 타임스탬프와 위상 순서의 활용은 전역 시계나 동기화된 시간이 없이도 일관된 전역 이벤트 순서를 보장한다.
• OPERA 체인 아키텍처는 전통적인 pBFT에 비해 공감 지연을 감소시켜, 효율적인 DAG 탐색과 루트 탐지 덕분에 더 적은 단계 내에 공감을 달성한다.
• 이중 지출 이벤트는 f+2라운드 내에 탐지되며, f는 비잔틴 노드의 수이다. 이는 조기에 탐지되고 일관성 있는 결과를 보장한다.
• 시스템은 일반적인 공격에 저항한다: 시빌 및 뇌물 공격에는 2n/3 이상의 악성 노드가 필요하며, 장거리 및 서비스 거부 공격은 2/3 공감 기준 덕분에 실현 불가능하다.
• 비용 함수 기반 피어 선택은 강력한 네트워크 토폴로지와 효율적인 게시 전파를 보장하며, 무작위 또는 전체 네트워크 게시 모델 대비 지연을 감소시킨다.