[논문 리뷰] Analysis of the XRP Ledger Consensus Protocol

Brad Chase, Ethan MacBrough|arXiv (Cornell University)|2018. 02. 20.

Distributed systems and fault tolerance참고 문헌 5인용 수 105

한 줄 요약

이 논문은 XRP Ledger Consensus Protocol을 분석하고, 안전성과 생존성에 대한 UNL 중첩 조건을 도출하며, 이전 추정치 간의 보정된 중첩 한계를 제시하고 일반적인 fault 모델에서 더 엄격한 한계(>90%)를 지적하며, Cobalt를 더 유연한 대안으로 도입합니다.

ABSTRACT

The XRP Ledger Consensus Protocol is a previously developed consensus protocol powering the XRP Ledger. It is a low-latency Byzantine agreement protocol, capable of reaching consensus without full agreement on which nodes are members of the network. We present a detailed explanation of the algorithm and derive conditions for its safety and liveness.

연구 동기 및 목표

• 부분 UNL 중첩을 가진 네트워크 모델과 컨센서스 문제를 명확히 한다.
• UNL 중첩을 기반으로 필요한 안전성(일관성) 및 생존성(진전) 조건을 도출한다.
• Byzantine fault 모델에서 UNL 간의 중첩에 대한 보정된 한계를 제시한다.
• 현재 네트워크 상태에서 XRP LCP의 안전성과 진전을 평가하고 Cobalt로의 전환 계획을 검토한다.

제안 방법

• XRP LCP를 per-node UNL에 대한 Byzantine fault-tolerant 컨센서스로 형식화한다.
• 쿼럼을 정의한다(q_i = ceil(0.8 n_i)) 및 고장 한계(t_i ≤ n_i - q_i).
• 네트워크를 약하게 비동기적으로 모델링하고 UNL 간의 중첩 한계를 통해 안전성을 분석한다.
• 부분 참여 하에서의 안전성(정합성) 및 생존성(전진)을 도입하고 분석한다.
• 중첩 기반 안전성 기준을 확립하기 위한 증명과 제언(예: Proposition 1, Lemma 2, Corollary 3, Proposition 4)을 제시한다.
• Deliberation, Validation, Preferred Branch 구성 요소가 상호 작용하여 합의에 도달하는 방식을 설명한다.

실험 결과

연구 질문

• RQ1 정직한 노드 간의 UNL 중첩이 XRP LCP에서 안전성(동일한 시퀀스 번호를 가진 상충하는 원장 없음)과 생존성(전진)을 보장하는지 어떤 조건이 필요한가?
• RQ2 이전의 한계(대략 20% 및 약 41%)는 어떻게 비교되며, Byzantine 책임성 및 보다 일반적인 고장 모델 하에서의 보정된 중첩 조건은 무엇인가?
• RQ3 네트워크 비동기성과 파티션이 안전성과 진전에 미치는 영향은 무엇이며 XRP LCP는 이를 어떻게 다루는가?
• RQ4 Cobalt로의 전환 계획은 중첩 한계와 안전성 보장과 어떻게 연관되는가?
• RQ5 현실적 제약(예: 쿼럼 정의, 지연 등)이 실제 배포에서 안전성과 진전에 어떤 영향을 미치는가?

주요 결과

• 부분 UNL 중첩 하에서 안전성과 생존성에 대해 이전 추정치 간의 단일 보정된 중첩 한계가 확립된다.
• Byzantine 책임성 하에서, 같은 시퀀스 번호를 가진 서로 다른 원장을 완전히 검증할 수 없는 경우는 UNL 중첩이 q_i 및 q_j(및 t_i,j)와 관련된 한계를 초과할 때다.
• 완전히 일반적인 고장 모델로 전환되면 안전성을 위해 필요한 최소 중첩 한계가 상승한다(UNL의 약 >90% 근처로).
• 원래의 20%/41% 한계가 정확하지 않으며 UNL 교차, 쿼럼 크기, 고장 한계 등을 포함한 정밀한 조건이 제시된다는 점이 분석에서 명확해진다.
• 논문은 XRP LCP가 현재 상태에서 안전하다고 확인되며, 더 낮은 중첩 요건(및 전진 진전 보장)을 약속하는 Cobalt 프로토콜로의 전환을 예고한다.
• Cobalt에 관한 자매 논문은 >60%의 더 낮은 중첩 한계를 보여주고 최대 고장에서도 정체가 없음을 강조하며, XRP LCP와의 트레이드오프를 부각한다.