[論文レビュー] Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases

Martin Kleppmann, Heidi Howard|arXiv (Cornell University)|Dec 1, 2020

Distributed systems and fault tolerance被引用数 12

ひとこと要約

本稿では、PoWなどのSybil対策を必要とせずに、任意の数のByzantine障害を許容できるP2Pデータベースを可能にする、Byzantine Eventual Consistency (BEC) と呼ばれる一貫性モデルを紹介する。本稿では、すべてのトランザクションがアプリケーションの不変条件に関してI-confluentである場合に限りBECが達成可能であることを証明し、通信オーバーヘッドが理論的最小値に近い、正しい構成のアルゴリズムを、Byzantine因果ブロードキャストに基づいて提示する。

ABSTRACT

Sybil attacks, in which a large number of adversary-controlled nodes join a network, are a concern for many peer-to-peer database systems, necessitating expensive countermeasures such as proof-of-work. However, there is a category of database applications that are, by design, immune to Sybil attacks because they can tolerate arbitrary numbers of Byzantine-faulty nodes. In this paper, we characterize this category of applications using a consistency model we call Byzantine Eventual Consistency (BEC). We introduce an algorithm that guarantees BEC based on Byzantine causal broadcast, prove its correctness, and demonstrate near-optimal performance in a prototype implementation.

研究の動機と目的

• 任意のByzantine障害が発生する状況下でのP2Pデータベースの根本的限界を特定すること。特に、Sybil対策が存在しない状況での限界を対象とする。
• 信頼できるコンponents やPoWを必要とせず、無制限のByzantine障害を許容するシステムで正しく動作する一貫性モデルを定義すること。
• このようなシステムでByzantine最終的一貫性を達成するための必要十分条件である—I-confluence—を確立すること。
• 通信オーバーヘッドを最小限に抑えた実用的なレプリケーションアルゴリズムの設計と評価を行うこと。

提案手法

• 任意のByzantine障害が発生してもレプリカの収束が保証される、Byzantine Eventual Consistency (BEC) を一貫性モデルとして導入する。
• Byzantine環境下での信頼性の高い因果順序配信を実現するプリミティブとして、Byzantine因果ブロードキャストを定義する。
• システムがBECを達成するための必要十分条件として、すべてのトランザクションがアプリケーションの不変条件に関してI-confluentであることであることを証明する。
• Byzantine因果ブロードキャストに基づくレプリケーションアルゴリズムを設計し、任意のByzantine障害下でも正しさを保証する。
• 効率的な整合技術を用いてメッセージ交換を最適化し、理論的最小値に近いネットワークオーバーヘッドを実現する。
• 不変条件を正しさの述語として用い、更新がアプリケーションレベルの一貫性を保持することを形式的に検証する。

実験結果

リサーチクエスチョン

• RQ1 無制限のByzantine障害を許容するP2Pデータベースシステムでは、どのような一貫性保証が達成可能か？
• RQ2 任意のByzantine障害が存在する状況下で、最終的一貫性を達成できる条件は何か？
• RQ3 PoWや中央集権的なメンバーシップ制御を用いずに、Sybil攻撃に耐性を持たせることは可能か？
• RQ4 信頼できるコンponentsを用いずに、Byzantine環境下で因果順序と一貫性を維持することは可能か？
• RQ5 許可なしでByzantine障害に耐性を持つP2P環境に安全に展開可能なアプリケーションの形式的特徴付けは存在するか？

主な発見

• BECは、アプリケーションの不変条件に関してすべてのトランザクションがI-confluentである場合に限り達成可能であり、これはSybil耐性のための必要十分条件を確立する。
• 提案されたアルゴリズムは、障害ノードの数に制限を設けず、任意のByzantine障害下でも正しさを保証する。これにより、完全に許可なしのネットワークへの展開が可能になる。
• プロトタイプ実装では、理論的最適値に比べてわずかなネットワーク通信オーバーヘッドに抑えられており、実用性の高さが示された。
• CRDTベースのシステムなど、既にI-confluentであるアプリケーションは、最小限の変更でBECに拡張可能であり、Byzantine障害耐性を獲得できる。
• 本手法はPoWや信頼できるハードウェアに依存しないため、分散型で信頼できない環境に適している。
• アプリケーション論理がI-confluenceの意味で単調である場合に限り、Byzantineシステムで調整を回避できることが示された。