[논문 리뷰] The Longest-Chain Protocol Under Random Delays

Suryanarayana Sankagiri, Shreyas Gandlur외 1명|arXiv (Cornell University)|2021. 02. 01.

Distributed systems and fault tolerance인용 수 4

한 줄 요약

이 논문은 i.i.d. 무작위 통신 지연을 가정하는 비동기 모델로 일반화된 동기 모델을 고려하여, 최장 체인 블록체인 프로토콜의 강력한 보안 보장을 분석한다. 강력한 보안 형태와 광역 보안 형태를 도입하여, 보안 매개변수 $k$에 대해 실패 확률이 지수적으로 감소함을 증명하며, 무한한 지연 환경에서도 정착성과 체인 품질이 유지됨을 보인다.

ABSTRACT

In the field of distributed consensus and blockchains, the synchronous communication model assumes that all messages between honest parties are delayed at most by a known constant $Δ$. Recent literature establishes that the longest-chain blockchain protocol is secure under the synchronous model. However, for a fixed mining rate, the security guarantees degrade with $Δ$. We analyze the performance of the longest-chain protocol under the assumption that the communication delays are random, independent, and identically distributed. This communication model allows for distributions with unbounded support and is a strict generalization of the synchronous model. We provide safety and liveness guarantees with simple, explicit bounds on the failure probabilities. These bounds hold for infinite-horizon executions and decay exponentially with the security parameter. In particular, we show that the longest-chain protocol has good security guarantees when delays are sporadically large and possibly unbounded, which is reflective of real-world network conditions.

연구 동기 및 목표

• 무작위 지연 모델과 i.i.d. 지연 조건 하에서 최장 체인 블록체인 프로토콜의 보안을 체계화하고 분석하는 것.
• 강력한 보안 성질과 광역 보안 성질을 구분하여, 강력한 보장이 광역 보장을 유도함을 보이는 것.
• 무한 시간 실행에서 안전성(정착성)과 활성성(체인 품질)에 대해 명시적인 지수 감소 실패 한계를 제공하는 것.
• 블록 체인 성장에 대한 지연의 전역적 영향과 개인적 정직 참여자에 대한 국지적 영향을 새 지표인 $\mathsf{Unheard}_h$를 통해 모델링하는 것.
• Ouroboros 스타일 분석 도구를 확장하여, 일반화된 특성 문자열과 압축된 시간 스케일 과정을 통해 무작위 지연을 다루는 것.

제안 방법

• 최장 체인 내 블록의 순서를 모델링하기 위해 $\mathsf{CharString}$ 과정을 도입하여, 이전 연구에서의 특성 문자열을 무작위 지연을 처리할 수 있도록 일반화한다.
• 정직 참여자 $h$가 슬롯 $i$까지 수신하지 못한 블록 수를 측정하는 국지적 지표인 $\mathsf{Unheard}_h[i]$를 정의하여 국지적 지연 효과를 포착한다.
• 압축된 시간 스케일을 사용하여 공격자 블록과 특수 정직 블록 간의 차이를 분석하여, 음의 기대값을 가진 랜덤 워크처럼 행동함을 보인다.
• 기하 분포를 통한 확률적 지배를 적용하여 $\mathsf{Reach}[s]$ — 기준점에서부터 정직 블록의 최대 영향 범위 — 를 유계로 제한한다.
• 압축된 시간 스케일에서 $\mathsf{Margin}_s$ 와 $\mathsf{Advantage}_s$ 에 대한 애फ린 상한을 유도하여 지수 尾 확률 한계를 가능하게 한다.
• $\mathsf{CharString}$ 과 $\mathsf{Unheard}_h$ 의 한계를 조합하여, 정착성 및 체인 품질 실패가 각각 $p_{\textsf{settlement}} + |\mathcal{I}|p_{\textsf{unheard}}$ 와 $p_{\textsf{CQ}} + |\mathcal{I}|\tilde{p}_{\textsf{unheard}}$ 이하의 확률로 발생함을 증명한다.

실험 결과

연구 질문

• RQ1 통신 지연이 i.i.d. 이며 임의로 무한한 경우, 최장 체인 프로토콜은 어떻게 보안을 유지하는가?
• RQ2 표준 보안 보장인 정착성과 체인 품질은 무작위 지연 하에서도 유지될 수 있으며, 그 실패 확률은 얼마인가?
• RQ3 프로토콜의 보안에서 국지적 지연 효과와 전역적 지연 효과의 역할은 무엇이며, 어떻게 체계적으로 분리하고 유계로 제한할 수 있는가?
• RQ4 강력한 보안 형태와 광역 보안 형태는 어떻게 관련되어 있으며, 강력한 보장이 광역 보장을 유도할 수 있는가?
• RQ5 Ouroboros 스타일 분석 프레임워크는 압축된 시간 스케일 과정과 일반화된 특성 문자열을 통해 무작위 지연을 다룰 수 있도록 확장될 수 있는가?

주요 결과

• 무작위 지연 조건 하에서도 최장 체인 프로토콜은 정착성과 체인 품질에 대해 실패 확률이 지수적으로 감소함을 유지한다. 이는 지연이 무한한 지지역을 가질 수 있음에도 불구하고 성립한다.
• 정착성의 실패 확률은 $p_{\textsf{settlement}} + |\mathcal{I}|p_{\textsf{unheard}}$ 이하로 유계로 제한되며, 이때 $p_{\textsf{unheard}}$ 는 $\mathsf{Unheard}_h$ 지표의 이질적 행동을 캡처한다.
• 체인 품질의 실패 확률은 $p_{\textsf{CQ}} + |\mathcal{I}|\tilde{p}_{\textsf{unheard}}$ 이하로 유계로 제한되며, 이때 $\tilde{p}_{\textsf{unheard}}$ 는 국지적 지연 편차를 제어한다.
• $\mathsf{CharString}$ 과정은 무작위 지연 조건 하에서도 거의 i.i.d. 부울 분포에 의해 확률적으로 지배되며, 음의 기대값을 가진 랜덤 워크 분석이 가능하다.
• $\mathsf{Reach}[s]$ 지표는 기하 분포에 의해 확률적으로 지배되며, 정직 블록의 최대 영향 범위에 대한 날카로운 유계를 제공한다.
• 분석을 통해 강력한 보안 보장(국소적 체인 일관성)이 무작위 지연 모델 하에서 광역 일관성(광역 일관성)을 유도함을 입증한다.