[논문 리뷰] Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases

Martin Kleppmann, Heidi Howard|arXiv (Cornell University)|2020. 12. 01.

Distributed systems and fault tolerance인용 수 12

한 줄 요약

이 논문은 증명서류가 필요한 시빌 대비 조치(예: 작업 증명) 없이도 임의의 수의 바쿠라티안 결함 노드를 견딜 수 있도록 허용하는 피어 투 피어 데이터베이스를 위한 바쿠라티안 최종 일관성(BEC)이라는 일관성 모델을 소개한다. 모든 트랜잭션이 응용 프로그램의 관례에 대해 I-융합되어 있는 경우에만 BEC가 달성 가능하다는 것을 증명하며, 근사적으로 최적의 통신 오버헤드를 갖는 바쿠라티안 인과 브로드캐스트 기반의 정확한 구축 알고리즘을 제시한다.

ABSTRACT

Sybil attacks, in which a large number of adversary-controlled nodes join a network, are a concern for many peer-to-peer database systems, necessitating expensive countermeasures such as proof-of-work. However, there is a category of database applications that are, by design, immune to Sybil attacks because they can tolerate arbitrary numbers of Byzantine-faulty nodes. In this paper, we characterize this category of applications using a consistency model we call Byzantine Eventual Consistency (BEC). We introduce an algorithm that guarantees BEC based on Byzantine causal broadcast, prove its correctness, and demonstrate near-optimal performance in a prototype implementation.

연구 동기 및 목표

• 무제한의 바쿠라티안 결함이 존재하는 상황에서 피어 투 피어 데이터베이스의 기본 한계를 규명하는 것.
• 신뢰할 수 있는 구성 요소나 작업 증명 없이도 무제한 바쿠라티안 결함이 존재하는 환경에서도 정확성을 보장할 수 있는 일관성 모델을 정의하는 것.
• 이러한 시스템에서 바쿠라티안 최종 일관성을 달성하기 위한 필수 및 충분 조건인 I-융합성(I-confluence)을 확립하는 것.
• 최소한의 통신 오버헤드로 BEC를 보장하는 실용적인 복제 알고리즘을 설계하고 평가하는 것.

제안 방법

• 임의의 바쿠라티안 결함이 존재하더라도 레플리카가 최종적으로 수렴함을 보장하는 일관성 모델로 바쿠라티안 최종 일관성(BEC)을 도입한다.
• 바쿠라티안 환경에서 신뢰성 있고 인과 순서로 메시지를 전달하기 위한 원시 기반으로 바쿠라티안 인과 브로드캐스트를 정의한다.
• 모든 트랜잭션이 응용 프로그램의 관례에 대해 I-융합되어 있는 경우에만 시스템이 BEC를 달성할 수 있음을 증명한다.
• 바쿠라티안 인과 브로드캐스트 기반의 복제 알고리즘을 설계하여 임의의 바쿠라티안 결함 상황에서도 정확성을 보장한다.
• 효율적인 정합성 기법을 사용해 메시지 교환을 최적화하여 이론적 최소값에 비해 네트워크 오버헤드를 최소화한다.
• 정확성 예측 조건으로 관례를 사용하여 업데이트가 응용 수준의 일관성을 유지하는지 형식적으로 검증한다.

실험 결과

연구 질문

• RQ1 무제한의 바쿠라티안 결함 노드가 존재하는 피어 투 피어 데이터베이스 시스템에서 어떤 일관성 보장을 달성할 수 있는가?
• RQ2 어떤 조건에서 임의의 바쿠라티안 결함이 존재하는 상황에서도 최종 일관성을 달성할 수 있는가?
• RQ3 작업 증명이나 중앙 집중식 멤버십 제어 없이도 시빌 공격에 강건한 시스템을 만들 수 있는가?
• RQ4 신뢰할 수 없는 구성 요소 없이 바쿠라티안 환경에서 인과 순서와 일관성을 유지할 수 있는가?
• RQ5 허가 없는, 바쿠라티안 피어 투 피어 환경에서 안전하게 배포할 수 있는 응용 프로그램의 형식적 특성은 무엇인가?

주요 결과

• BEC는 응용 프로그램의 관례에 대해 모든 트랜잭션이 I-융합되어 있는 경우에만 달성 가능하며, 이는 시빌 공격에 강건한 조건으로서 필수 및 충분 조건을 확립한다.
• 제안된 알고리즘은 결함 노드의 수를 제한하지 않고도 임의의 바쿠라티안 결함 상황에서도 정확성을 보장하므로 완전히 허가 없는 네트워크에서의 배포가 가능하다.
• 프로토타입 구현은 이론적 최적값에 비해 네트워크 통신 오버헤드가 매우 작아 실용성과 타당성을 입증한다.
• CRDT 기반 시스템과 같은 응용 프로그램은 이미 I-융합되어 있으며, BEC로 직접 확장 가능하므로 변경 최소화로 바쿠라티안 결함에 강건한 시스템을 확보할 수 있다.
• 이 접근법은 작업 증명이나 신뢰할 수 있는 하드웨어에 의존하지 않아 분산형, 허가 없는 환경에 적합하다.
• 응용 논리가 I-융합의 의미에서 단조롭다면, 바쿠라티안 환경에서 조정을 피할 수 있음을 보여준다.