[論文レビュー] Some Garbage In - Some Garbage Out: Asynchronous t-Byzantine as Asynchronous Benign t-resilient system with fixed t-Trojan-Horse Inputs

Danny Dolev, Eli Gafni|arXiv (Cornell University)|Jul 5, 2016

Quantum Computing Algorithms and Architecture被引用数 5

ひとこと要約

この論文は、t個の入力が隠しオракルによって悪意的に改ざんされる状況において、非同期t-Byzantineシステムが標準的な非同期t-耐障害システムと同等であることを確立している。著者たちは、Byzantine故障を能動的な悪意ある行動ではなく、入力の破損としてモデル化することで、既存のt-耐障害プロトコルが新しいトポロジー的手法を用いずにByzantine行動をシミュレートできることを示しており、最近のByzantineベクトルϵ-整合性に関する専門的な解析が不要であることを示している。

ABSTRACT

We show that asynchronous $t$ faults Byzantine system is equivalent to asynchronous $t$-resilient system, where unbeknownst to all, the private inputs of at most $t$ processors were altered and installed by a malicious oracle. The immediate ramification is that dealing with asynchronous Byzantine systems does not call for new topological methods, as was recently employed by various researchers: Asynchronous Byzantine is a standard asynchronous system with an input caveat. It also shows that two recent independent investigations of vector $ε$-agreement in the Byzantine model, and then in the fail-stop model, one was superfluous - in these problems the change of $t$ inputs allowed in the Byzantine has no effect compared to the fail-stop case. This result was motivated by the aim of casting any asynchronous system as a synchronous system where all processors are correct and it is the communication substrate in the form of message-adversary that misbehaves. Thus, in addition, we get such a characterization for the asynchronous Byzantine system.

研究の動機と目的

• 非同期t-Byzantineシステムがt個の悪意ある入力が改ざんされた標準的なt-耐障害システムと同等であることを示すこと。
• 故障を入力の破損として再定式化することで、Byzantineコンセンサスにおける専用のトポロジー的手法の必要性を排除すること。
• 最近のByzantineベクトルϵ-整合性に関する結果が、同様の結果が良性t-耐障害モデルでも得られることから、冗長であることを示すこと。
• t-モバイルメッセージ攻撃者を、入力レベルの改ざんのみを用いて非同期Byzantineシステムでシミュレートするプロトコルを提供すること。
• Byzantine行動が協働スレッドの進行によって中和されるモデルを形式化すること。

提案手法

• Byzantine故障を、実行開始前に最大t個のプロセッサのプライベート入力を変更するオラクルとしてモデル化する。
• システムを、ラウンド1から開始する同期的t-モバイルメッセージ攻撃者（MOB）として表現し、入力をラウンド0で固定する。
• すべての正しいノードが共通のn−t個の正しいプロセッサの集合に収束する共通コアプロトコルを用いる。
• 各プロセッサは、受信送信者（accept[r]）の集合を維持し、共通コアプロトコルを介して一貫性を確保する。
• 各プロセッサが受信したメッセージ集合と過去の状態に基づいて、次回の状態を局所的に計算することで、決定的プロトコルをシミュレートする。
• 受信メッセージを追跡するバックグラウンドメッセージ処理ループを導入し、送信者集合について十分な合意が得られた後でのみ、状態更新をトリガーする。

実験結果

リサーチクエスチョン

• RQ1 能動的なByzantine行動をモデル化せずに、入力レベルの改ざんのみを用いて非同期Byzantineシステムをシミュレートできるか？
• RQ2 t-モバイルメッセージ攻撃者モデルは、非同期t-Byzantineシステムの能力を十分に捉えられるか？
• RQ3 最近のByzantineベクトルϵ-整合性に関する結果が、良性t-耐障害モデルと同じ結果をもたらすのはなぜか？
• RQ4 t-耐障害システムにおける協働スレッドの進行は、Byzantine故障の影響を中和できるか？
• RQ5 t-Byzantineシステムと入力が破損しているt-耐障害システムの間の同等性は、最近のByzantineコンセンサスにおけるトポロジー的アプローチを無効にすべきか？

主な発見

• n > 3t であれば、非同期t-Byzantineモデルは、t個の入力が破損している標準的なt-耐障害システムと同等である。
• 共通コアプロトコルにより、すべての正しいプロセッサが共通のn−t個の正しいプロセッサの集合に収束し、一貫性のある状態の進化が可能になる。
• t-モバイルメッセージ攻撃者システムにおける決定的プロトコルは、提案されたアルゴリズムを用いて非同期Byzantineシステムで完全にシミュレート可能である。
• 同等性により、Byzantineモデルと良性モデルにおけるベクトルϵ-整合性の結果が同一であり、最近のByzantineϵ-整合性に関するトポロジー的分析は不要であることが示される。
• 故障モデルを能動的なByzantine行動から受動的な入力破損にシフトすることで、分析が単純化され、新しいトポロジー的ツールの必要性が排除される。