[論文レビュー] Mean Field Game Approach to Bitcoin Mining

Charles Bertucci, Louis Bertucci+2 more|arXiv (Cornell University)|Apr 17, 2020

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.

研究の動機と目的

• 平均場ゲーム理論を用いて、プルーフ・オブ・ワーク（PoW）ブロックチェーンにおけるマイナーの競争的行動をモデル化すること。
• ビットコインマイニングにおける合計計算パワー（ハッシュレート）の均衡ダイナミクスを分析すること。
• 変化する市場条件のもとで、セキュリティとエネルギー効率がどのように維持または向上するかを評価すること。
• 柔軟でスケーラブルなモデルフレームワークを通じて、PoWコンSENSUSメカニズムの頑健性を示すこと。
• 均衡ハッシュレートが技術的進歩と市場需要を反映しており、長期的なセキュリティを保証すること。

提案手法

• 連続的なリスク中立的マイナーの集団が、集計ハッシュレートを通じて相互作用する平均場ゲーム（MFG）モデルを構築する。
• マイナーの努力の均衡分布を特徴付けるために、マスター方程式を用いる。
• MFG解が社会計画者最適化から導かれる可能性のあるケースにおいて、ハミルトニアン・ジョルダン・ベルマン（HJB）方程式を適用する。
• ベースラインモデルを拡張し、為替レートの確率的変動、マイナー間の異なるコスト、動的ハードウェア市場を含める。
• 拡張においてもゲームのコア構造を維持し、解析的扱いやすさと均衡の一意性を保証する。
• 決定論的および確率的設定の両方を分析し、長期的なハッシュレートおよびセキュリティの結果を評価する。

実験結果

リサーチクエスチョン

• RQ1 現実的な仮定のもとで、プルーフ・オブ・ワークマイニングゲームは一意の均衡を有するか？
• RQ2 技術的進歩と市場需要の変化に伴い、合計ハッシュレートはどのように変化するか？
• RQ3 均衡状態において、ハッシュレート、エネルギー消費量、ブロックチェーンセキュリティの関係は何か？
• RQ4 暗号通貨価格の確率的変動は、長期的なハッシュレートおよびマイニングインセンティブにどのように影響するか？
• RQ5 MFGフレームワークは、多様なマイナー集団および動的ハードウェア市場を頑健にモデル化できるか？

主な発見

• プルーフ・オブ・ワークにおけるマイニングゲームは一意の均衡を有しており、システムが適切に定義され、安定していることを示している。
• 決定論的設定では、ハッシュレートは技術的進歩の速度に従って増加し、時間経過にわたりセキュリティが一定を保つ。
• 確率的設定では、ハッシュレートはランダムな状態に適応し、暗号通貨需要が上昇する際には均衡ハッシュレートが増加する。
• ブロックチェーンセキュリティは決定論的ケースでは一定であり、確率的ケースでは需要に比例して向上するため、長期的なレジリエンスが保証される。
• 同種のマイナー、変動コスト、動的ハードウェア市場といった拡張に対しても、モデルは頑健であり、コアな均衡構造を維持する。
• 均衡状態では、ハッシュレート単位あたりのエネルギー消費量が一定を保ち、ハッシュレートの増加が技術的進歩によって完全に相殺される。