[논문 리뷰] Analysis of Nakamoto Consensus, Revisited

Jianyu Niu, Chen Feng외 3명|arXiv (Cornell University)|2019. 10. 18.

Blockchain Technology Applications and Security참고 문헌 6인용 수 8

한 줄 요약

이 논문은 연속적이고 이산적인 네트워크 지연 가정을 연결하는 통합된 이산시간 모델을 사용하여 나카모토 합의를 재검토한다. 효과적인 라운드와 이벤트 기반의 확률적 경계를 도입함으로써 안전성과 활성화를 단순화하고 투명하게 분석한다. 이는 현실적인 네트워크 조건과 악성 공격 조건 하에서, 특히 정직한 마이닝 파워가 네트워크 지연과 확인 깊이에 비례하여 악성 공격자보다 충분히 높을 경우 안전성이 높은 확률로 유지됨을 증명한다.

ABSTRACT

In the Bitcoin white paper, Nakamoto proposed a very simple Byzantine fault tolerant consensus algorithm that is also known as Nakamoto consensus. Despite its simplicity, some existing analysis of Nakamoto consensus appears to be long and involved. In this technical report, we aim to make such analysis simple and transparent so that we can teach senior undergraduate students and graduate students in our institutions. This report is largely based on a 3-hour tutorial given by one of the authors in June 2019.

연구 동기 및 목표

• 교육적 목적을 위해 나카모토 합의 분석을 단순화하고 명확화하기 위해, 특히 고학부 및 대학원생을 대상으로 한다.
• 이전의 나카모토 합의 분석이 복잡하고 투명하지 못한 점, 특히 마코프 체인이나 연속시간 모델에 의존하는 점을 해결하기 위해.
• 이산적(τ=1)과 연속적(τ→∞) 사례를 모두 일반화하는 이산시간 모델을 도입함으로써 네트워크 지연을 통합적으로 다루기 위해.
• 복잡한 확률 과정에 의존하지 않고도 안전성과 활성화를 증명할 수 있는 투명하고 이벤트 기반의 확률적 프레임워크를 수립하기 위해.

제안 방법

• 네트워크 지연 간격 Δ 동안 τ라운드를 가지는 이산시간 모델을 도입하며, 각 라운드는 Δ/τ 초에 해당하여 연속적 및 이산적 지연 모델을 통합적으로 다룰 수 있도록 한다.
• 효과적인 라운드(ER)를 정의한다. 이는 이전 τ−1라운드 동안 정직한 블록이 마이닝되지 않았고, 해당 라운드에서 최소한 하나의 정직한 블록이 마이닝된 경우를 의미하며, 체인 성장을 보장한다.
• 안전성 분석을 위해 두 가지 핵심 이벤트를 도입한다: 𝒪₁(r₀,r)은 부분체인 일관성과 𝒪₂(r₀,r)은 악성 블록 일치를 나타낸다.
• 블록 마이닝 속도를 포아송 과정으로 모델링한다: H[r] ~ Poisson((1−β)fΔ/τ) 및 Z[r] ~ Poisson(βfΔ/τ)이며, 각 라운드 간에 독립적인 증분을 가진다.
• 집중 불등식(예: 체르노프 불등식)을 적용하여 간격 내 마이닝된 블록 수를 경계함으로써 안전성에 필요한 충분한 블록 볼륨을 확보한다.
• 이벤트 분해와 조건부 확률을 활용하여 안전성 실패 확률의 지수 꼬리 경계를 유도한다. 적절한 조건 하에서 Pr(𝒪) ≤ exp(−Ω(δ² min{η, βfΔ}k))임을 보여준다.

실험 결과

연구 질문

• RQ1 나카모토 합의 분석을 복잡성과 투명성의 손실 없이 교육적 목적을 위해 어떻게 단순화하고 명확화할 수 있는가?
• RQ2 네트워크 지연 τ가 나카모토 합의의 안전성과 활성화에 미치는 영향은 무엇이며, 이는 이산적 및 연속적 시간 모두에서 통일적으로 모델링될 수 있는가?
• RQ3 마코프 체인 분석에 의존하지 않고 이벤트 기반의 확률적 추론을 통해 안전성을 증명할 수 있는가? 이러한 접근 방식의 장점은 무엇인가?
• RQ4 네트워크 지연과 확인 깊이 k가 유한할 조건 하에서, 안전성을 높은 확률로 보장하기 위해 필요한 최소한의 정직한 마이닝 파워는 얼마인가?
• RQ5 이 모델에서 도출된 안전성 조건은 이전의 연속시간 분석과 비교해 볼 때, τ→∞의 극한에서 어떻게 다른가?

주요 결과

• 논문은 나카모토 합의가 안전성 확률이 최소 1−exp(−Ω(δ² min{η, βfΔ}k)) 이상임을 입증한다. 여기서 η는 최소 정직한 블록 도착률이며, βfΔ는 지연 기간 동안 예상되는 악성 블록 생산 수이다.
• 안전성 조건 η > (1+δ)βfΔ/τ가 고확률 안전성에 필수적이고 충분함을 입증하였으며, 이는 이전 결과를 이산시간 모델로 일반화한 것이다.
• 논문은 마코프 체인을 회피하고 이벤트 분해와 집중 불등식을 사용함으로써 증명 과정을 더 투명하고 접근하기 쉽게 만들었다.
• 모델은 이산적(τ=1)과 연속적(τ→∞) 지연 가정을 통합하며, τ가 증가함에 따라 이산 모델이 연속 모델로 수렴한다.
• 정직한 마이닝 파워가 네트워크 지연과 확인 깊이에 비례하여 악성 공격자보다 충분히 높을 경우 안전성이 유지됨을 확인한다.
• 유도된 안전성 경계는 渐近적으로 날카롭고, τ→∞의 극한에서 Ren(2019)의 연속시간 안전성 조건과 일치한다.