[論文レビュー] Self-Healing Computation

George Saad, Jared Saia|arXiv (Cornell University)|May 6, 2014

Cryptography and Data Security参考文献 16被引用数 6

ひとこと要約

本稿では、耐障害性を備えた自己修復アルゴリズムを提示する。このアルゴリズムは、各計算において漸近的に最適な通信量と計算コスト（O(m + n log n)）を維持しながら、攻撃者が最大 (1/4 − ε)n パarty を制御する状況下でも、破損出力の期待値を O(t(log* m)²) に制限する。この手法はクォーラムグラフと検出メカニズムを用い、時間経過とともに破損したパーティを隔離することで、最小限のオーバーヘッドで長期的な耐障害性を実現する。

ABSTRACT

In the problem of reliable multiparty computation (RC), there are $n$ parties, each with an individual input, and the parties want to jointly compute a function $f$ over $n$ inputs. The problem is complicated by the fact that an omniscient adversary controls a hidden fraction of the parties. We describe a self-healing algorithm for this problem. In particular, for a fixed function $f$, with $n$ parties and $m$ gates, we describe how to perform RC repeatedly as the inputs to $f$ change. Our algorithm maintains the following properties, even when an adversary controls up to $t \leq (\frac{1}{4} - ε) n$ parties, for any constant $ε>0$. First, our algorithm performs each reliable computation with the following amortized resource costs: $O(m + n \log n)$ messages, $O(m + n \log n)$ computational operations, and $O(\ell)$ latency, where $\ell$ is the depth of the circuit that computes $f$. Second, the expected total number of corruptions is $O(t (\log^{*} m)^2)$, after which the adversarially controlled parties are effectively quarantined so that they cause no more corruptions.

研究の動機と目的

• 恒久的なバイザンチン攻撃に耐えながらも効率を維持できる、信頼性のあるマルチパーティ計算（RC）の自己修復アルゴリズムの設計。
• 平均化された通信および計算コストを漸近的に最適に保ちながら、破損出力の総数を最小限に抑えること。
• 制限された破損回数の後、自動的に破損パーティを隔離することで、長期的な耐障害性を実現すること。
• 計算能力が制限された敵対者と固有のパーティIDを有する部分的に同期的なモデル下で、この目標を達成すること。
• 再構成の最小限のコストで、変化する入力に対して関数 f の繰り返し実行を可能にすること。

提案手法

• 各クォーラムに Θ(log n) パーティが含まれ、そのうち最大 1/4 が悪意あるパーティであるように保証することで、障害耐性を確保するクォーラムグラフ構造を用いる。
• 各パーティは Θ(log n) 個のクォーラムに属し、接続されたクォーラム間では直接通信が可能である。
• 検出フェーズである CHECK は、ランダムサンプリングを用いて、各呼び出しで破損計算を確率 1/2 以上で同定する。
• 破損が検出された場合、UPDATE 手順により隣接するクォーラム間の矛盾を示すパーティのペアを特定し、悪意あるパーティとしてマークする。
• 欺瞞DAGモデルは、破損依存関係を追跡し、ラウンド経過に伴い対数的に縮小することで、最終的に悪意あるパーティを隔離することを保証する。
• チェルノフの不等式と確率的解析を用いて、O(log* m) 回の検出ラウンドで、高確率で欺瞞DAGをゼロサイズにまで縮小できることを示す。

実験結果

リサーチクエスチョン

• RQ1 自己修復アルゴリズムが、漸近的に最適な通信量と計算コストを維持しながら、破損を制限できるか。
• RQ2 静的バイザンチン敵対者のもとで、最適通信複雑度を達成する状況下で、得られる最小の期待破損数は何か。
• RQ3 事前にその識別子を知らずに、時間経過とともに破損パーティを自動的に隔離できるか。
• RQ4 検出メカニズムは、回路の深さやゲート数に比例して効率的にスケーリングできるか。
• RQ5 動的入力を持つ関数の繰り返し実行において、信頼性を維持できるか。

主な発見

• アルゴリズムは、各計算あたり O(m + n log n) の平均通信量および計算コストを達成し、理論的下界と一致する。
• 破損出力の期待値は、t が損傷パーティ数であるとして、O(t(log* m)²) に有界である。
• O(t(log* m)²) 回の破損後、すべての悪意あるパーティは実質的に隔離され、将来の計算に影響しなくなる。
• 各計算の遅延は、f を計算する回路の深さ ℓ に対して O(ℓ) である。
• 検出メカニズムである CHECK は、パーティのランダムサンプリングを用いて、各呼び出しで破損を確率 1/2 以上で同定する。
• 欺瞞DAGモデルにより、高確率で O(log* m) ラウンドで破損伝搬が縮小され、悪意あるパーティの効率的隔離が可能になる。