[論文レビュー] Analysis of Nakamoto Consensus, Revisited

Jianyu Niu, Chen Feng+3 more|arXiv (Cornell University)|Oct 18, 2019

Blockchain Technology Applications and Security参考文献 6被引用数 8

ひとこと要約

この論文は、連続的および離散的ネットワーク遅延仮定を統合する一様な離散時間モデルを用いて、Nakamotoコンセンサスを再考する。有効ラウンドとイベントベースの確率的境界を導入することで、安全でかつ活性な性質の分析を簡素化・透明化し、現実的なネットワーク条件および悪意ある状況下でも、誠実なマイニングパワーがネットワーク遅延および確認深度に応じて十分な余裕で悪意あるパワーを上回る場合に、安全である確率が非常に高いことを証明する。

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.

研究の動機と目的

• 教育的用途を目的として、特に大学4年次および大学院生を対象に、Nakamotoコンセンサスの分析を簡素化・明確化すること。
• 特にマルコフ連鎖や連続時間モデルに依存する過去の分析の複雑さと不透明性に対処すること。
• 離散的（τ=1）および連続的（τ→∞）の両ケースを一般化する離散時間モデルを導入することで、ネットワーク遅延の取り扱いを統一すること。
• 複雑な確率過程に依存せず、透明でイベントベースの確率的枠組みを用いて安全でかつ活性な性質を証明する。

提案手法

• 1つのネットワーク遅延間隔Δにτラウンドを割り当て、各ラウンドがΔ/τ秒に対応する離散時間モデルを導入し、連続的および離散的遅延モデルの両方を統一的に取り扱えるようにする。
• 有効ラウンド（ER）を定義する。これは、少なくとも1つの誠実なブロックが生成され、直前のτ−1ラウンドに誠実なブロックが生成されていないラウンドであり、チェーンの成長を保証する。
• 安全の分析に向け、2つの重要なイベントを導入する：𝒪₁(r₀,r) は部分チェーンの一貫性を、𝒪₂(r₀,r) は悪意あるブロックの一致を表す。これらを確率的境界で分析する。
• ブロックマイニングレートをポアソン過程でモデル化する：H[r] ~ Poisson((1−β)fΔ/τ) および Z[r] ~ Poisson(βfΔ/τ) で、各ラウンド間で独立な増分を持つ。
• 集中不等式（例：チェルノフの不等式）を用いて、区間内に生成されるブロック数の上限を定め、安全を保証するのに十分なブロック量を確保する。
• イベント分解と条件付き確率を用いて、安全の失敗確率に対する指数的尾部境界を導出し、適切な条件下で Pr(𝒪) ≤ exp(−Ω(δ² min{η, βfΔ}k)) が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 Nakamotoコンセンサスの分析を、厳密さを損なわずに教育的用途に適した簡素化・透明化することは可能か？
• RQ2 ネットワーク遅延τがNakamotoコンセンサスの安全でかつ活性な性質に与える影響は何か？ また、離散的および連続的時間の両方を一様にモデル化するにはどうすればよいか？
• RQ3 マルコフ連鎖分析に依存せず、イベントベースの確率的推論によって安全を証明することは可能か？ そのアプローチの利点は何か？
• RQ4 ネットワーク遅延と確認深度kが有界な条件下で、安全である確率を高めるために必要な最小の誠実なマイニングパワーは何か？
• RQ5 本モデルで導かれた安全条件は、過去の連続時間解析と比較してどうなっているか？ 特にτ→∞の極限においては？

主な発見

• 本論文は、ηが最小の誠実なブロック到着レートであり、βfΔが遅延期間内での期待される悪意あるブロック生成数であるとして、Nakamotoコンセンサスが確率1−exp(−Ω(δ² min{η, βfΔ}k))以上で安全であることを確立した。
• 安全条件η > (1+δ)βfΔ/τが、高確率での安全を保証するのに必要かつ十分であることが示され、これは過去の結果を離散時間モデルに一般化したものである。
• マルコフ連鎖を避けて、イベント分解と集中不等式を用いることで、証明がより透明で理解しやすくなった。
• モデルは離散的（τ=1）および連続的（τ→∞）な遅延仮定を統一しており、τが増加するにつれて離散モデルは連続的ケースに収束する。
• 誠実なマイニングパワーがネットワーク遅延および確認深度に比例する余裕で悪意あるパワーを上回る場合、安全であることが確認された。
• 導出された安全境界は漸近的にタイトであり、τ→∞の極限において、Ren（2019）の連続時間安全条件と一致する。