[논문 리뷰] Mean Field Game Approach to Bitcoin Mining

Charles Bertucci, Louis Bertucci외 2명|arXiv (Cornell University)|2020. 04. 17.

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

한 줄 요약

이 논문은 비트코인 채굴 동역학을 모델링하기 위해 평균장 게임(MFG) 이론을 적용하여 총 해시레이트가 암호화폐 수요와 함께 일정하거나 증가하는 유일한 평형에 도달함을 보여준다. 이 프레임워크는 장기적 안정성과 보안을 포괄하며, 현실적인 시장 조건 하에서 블록체인 보안이 유지되거나 향상됨을 증명한다.

ABSTRACT

We present an analysis of the Proof-of-Work consensus algorithm, used on the Bitcoin blockchain, using a Mean Field Game framework. Using a master equation, we provide an equilibrium characterization of the total computational power devoted to mining the blockchain (hashrate). From a simple setting we show how the master equation approach allows us to enrich the model by relaxing most of the simplifying assumptions. The essential structure of the game is preserved across all the enrichments. In deterministic settings, the hashrate ultimately reaches a steady state in which it increases at the rate of technological progress. In stochastic settings, there exists a target for the hashrate for every possible random state. As a consequence, we show that in equilibrium the security of the underlying blockchain is either $i)$ constant, or $ii)$ increases with the demand for the underlying cryptocurrency.

연구 동기 및 목표

• 증명된 작업(Proof-of-Work) 블록체인에서 채굴자의 경쟁적 행동을 평균장 게임 이론을 사용하여 모델링하기.
• 비트코인 채굴에서 총 계산 능력(해시레이트)의 평형 역학 분석하기.
• 다양한 시장 조건 하에서 보안과 에너지 효율성이 어떻게 유지되거나 향상되는지 평가하기.
• 탄력적이고 확장 가능한 모델링 프레임워크를 통해 PoW 합의 메커니즘의 강건성 입증하기.
• 평형 해시레이트가 기술적 진보와 시장 수요를 반영하여 장기적 보안을 보장함을 보여주기.

제안 방법

• 연속적인 위험 중립 채굴자 집단이 총 해시레이트를 통해 상호작용하는 평균장 게임(MFG) 모델 설정하기.
• 모든 인구 집단에서 채굴 노력의 평형 분포를 기술하기 위해 마스터 방정식 사용하기.
• MFG 해가 사회기획자 최적화에서 유도되는 잠재력 경우에 힐버트-자코비-벨만(HJB) 방정식 적용하기.
• 확률적 환율, 이질적인 채굴 비용, 동적 하드웨어 시장 등을 포함하도록 기본 모델 확장하기.
• 확장 동안 게임의 핵심 구조 유지하여 분석 가능성과 평형 유일성 확보하기.
• 결정론적 및 확률론적 설정 모두 분석하여 장기적 해시레이트 및 보안 결과 평가하기.

실험 결과

연구 질문

• RQ1 실제 가정 조건 하에서 증명된 작업 채굴 게임이 유일한 평형을 갖는가?
• RQ2 기술적 진보와 시장 수요 변화에 따라 총 해시레이트는 어떻게 변화하는가?
• RQ3 평형 상태에서 해시레이트, 에너지 소비 및 블록체인 보안 간의 관계는 무엇인가?
• RQ4 암호화폐 가격의 확률적 변동은 장기적 해시레이트와 채굴 유인에 어떻게 영향을 미치는가?
• RQ5 MFG 프레임워크는 이질적인 채굴자 집단과 동적 하드웨어 시장을 유연하게 모델링할 수 있는가?

주요 결과

• 증명된 작업 기반 채굴 게임은 유일한 평형을 가지며, 이는 시스템이 잘 정의되고 안정적임을 보여준다.
• 결정론적 설정에서는 해시레이트가 기술적 진보 속도로 증가하며, 보안 수준은 시간이 지나도 일정하게 유지된다.
• 확률론적 설정에서는 해시레이트가 무작위 상태에 적응하며, 암호화폐 수요 증가 시 평형 해시레이트가 증가한다.
• 블록체인 보안은 결정론적 경우에서는 일정하거나, 확률론적 경우에서는 수요 증가에 의해 긍정적으로 영향을 받으며, 장기적 내구성을 확보한다.
• 이질적 채굴자, 변동 비용, 동적 하드웨어 시장 등 다양한 확장 조건에서도 모델은 강건하며 핵심 평형 구조를 유지한다.
• 평형 상태에서 해시레이트 단위 에너지 소비는 일정하게 유지되며, 해시레이트 증가분은 기술적 진보에 의해 완전히 상쇄된다.