[論文レビュー] The Longest-Chain Protocol Under Random Delays

Suryanarayana Sankagiri, Shreyas Gandlur+1 more|arXiv (Cornell University)|Feb 1, 2021

Distributed systems and fault tolerance被引用数 4

ひとこと要約

本稿は、同期モデルを一般化する i.i.d. 乱数通信遅延の下で、最長チェーンブロックチェーンプロトコルの安全性を分析し、強力なセキュリティ保証を確立する。強度と拡張性の両方のセキュリティ形式を導入し、セキュリティパrameter $k$ に関して失敗確率が指数関数的に減少することを証明する。これは、無限大の遅延が許容される環境下でも成り立つ。

ABSTRACT

In the field of distributed consensus and blockchains, the synchronous communication model assumes that all messages between honest parties are delayed at most by a known constant $Δ$. Recent literature establishes that the longest-chain blockchain protocol is secure under the synchronous model. However, for a fixed mining rate, the security guarantees degrade with $Δ$. We analyze the performance of the longest-chain protocol under the assumption that the communication delays are random, independent, and identically distributed. This communication model allows for distributions with unbounded support and is a strict generalization of the synchronous model. We provide safety and liveness guarantees with simple, explicit bounds on the failure probabilities. These bounds hold for infinite-horizon executions and decay exponentially with the security parameter. In particular, we show that the longest-chain protocol has good security guarantees when delays are sporadically large and possibly unbounded, which is reflective of real-world network conditions.

研究の動機と目的

• i.i.d. 遅延を持つ乱数遅延モデル下での最長チェーンブロックチェーンプロトコルの安全性を形式化・分析すること。これは、同期モデルを一般化するものである。
• 強度的および拡張的セキュリティ特性を区別し、強度的保証が拡張的保証を含むことを示すこと。
• 無限時間スケールでの実行において、安全（確定）と活性（チェーン品質）の明示的かつ指数的減少する失敗境界を提供すること。
• チェーン成長へのグローバル影響と個々の誠実な参加者へのローカル影響という遅延の二重的役割を、$\mathsf{Unheard}_h$ などの新しい指標を用いてモデル化すること。
• Ouroboros風の分析ツールを、一般化された特徴文字列と圧縮時間スケールプロセスを通じて、乱数遅延に対応できるように拡張すること。

提案手法

• 最長チェーン内のブロック列をモデル化するための $\mathsf{CharString}$ プロセスを導入し、先行研究の特徴文字列を乱数遅延に対応できるように一般化する。
• $\mathsf{Unheard}_h[i]$ を定義し、参加者 $h$ がスロット $i$ までに受信していないブロック数をローカル指標として用いる。これにより、ローカル遅延効果を捉える。
• 圧縮時間スケールを用いて、攻撃的ブロックと特別な誠実ブロックの差を分析し、負のドリフトを持つランダムウォークに類似した振る舞いを示す。
• 幾何分布による確率的支配を用いて、$\mathsf{Reach}[s]$（基準点からの誠実ブロックの最大到達距離）をバウンドする。
• 圧縮時間スケールにおいて $\mathsf{Margin}_s$ および $\mathsf{Advantage}_s$ のアフィン上界を導出し、指数的尾部バウンドを可能にする。
• $\mathsf{CharString}$ と $\mathsf{Unheard}_h$ のバウンドを組み合わせることで、確定とチェーン品質の失敗確率がそれぞれ $p_{\textsf{settlement}} + |\mathcal{I}|p_{\textsf{unheard}}$ および $p_{\textsf{CQ}} + |\mathcal{I}|\tilde{p}_{\textsf{unheard}}$ 以下であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 通信遅延が i.i.d. であり、かつ固定された $\Delta$ でない無限大の遅延をとる場合、最長チェーンプロトコルはどのようにしてセキュリティを維持するか？
• RQ2 標準的なセキュリティ保証（確定とチェーン品質）は、乱数遅延下でも維持可能か？その失敗確率はどの程度か？
• RQ3 プロトコルのセキュリティにおいて、ローカル遅延効果とグローバル遅延効果の役割は何か？これらを形式的に分離し、バウンドすることは可能か？
• RQ4 強度的および拡張的セキュリティ形式の関係は何か？強度的保証がグローバル（拡張的）セキュリティを含むことは示せるか？
• RQ5 Ouroboros風の分析フレームワークは、圧縮時間スケールプロセスと一般化された特徴文字列を用いて、乱数遅延に対応できるように拡張可能か？

主な発見

• 最長チェーンプロトコルは、無限大のサポートを持つ遅延でさえも、確定およびチェーン品質の失敗確率が指数関数的に減少することを保証する。
• 確定の失敗確率は $p_{\textsf{settlement}} + |\mathcal{I}|p_{\textsf{unheard}}$ でバウンドされ、$p_{\textsf{unheard}}$ は $\mathsf{Unheard}_h$ 指標の非典型挙動を捉える。
• チェーン品質の失敗確率は $p_{\textsf{CQ}} + |\mathcal{I}|\tilde{p}_{\textsf{unheard}}$ でバウンドされ、$\tilde{p}_{\textsf{unheard}}$ はローカル遅延のずれを制御する。
• $\mathsf{CharString}$ プロセスは、ほぼ i.i.d. なベルヌーイ過程によって確率的に支配され、負のドリフトを持つランダムウォーク解析が可能になる。
• $\mathsf{Reach}[s]$ 指標は、幾何分布によって確率的に支配され、誠実ブロックの最大到達距離に対するタイトなバウンドが得られる。
• 本分析により、強度的セキュリティ保証（局所的チェーン整合性）が、乱数遅延モデル下で拡張的保証（グローバル整合性）を含むことが示された。