[論文レビュー] Dynamic Practical Byzantine Fault Tolerance and Its Blockchain System: A Large-Scale Markov Modeling

Yan-Xia Chang, Quan‐Lin Li+2 more|arXiv (Cornell University)|Oct 25, 2022

Blockchain Technology Applications and Security被引用数 4

ひとこと要約

本稿では、投票ノードが動的にネットワークに参加・退出する動的 Practical Byzantine Fault Tolerance (PBFT) 共識メカニズムを提案し、システムを大規模な多次元準出生死滅 (QBD) プロセスとしてモデル化する。RG因数分解とマルコフモデリングを用いて、スループットとパフォーマンス指標を効率的に計算するアルゴリズムを開発し、ノードの動的変化と障害率の変化におけるセキュリティとスケーラビリティのトレードオフを明らかにする。

ABSTRACT

In a practical Byzantine fault tolerance (PBFT) blockchain network, the voting nodes may always leave the network while some new nodes can also enter the network, thus the number of voting nodes is constantly changing. Such a new PBFT with dynamic nodes is called a dynamic PBFT. Clearly, the dynamic PBFT can more strongly support the decentralization and distributed structure of blockchain. However, analyzing dynamic PBFT blockchain systems will become more interesting and challenging. In this paper, we propose a large-scale Markov modeling technique to analyze the dynamic PBFT voting processes and its dynamic PBFT blockchain system. To this end, we set up a large-scale Markov process (and further a multi-dimensional Quasi-Birth-and-Death (QBD) process) and provide performance analysis for both the dynamic PBFT voting processes and the dynamic PBFT blockchain system. In particular, we obtain an effective computational method for the throughput of the complicated dynamic PBFT blockchain system. Finally, we use numerical examples to check the validity of our theoretical results and indicate how some key system parameters influence the performance measures of the dynamic PBFT voting processes and of the dynamic PBFT blockchain system. Therefore, by using the theory of multi-dimensional QBD processes and the RG-factorization technique, we hope that the methodology and results developed in this paper shed light on the study of dynamic PBFT blockchain systems such that a series of promising research can be developed potentially.

研究の動機と目的

• ノードが継続的に参加・退出する動的ネットワークにおける PBFT 共識のモデリングの課題に対処すること。これは分散性を高めるが、パフォーマンス分析を複雑にする。
• PBFT ベースのブロックチェーンにおける投票ノードの動的挙動とトランザクション処理を捉えるスケーラブルな確率的モデルを構築すること。
• 特にスループットを含む主要なパフォーマンス指標を、計算的に効率よく評価するための手法を提供すること。
• ノードの到着・退出レート、投票速度、Byzantine 故障レートなどの重要なシステムパラメータが、システムのパフォーマンスとセキュリティに与える影響を分析すること。
• 将来的な適応的で安全なブロックチェーン共識メカニズムの研究のための理論的基盤を、多次元 QBD プロセスと RG 因数分解を用いて構築すること。

提案手法

• 動的 PBFT システムを、アクティブな投票ノード数とトランザクション状態を反映する状態空間を有する大規模な連続時間マルコフ過程としてモデル化する。
• 準備、コミット、リプライの各フェーズにおける状態間の複雑な遷移を捉えるために、多次元準出生死滅 (QBD) プロセスとしてシステムを定式化する。
• QBD プロセスの定常分布を解くために RG 因数分解技術を適用し、パフォーマンス指標の効率的計算を可能にする。
• QBD プロセスの解に基づき、動的 PBFT ブロックチェーンシステムのトランザクションスループットを計算する2つの有効なアルゴリズムを導出する。
• ノード到着レート (p)、退去レート (β)、投票レート (γ) などのシステムパラメータをマルコフモデルに統合し、それらがパフォーマンスに与える影響を分析する。
• 数値実験を用いて理論的結果を検証し、スループットが主要なシステムパラメータにどのように敏感に反応するかを示す。

実験結果

リサーチクエスチョン

• RQ1 動的ノードの流入・流出（投票ノードの到着と退出）は、PBFT ベースのブロックチェーンシステムのスループットと安定性にどのように影響するか？
• RQ2 ノードの到着・退出レートを変化させた場合、動的 PBFT 共識メカニズムのパフォーマンスとセキュリティにどのような影響が生じるか？
• RQ3 異なるトランザクション処理レート（例：準備、コミット、リプライ）は、動的環境下での全体的なシステムスループットにどのように影響するか？
• RQ4 投票ノードの数やByzantineノードの割合を増加させた場合、システムスループットとセキュリティの間にはどのようなトレードオフが存在するか？
• RQ5 RG 因数分解技術は、動的 PBFT システムにおける大規模な多次元 QBD プロセスの定常分布を効果的に解くために適用可能か？

主な発見

• スループット (TH) は、より高いノード到着レート (p) と相関し、誠実なノードの迅速なオンボーディングがシステム効率を向上させることを示している。
• スループットは、ブロック固定またはロールバックレート (β) が高くなると増加し、障害からの迅速な回復がトランザクション処理速度を向上させることを示している。
• ある臨界閾値 (p̃₀) が存在し、p < p̃₀ の場合、投票レート (γ) を増加させるとスループットが低下するが、p > p̃₀ の場合は増加する。これは非単調なパフォーマンスのトレードオフを示している。
• モデルは根本的なトレードオフを明らかにしている：より少ないノードで高いスループットが達成可能であるが、Byzantine ノードの割合が高い場合にはセキュリティが低下する。
• 数値的検証により、理論的スループットモデルがさまざまなパrameter設定においてシミュレーション結果と一致しており、提案されたアルゴリズムの正確性が確認された。
• RG 因数分解に基づく解法は、大規模な動的 PBFT システムにおけるパフォーマンス指標の効率的計算を可能にし、リアルタイム分析を現実可能にした。