[論文レビュー] Byzantine Resilient Computing with the Cloud

John Augustine, J. Biju+4 more|arXiv (Cornell University)|Sep 28, 2023

Cryptography and Data Security被引用数 2

ひとこと要約

本稿では、混雑クライQUEネットワークにおける耐Byzantine性を高めるために、信頼できるクラウドを用いた読み取り専用メモリアクセスおよび乱数生成を活用する、Byzantine耐性を持つ分散コンピューティングモデルを提案する。クラウドへのアクセスを読み取り専用に制限し、ブラックリスト化を伴う確率的プロトコルを用いることで、適応的Byzantine敵対者に対しても、高確率でw.h.p. Õ(n/(γk) + √n)というサブ線形クエリ複雑性を達成する。これは、従来のβ < 1/3の制限を超えて、著しく耐障害性を向上させるものである。

ABSTRACT

We study a framework for modeling distributed network systems assisted by a reliable and powerful cloud service. Our framework aims at capturing hybrid systems based on a point to point message passing network of machines, with the additional capability of being able to access the services of a trusted high-performance external entity (the cloud). We focus on one concrete aspect that was not studied before, namely, ways of utilizing the cloud assistance in order to attain increased resilience against Byzantine behavior of machines in the network. Our network is modeled as a congested clique comprising $k$ machines that are completely connected to form a clique and can communicate with each other by passing small messages. In every execution, up to $βk$ machines (for suitable values of $β\in [0, 1)$) are allowed to be Byzantine, i.e., behave maliciously including colluding with each other, with the remaining $γk$ or more machines being \emph{honest} (for $γ=1-β$). Additionally, the machines in our congested clique can access data through a trusted cloud via queries. This externality of the data captures many real-world distributed computing scenarios and provides a natural context for exploring Byzantine resilience for essentially all conceivable problems. Moreover, we are no longer bound by the usual limits of $β&lt; 1/3$ or even $β&lt; 1/2$ that are typically seen in Byzantine Agreement. We focus on a few fundamental problems. We start with the ${ extsf{Download}}$ problem, wherein the cloud stores $n$ bits and these $n$ bits must be downloaded to all of the $k$ machines. In addition to ${ extsf{Download}}$, we also consider the problem of computing the ${ extsf{Disjunction}}$ and ${ extsf{Parity}}$ of the bits in the cloud. We study these problems under several settings comprising various $β$ values and adversarial capabilities.

研究の動機と目的

• 信頼できるクラウドを統合することで、混雑クライQUEネットワークにおけるByzantine耐性を高める分散コンピューティングフレームワークの設計。
• クラウド支援型の読み取り専用メモリと乱数を活用することで、従来のByzantine閾値制限（例：β < 1/3）を緩和する。
• Byzantine動作下での基本的問題（例：Download、Disjunction、Parity）を解くために必要なクラウドクエリ数（クエリ複雑性Q）を最小限に抑える。
• クエリ複雑性と耐障害性の観点から、決定的プロトコルと確率的プロトコルのトレードオフを分析する。
• 確実な保証が得られる決定的解法を支援するため、二部グラフエキスパンダーの変種を含む、新しい組合せ構造を構築する。

提案手法

• k台のマシンからなる混雑クライQUEとしての分散システムをモデル化し、相互間通信および信頼できるクラウド（読み取り専用メモリと乱数生成を提供）へのアクセスを許可する。
• クラウドへのアクセスを読み取り専用操作および乱数に制限することで、Byzantine影響を制限し、悪意あるノードが共有状態を改ざんできないように保証する。
• 適応的敵対者に耐性を持つ確率的プロトコルを用い、信頼できる悪意あるノードをブラックリスト化することで、クエリ効率を向上させる。
• チェルノフの不等式と確率的解析を適用し、敵対的動作下でも高確率（w.h.p.）でプロトコルの正しさを証明する。
• 決定的解法を実現するための、二部グラフエキスパンダーの新規変種を設計・分析する。
• 良性および過酷な敵対モデルにおいて、公開および非公開の代表委員会を用いて、効率的な入力集約と検証を可能にする。

実験結果

リサーチクエスチョン

• RQ1 クラウド支援型の読み取り専用アクセスと乱数は、Byzantine耐性を持つ分散システムにおけるクエリ複雑性を顕著に低減できるか？
• RQ2 クラウド支援を用いることで、分散合意形成および計算問題における従来のByzantine閾値β < 1/3をどの程度緩和できるか？
• RQ3 異なる敵対モデル（過酷、良性、決定的）下で、Download、Disjunction、Parityといった基本的問題のクエリ複雑性はどのようにスケーリングするか？
• RQ4 決定的プロトコルは、Byzantine耐性を持つクラウド支援型システムにおいて、確率的プロトコルの効率性に匹敵できるか？
• RQ5 最適な決定的クエリ複雑性を達成するために、必要な十分な組合せ構造（例：エキスパンダー）は何か？

主な発見

• Download問題において、適応的敵対者に耐性を持つ確率的プロトコルとブラックリスト化を用いることで、クエリ複雑性がw.h.p. Õ(n/(γk) + √n)にまで低減される。
• 敵対者が非適応的である場合、すべてのβ ∈ [0, 1)に対して、クエリ複雑性がw.h.p. Õ(n/k)に改善され、強力なスケーラビリティが示される。
• Disjunction問題において、確率的プロトコルはw.h.p. Õ(1/(γkδ))のクエリ複雑性を達成する。ここでδはクラウド内の1の割合を表す。これは決定的境界に比べ顕著に改善されている。
• 決定的プロトコルにおけるDisjunction問題のクエリ数はΩ(n/(γk) + 1/δ)に達するため、確率的プロトコルのクエリ効率は達成できないことが証明される。
• 決定的Disjunctionプロトコルを支援するため、二部グラフエキスパンダーの新規変種を構築した。その存在は確率的法とチェルノフの不等式を用いて証明された。
• Parity問題において、提案されたプロトコルはDownload問題よりも優れた通信ラウンド数およびメッセージ複雑性を達成しており、問題固有の最適化の可能性が示唆される。