[論文レビュー] An Explanation of Nakamoto's Analysis of Double-spend Attacks

A. Pinar Ozisik, Brian Neil Levine|arXiv (Cornell University)|Jan 15, 2017

Advanced Queuing Theory Analysis参考文献 5被引用数 12

ひとこと要約

この論文は、ビットコインにおける二重支出攻撃の確率について、サトシ・ナカモトのモデルの詳細な数学的説明と検証を提供しており、ギャンブラーの破綻に基づく式を導出し、ポアソン密度近似における重要な誤りを特定している。モンテカルロシミュレーションを用いた検証により、ポアソン近似が、特に低攻撃確率下で小さなブロック深度に対して顕著な誤差を生じることを示している。

ABSTRACT

The fundamental attack against blockchain systems is the double-spend attack. In this tutorial, we provide a very detailed explanation of just one section of Satoshi Nakamoto's original paper where the attack's probability of success is stated. We show the derivation of the mathematics relied upon by Nakamoto to create a model of the attack. We also validate the model with a Monte Carlo simulation, and we determine which model component is not perfect.

研究の動機と目的

• ビットコイン・ホワイトペーパーに提示されたナカモトの二重支出攻撃確率モデルの厳密で段階的な導出を提供すること。
• モンテカルロシミュレーションを用いてナカモトの数学的モデルを検証し、理論的予測の実証的正確性を確認すること。
• 現実の挙動から逸脱を引き起こすモデルの特定の要素を同定・分析すること、特に低攻撃確率下での挙動に関して。
• ブロックチェーンにおける二重支出攻撃の文脈におけるギャンブラーの破綻アナロジーの仮定と制限を明確にすること。
• ナカモトがブロック到着時間のモデル化にポアソン分布を用いる際の、わずかではあるが顕著な誤りを是正すること。

提案手法

• ナカモトが用いたギャンブラーの破綻確率モデルを導出し、攻撃者のマイニングパワー比 q とブロック深度 z にどのように依存するかを示す。
• p > q の場合に $ Q_z = \left(\frac{q}{p}\right)^z $ を用い、p が誠実なマイナーのブロック発見レート、q が攻撃者のレートであるとし、z ブロック遅れからの追いつき確率をモデル化する。
• ブロック到着をポアソン過程でモデル化し、独立で記憶のないブロック発見時間（レート λ = 10 分）を仮定する。
• 誠実なマイナーと攻撃者の両方が独立にブロックをマイニングするモンテカルロシミュレーションを実装し、z ブロック後に攻撃者がチェーンを追い抜けるかを追跡する。
• シミュレーション結果を無限予算モデル（式 42）と有限予算モデル（式 43）と比較し、攻撃者リソースの実用的上限として y = z + 35 を用いる。
• 制御された比較を用いて、モデルとシミュレーションの乖離の原因を、$ Q_z $、λ、およびポアソン密度関数の3つの要素に分離して特定する。

実験結果

リサーチクエスチョン

• RQ1 ナカモトの二重支出攻撃成功確率に関する式の背後にある数学的導出は何か？ そしてギャンブラーの破綻問題とどのように関係しているか？
• RQ2 モンテカルロシミュレーションによる攻撃の実証的結果と比較した場合、ナカモトの理論的モデルの正確性はどの程度か？
• RQ3 モデルのうち、$ Q_z $、λ、またはポアソン密度関数のどの成分が、理論とシミュレーションの乖離に最も寄与しているか？
• RQ4 攻撃者の有限な計算予算が攻撃確率に与える影響は何か？ また、無限予算仮定は現実をどの程度うまく近似しているか？
• RQ5 なぜモデルは q の小さい値で相対誤差が高くなるのか？ シミュレーション結果の観察された乖離の原因は何か？

主な発見

• q < 0.45 の範囲では、モデルの二重支出成功確率予測がモンテカルロシミュレーションとよく一致しており、中程度の攻撃パワー下での実証的妥当性が裏付けられている。
• モデルにおける主な誤差の原因はポアソン密度関数の近似であり、特に z が小さく q が低い場合に、レアイベントの確率を低く見積もっている。
• モデルとシミュレーションにおける $ Q_z $ および λ 値の比較は完全に一致しており、これら2要素が正しくモデル化されていることを確認している。
• q が小さい場合、モデルとシミュレーションの相対誤差は最大で100％に達しており、主にポアソン近似が低確率のブロック到着シーケンスをうまく扱えないことに起因する。
• 有限予算モデル（式 43）において y = z + 35 を用いることで、無限予算ケース（式 42）に非常に近い近似が得られ、実用的代替手段としての有効性が検証された。
• 本研究では、ナカモトの元のモデルにおけるわずかではあるが意味のある誤りを是正した：ポアソン近似は、特に攻撃成功分布の尾部確率において系統的なバイアスを生じさせている。