[論文レビュー] Blockchain for Data Sharing at the Network Edge: Trade-Off Between Capability and Security

Yixin Li, Liang Liang+4 more|arXiv (Cornell University)|Dec 8, 2022

Blockchain Technology Applications and Security被引用数 6

ひとこと要約

本稿は、ブロック生成速度やブロックサイズを増加させることで、数千 TPS のトランザクションスループットを達成できるが、その代わりにフォールトトレランスが低下することを示している。一方、確認閾値を引き上げることで、遅延の増加を伴ってもセキュリティを回復できる。

ABSTRACT

Blokchain is a promising technology to enable distributed and reliable data sharing at the network edge. The high security in blockchain is undoubtedly a critical factor for the network to handle important data item. On the other hand, according to the dilemma in blockchain, an overemphasis on distributed security will lead to poor transaction-processing capability, which limits the application of blockchain in data sharing scenarios with high-throughput and low-latency requirements. To enable demand-oriented distributed services, this paper investigates the relationship between capability and security in blockchain from the perspective of block propagation and forking problem. First, a Markov chain is introduced to analyze the gossiping-based block propagation among edge servers, which aims to derive block propagation delay and forking probability. Then, we study the impact of forking on blockchain capability and security metrics, in terms of transaction throughput, confirmation delay, fault tolerance, and the probability of malicious modification. The analytical results show that with the adjustment of block generation time or block size, transaction throughput improves at the sacrifice of fault tolerance, and vice versa. Meanwhile, the decline in security can be offset by adjusting confirmation threshold, at the cost of increasing confirmation delay. The analysis of capability-security trade-off can provide a theoretical guideline to manage blockchain performance based on the requirements of data sharing scenarios.

研究の動機と目的

• エッジネットワークにおけるブロックチェーンベースのデータ共有における、能力とセキュリティのトレードオフを分析すること。
• エッジサーバー間のブロック伝搬をマルコフ連鎖でモデル化し、伝搬遅延とフォーク確率を定量化すること。
• トランザクションスループット、確認遅延、フォールトトレランス、改ざん確率といった主要なパフォーマンス指標の閉形式式を導出すること。
• エッジコンピューティングにおけるアプリケーション固有の要件に基づき、ブロックチェーンパラメータを調整するための理論的境界と設計指針を提供すること。

提案手法

• 連続時間マルコフ連鎖を構築し、エッジサーバー間での新規ブロックの動的拡散をモデル化し、時間経過に伴う情報を受け取ったサーバー数を追跡する。
• 非同期ブロック伝送を組み込み、サーバー総数、選択されたサーバー数、データレートといったネットワークパラメータを考慮する。
• マルコフ連鎖を用いて伝搬遅延および障害状態遷移確率を導出し、伝搬信頼性の分析を可能にする。
• フォーク確率は、伝搬が不完全な状態に起因するため、ブロックチェーンのセキュリティおよび能力指標に直接影響を与える。
• 伝搬モデルから、トランザクションスループット、確認遅延、フォールトトレランス、悪意ある改ざん確率に関する数学的式を導出する。
• ブロック生成時間、ブロックサイズ、確認閾値といった調整可能なパラメータの影響を分析し、トレードオフを明らかにする。

(a) A hierarchical blockchain architecture for data sharing.

実験結果

リサーチクエスチョン

• RQ1 エッジブロックチェーンシステムにおいて、サーバー数や伝送レートといったネットワークパラメータが、ブロック伝搬遅延およびフォーク確率にどのように影響するか。
• RQ2 エッジブロックチェーンにおけるトランザクションスループットの理論的上限は何か。また、ネットワークおよびシステムパラメータによってどのように制限されるか。
• RQ3 フォークが、ブロックチェーンベースのデータ共有におけるフォールトトレランスおよび悪意あるデータ改ざん確率に与える影響は何か。
• RQ4 高いフォーク確率に起因するセキュリティ低下を補うために、確認閾値を引き上げることでどの程度の効果が得られるか。
• RQ5 フォークが存在する状況において、確認遅延とセキュリティレベルの間にはどのようなトレードオフがあるか。

主な発見

• ブロック生成時間を短くするか、ブロックサイズを増加させることで、トランザクションスループットを 7 TPS から 1,000 TPS 以上に向上できるが、フォーク確率に応じてフォールトトレランスが 10% から 40% 減少する。
• トランザクションスループットの上限は、エッジサーバー総数、伝送ごとの選択サーバー数、ネットワークデータレートといったネットワークパラメータに強く依存する。
• フォーク確率が高い場合、悪意あるデータ改ざんの確率が上昇するが、確認閾値 $ m $ を引き上げることで、このリスクを対数的に低減できる。
• Bitcoin のセキュリティレベル 1（攻撃者のハッシュレートが 10%）を達成するには、確認閾値を $ m=6 $ から $ m=16 $ に引き上げる必要がある。セキュリティレベル 2（20% のハッシュレート）では $ m=28 $ が必要となる。
• ブロックサイズが大きくなると、フォークの影響で確認遅延が指数関数的に増加する。また、より高いセキュリティレベル（$ m $ を大きくすることで達成）には追加の遅延が伴い、セキュリティと遅延の明確なトレードオフが示された。
• 障害状態（例えば、伝搬が不完全な状態）から脱出するまでの期待時間は、選択パラメータ $ k $ に強く依存しており、$ k $ が小さいほど、未情報サーバーの選択確率が高くなり、回復が速くなる。

(b) Block propagation in a consensus domain and forking problem.