[논문 리뷰] On profitability of stubborn mining

Cyril Grunspan, Ricardo Pérez-Marco|arXiv (Cornell University)|2018. 08. 02.

Blockchain Technology Applications and Security참고 문헌 5인용 수 9

한 줄 요약

이 논문은 마팅게일 기법과 카탈란 수 생성함수를 사용하여 두 개의 고집스러운 채굴 전략—리드-고집스러운 채굴(Lead-Stubborn Mining, LSM)과 등가 분기 고집스러운 채굴(Equal Fork Stubborn Mining, EFSM)—에 대한 수익률 비율의 폐쇄형 해석적 계산을 제공한다. 이는 특정 조건 하에서 이 전략들이 정직한 채굴보다 더 높은 가짜 해시레이트를 낼 수 있음을 입증하며, 비트코인 프로토콜 수학 분석에서 카탈란 수가 처음으로 등장하는 사례이다.

ABSTRACT

We compute and compare profitabilities of stubborn mining strategies that are variations of selfish mining. These are deviant mining strategies violating Bitcoin's network protocol rules. We apply the foundational set-up from our previous companion article on the profitability of selfish mining, and the new martingale techniques to get a closed-form computation for the revenue ratio, which is the correct benchmark for profitability. Catalan numbers and Catalan distributions appear in the closed-form computations. This marks the first appearance of Catalan numbers in the Mathematics of the Bitcoin protocol.

연구 동기 및 목표

• 폐쇄형 접근법을 사용하여 고집스러운 채굴 전략의 수익성에 대해 엄밀하게 계산하는 것.
• 자기 이익 채굴에서 고집스러운 채굴 변형으로까지 마팅게일 기반 프레임워크를 확장하는 것.
• LSM 및 EFSM가 정직한 채굴과 자기 이익 채굴보다 뛰어나지 않는 조건을 규명하는 것.
• 비트코인의 합의 프로토콜 수학적 분석에서 카탈란 수가 처음으로 나타나는 것을 확립하는 것.

제안 방법

• 포아송 과정에서의 기대 주기 지속 시간을 계산하기 위해 두브의 정지 시점 정리(Doob’s Stopping Time Theorem)를 적용하는 것.
• 채굴 주기 내 경로 확률을 모델링하기 위해 카탈란 수의 생성함수를 사용하는 것.
• 공격 주기 내 기대 블록 수와 주기 지속 시간을 통해 수익률 비율을 유도하는 것.
• 전략적 채굴 결과를 모델링하기 위해 (p,q)-카탈란 랜덤 변수를 도입하는 것.
• 분기 해결 과정에서의 기대 정지 시간을 계산하기 위해 휠린 모델을 사용하는 것.
• 난이도 조정 영향을 반영하기 위해 수익률을 주기 내 기대 블록 수로 스케일링하는 것.

실험 결과

연구 질문

• RQ1 일반적인 네트워크 조건 하에서 리드-고집스러운 채굴의 정확한 수익률 비율은 무엇인가?
• RQ2 등가 분기 고집스러운 채굴의 수익률 비율은 정직한 채굴과 자기 이익 채굴에 비해 어떻게 다른가?
• RQ3 고객 해시레이트 q와 정직한 네트워크 유인도 γ의 어떤 값들에서 고집스러운 채굴 전략이 수익성이 있는가?
• RQ4 카탈란 수는 채굴 전략 수익성의 수학적 구조에서 어떻게 등장하는가?
• RQ5 마르코프 모델과 달리 고집스러운 채굴의 기대 주기 지속 시간은 해석적으로 계산될 수 있는가?

주요 결과

• 리드-고집스러운 채굴의 수익률 비율은 카탈란 생성함수와 매개변수 q, p, γ를 포함한 폐쇄형 표현식으로 주어진다.
• 전략이 수익성이 있을 경우 리드-고집스러운 채굴자에 대한 가짜 해시레이트는 q를 초과하며, 이는 더 높은 효과적 채굴 능력을 의미한다.
• 등가 분기 고집스러운 채굴의 경우, 수익률 비율은 (1−γ)pq에 의존하는 카탈란 생성함수에 따라 달라지며, 이는 비선형적인 수익성 구조를 보여준다.
• 분석 결과, q > 0.33 이고 γ가 충분히 높을 경우, LSM 및 EFSM는 정직한 채굴보다 더 높은 가짜 해시레이트를 달성할 수 있음을 밝혔다.
• 이 논문은 카탈란 수가 채굴 전략 수익성 해법에 자연스럽게 나타나며, 블록체인 연구 분야에서 새로운 수학적 연결을 확립한다.
• 마팅게일 방법을 사용하여 기대 주기 지속 시간을 해석적으로 계산할 수 있으며, 이는 마르코프 체인 모델의 한계를 극복한다.