[論文レビュー] Brief Announcement: Subquadratic Multivalued Asynchronous Byzantine Agreement WHP

Shir Cohen, Idit Keidar|arXiv (Cornell University)|Jan 1, 2023

Distributed systems and fault tolerance被引用数 2

ひとこと要約

本論文は、高い確率（WHP）で動作する非同期モデルにおける、最初のサブクアドラティックな多値Byzantine合意プロトコルを提示する。通信量のオーダーは eO(n) である。本研究では、サブクアドラティックな二値Byzantine合意技術を拡張し、二つの委員会（初期委員会と収束委員会）を導入することで、クorum証明書と満足度に関する二値合意を用いて、効率的な多値合意を実現する。これにより、Byzantine故障下でも弱い単一性（weak unanimity）を保証する。

ABSTRACT

There have been several reductions from multivalued consensus to binary consensus over the past 20 years. To the best of our knowledge, none of them solved it for Byzantine asynchronous settings. In this paper, we close this gap. Moreover, we do so in subquadratic communication, using newly developed subquadratic binary Byzantine Agreement techniques.

研究の動機と目的

• 従来の多値から二値合意への還元手法が、高い確率の保証下で非同期システムにおけるサブクアドラティック多値Byzantine合意に失敗するというギャップを解消すること。
• O(log n)の二値インスタンスを用いた多値設定にサブクアドラティックな二値解決手法を適用した際、高い確率の議論が崩壊する理由を克服すること。
• Byzantine故障下でも安全かつライブネスを高い確率（WHP）で保証する一方で、通信量をサブクアドラティックに維持するプロトコルを設計すること。
• 特にブロックチェーンにおいて、ブロック単位の取引合意に不可欠な多値合意が、大規模分散システムで実用的かつスケーラブルに動作することを実現すること。
• 弱い単一性の正当性を満たし、適応的Byzantine不正を (1/3 − ϵ)n プロセスまで許容する、許可型でPKI保護された環境下で動作するソリューションを提供すること。

提案手法

• 検証可能なランダム関数（VRF）に基づく確率的委員会サンプリングプリミティブを用い、互いに素な二つの委員会（初期委員会と収束委員会）を選出する。
• 初期委員会のメンバーは、全プロセスに署名済みの初期値をブロードキャストする。各プロセスは、高い確率で少なくとも W 通のメッセージを収集する。
• 収束委員会のメンバーは、W 通の初期委員会メンバーからの受信を待機する。すべての値が自身の値と一致する場合、満足状態（content）とマークし、真の 'is_content' フラグを含むクorum証明書（QC）を送信する。
• 警戒フラグが true に設定されるような二値Byzantine合意プロトコルを実行する。ここで、警戒フラグは、収束委員会内で満足しているメンバーが B+1 未満の場合に true となる。B は委員会内でのByzantineプロセス数の上界である。
• 二値合意の出力が true であれば、すべての正しく動作するプロセスは ⊥ を決定する。そうでなければ、満足状態のプロセスが保持する値 v を決定する。この値は、正しく動作するプロセス間で一貫していることが保証される。
• 二つの W サイズの委員会間の交差性（intersection property）を活用し、両方の委員会に少なくとも1つの正しく動作するプロセスが存在することを保証することで、正しい値の最終的到達を実現する。

実験結果

リサーチクエスチョン

• RQ1 サブクアドラティックな二値Byzantine合意技術を、高い確率で動作する非同期モデルにおける多値合意に拡張可能か？
• RQ2 なぜ標準的な二値から多値への還元手法が、サブクアドラティックな非同期Byzantine合意プロトコルでは失敗するのか？
• RQ3 多値入力にスケーリングされた O(log n) 個の二値インスタンスに対して、高い確率の保証を維持するにはどうすればよいか？
• RQ4 どのような委員会ベースの構造が、サブクアドラティックな通信量を維持しながら、Byzantine故障下での安全とライブネスを保証できるか？
• RQ5 非同期Byzantine合意において、弱い単一性の正当性をサブクアドラティックな単位数で達成可能か？

主な発見

• 提案されたアルゴリズムは、非同期モデルにおける多値Byzantine合意で eO(n) の単位数を達成し、これが初めての解決策である。
• プロトコルは弱い単一性の正当性を保証する：すべての正しく動作するプロセスが同じ入力値を持つ場合、高い確率で同じ値を決定する。
• 任意の二値Byzantine合意プロトコルに追加して、二つの追加の委員会のみを用いるため、効率的かつモジュラーな設計を維持する。
• 二つの W サイズの委員会の交差性のおかげで、高い確率での安全とライブネスが保証され、両方の委員会に少なくとも1つの正しく動作するプロセスが存在することが保証される。
• W 個の署名を含むクorum証明書（QC）の使用により、適応的Byzantine不正が発生しても、正しく動作するプロセス間で一貫した意思決定が可能になる。
• 従来のサブクアドラティックな二値Byzantine合意プロトコルと互換性があり、非同期システムにおけるエンドツーエンドのサブクアドラティックな多値合意を実現できる。