[論文レビュー] Brief Announcement: Let It TEE: Asynchronous Byzantine Atomic Broadcast with n ≥ 2f+1

Marc Leinweber, Hannes Hartenstein|arXiv (Cornell University)|Jan 1, 2023

Distributed systems and fault tolerance被引用数 2

ひとこと要約

この論文では、DAG-Riderフレームワークと信頼実行環境（TEE）を統合することで、n ≥ 2f+1 の故障耐性を達成する、非同期なバシリンチン原子ブロードキャスト（ABAB）プロトコルであるTEE-Riderを提案する。TEEが生成する独自の順序識別子（USIG）を用いた単一エコー信頼性ブロードキャストと、quorum閾値を⌊n/2⌋+1に調整することで、DAG-Riderの単純さを保ちながら、定数サイズのメッセージオーバーヘッドで完全なバシリンチン故障耐性を実現する。

ABSTRACT

Asynchronous Byzantine Atomic Broadcast (ABAB) promises simplicity in implementation as well as increased performance and robustness in comparison to partially synchronous approaches. We adapt the recently proposed DAG-Rider approach to achieve ABAB with $n\geq 2f+1$ processes, of which $f$ are faulty, with only a constant increase in message size. We leverage a small Trusted Execution Environment (TEE) that provides a unique sequential identifier generator (USIG) to implement Reliable Broadcast with $n>f$ processes and show that the quorum-critical proofs still hold when adapting the quorum size to $\lfloor \frac{n}{2} floor + 1$. This first USIG-based ABAB preserves the simplicity of DAG-Rider and serves as starting point for further research on TEE-based ABAB.

研究の動機と目的

• n ≥ 2f+1 のプロセスをサポートする、シンプルで効率的かつ頑健なABABプロトコルの設計。
• 従来の部分的同期BFTプロトコル（例：PBFT）と比較して通信複雑性を低減すること。
• 定数サイズのTEE拡張のみを用いて、非同期環境でも完全な故障耐性を実現すること。
• TEEプリミティブを用いて故障耐性を向上させつつ、DAG-Riderの構造的単純さを保持すること。
• DAG-Riderのquorumに基づく正しさの議論が、quorumサイズを縮小したTEE強化型信頼性ブロードキャスト下でも有効であることを示すこと。

提案手法

• DAG-Riderプロトコルを、TEEベースのUSIGによって駆動される単一エコー信頼性ブロードキャストに置き換えることで適応する。
• USIGを用いて、各メッセージに対して一意で暗号的に署名された順序識別子を生成し、整合性を保証するとともに、二重発言の防止を実現する。
• 信頼性ブロードキャストの意味論に合わせて、quorum要件を2f+1から⌊n/2⌋+1に変更し、正しさを維持する。
• DAG-RiderのコアとなるDAG構造と経路ベースのコミットメント論理をそのままで保持し、下位の信頼性ブロードキャストプリミティブのみを置き換える。
• 共通コインを用いて波のリーダーを選択し、最終化をトリガーする波ベースの意思決定メカニズムを導入する。
• DAG内の強い経路と弱い経路を用いてコミットメントを伝搬させ、正常プロセス間で完全な順序配信を保証する。

実験結果

リサーチクエスチョン

• RQ1 TEEベースの信頼性ブロードキャストプリミティブを用いて、DAG-Riderプロトコルをn ≥ 2f+1 のバシリンチン故障耐性に適応可能か？
• RQ2 2f+1 から⌊n/2⌋+1 にquorumサイズを縮小した場合、TEE強化型信頼性ブロードキャストを用いることで、ABABプロトコルの正しさと活性性が保持されるか？
• RQ3 TEEベースのアプローチは、DAG-Riderの単純さと低通信オーバーヘッドを維持しつつ、非同期環境で完全なバシリンチン故障耐性を実現可能か？
• RQ4 新しいquorumサイズとTEE強化型信頼性ブロードキャスト下でも、総順序配信のためのquorumに基づく議論は依然有効か？
• RQ5 セキュリティと活性性を保証しつつ、定数サイズのメッセージオーバーヘッド（例：カウンタと署名）でのみ実装可能か？

主な発見

• TEE-Riderプロトコルは、n ≥ 2f+1 のプロセスを想定した非同期バシリンチン原子ブロードキャストを成功裏に達成し、元々のf < n/2 の制約を超えてDAG-Riderの適用範囲を拡大した。
• USIGによる1メッセージあたり定数サイズの増加（カウンタと署名）を除き、DAG-Riderと同等のメッセージ複雑性を維持している。
• DAG-Riderのquorumに基づく正しさの議論は、新しいquorumサイズ⌊n/2⌋+1においても保持され、合意形成と完全な順序が保証される。
• TEEベースの単一エコー信頼性ブロードキャストの導入により、二重エコー機構の必要性が排除され、通信オーバーヘッドが低減し、実装が単純化された。
• TEEを用いることで、従来の部分的同期プロトコルを最小限の変更と定数オーバーヘッドで、完全な非同期バシリンチン故障耐性にアップグレード可能であることが示された。
• 本設計は、特にデーラーレスかつ非同期環境を想定した今後のTEEベースABABプロトコル研究の基盤的ブループrintを提供する。