[論文レビュー] Systematizing Decentralization and Privacy: Lessons from 15 Years of Research and Deployments

Carmela Troncoso, Marios Isaakidis+2 more|arXiv (Cornell University)|Oct 1, 2017

Internet Traffic Analysis and Secure E-voting参考文献 186被引用数 68

ひとこと要約

この論文は、分散型プライバシーシステム分野における15年間の研究と実装を体系化し、プライバシー、整合性、可用性、システムの複雑さの間の根本的な設計上のトレードオフを特定している。成功した分散型システムは、暗号技術、分散システム、メカニズム設計の統合的専門知識を必要とし、現実世界でのスケーラビリティとレジliエンスを確保するためのインcentive（インcentive）が整合している必要があると主張している。

ABSTRACT

Decentralized systems are a subset of distributed systems where multiple authorities control different components and no authority is fully trusted by all. This implies that any component in a decentralized system is potentially adversarial. We revise fifteen years of research on decentralization and privacy, and provide an overview of key systems, as well as key insights for designers of future systems. We show that decentralized designs can enhance privacy, integrity, and availability but also require careful trade-offs in terms of system complexity, properties provided, and degree of decentralization. These trade-offs need to be understood and navigated by designers. We argue that a combination of insights from cryptography, distributed systems, and mechanism design, aligned with the development of adequate incentives, are necessary to build scalable and successful privacy-preserving decentralized systems.

研究の動機と目的

• 分散型プライバシー強化システムにおける分散化の基礎的理解を確立し、一般の分散化とは区別すること。
• 15年間にわたる研究と実装を通じて、分散化、システムの複雑さ、プライバシー、可用性の間の繰り返し現れる設計上のトレードオフを特定すること。
• 安全でスケーラブルかつ実装可能な分散型システムを構築するうえで、暗号技術、分散システム、メカニズム設計の重要な役割を強調すること。
• 特にディレクトリ、レピュテーション、キーマネージメントのための中央集権的コンponentsに依存するという、現実世界でのスケーラビリティの持続的課題に対処すること。
• 技術的頑健性と社会的・インcentive構造を統合した包括的設計を提唱し、分散型システムの長期的持続可能性を確保すること。

提案手法

• 2001年から2016年までの研究と実装を体系化し、ピアツーピア、匿名通信、ブロックチェーンシステムに焦点を当てる。
• 分散型システムを、複数の相互に信頼できない管理者を有する分散システムとして定義し、中央集権的または完全に信頼できるシステムと対比する。
• BitTorrent、Tor、Bitcoinといった主要なシステムを分析し、プライバシーと分散化に関連する設計パターンや障害モードを抽出する。
• ネットワーク科学およびグラフ理論を用いて、スケーリングに伴い分散ネットワークがどのように中央集権的または連合型の構造へと進化するかをモデル化する。
• ゼロ知識証明や匿名資格といった暗号プリミティブが、中央集権的信頼を必要とせずにプライバシーを実現する役割を評価する。
• インcentiveの整合性とコンpromised（侵害）に対するレジリエンスを強調する枠組みを提案し、今後のシステム設計を導くために暗号技術、分散システム、メカニズム設計を統合する。

実験結果

リサーチクエスチョン

• RQ1 信頼モデルと脅威モデルの観点から、分散型システムと一般の分散システムの違いは何か？
• RQ2 現実世界の分散型システムは、実際にはどのように分散化とパフォーマンス、可用性、プライバシーのバランスをとっているのか？
• RQ3 なぜ多くの分散型システムが、名前付け、キーマネージメント、レピュテーションといった主要機能において中央集権的コンponentsに依存するのか？
• RQ4 社会的・経済的インcentiveは、分散型システムの長期的持続可能性とセキュリティにどのような役割を果たすのか？
• RQ5 高度な暗号技術とハイブリッドシステム設計は、現実世界の使用圧力下でも分散化をエメrgent（出現的）な性質として維持できるのか？

主な発見

• 分散型システムはプライバシー、整合性、可用性を向上させるが、分散化、複雑さ、システム特性の間で注意深いトレードオフが必要となる。
• 設計上の目的にかかわらず、BitTorrent や Tor といったシステムはスケーリングに伴いスーパーノード型やフェデレーテッドクライアントサーバーモデルへと進化し、完全な分散化が損なわれる。
• ディレクトリ、キーマネージメント、レピュテーションシステムにおいて、中央集権的コンponentsが実際には根強く残り続け、完全に分散化を志向するシステムですら同様である。
• レピュテーションと不正利用防止メカニズムは、しばしば中央集権的エンティティや事前に存在する社会的ネットワークに依存しており、信頼できない、プライバシーを守る代替手段の欠如が浮き彫りになる。
• エンドユーザーのデバイスセキュリティは弱みであり、分散型システムは侵害後にプライバシー特性を回復できるように設計され、侵害に耐えうる必要がある。
• 真の分散化は技術的設計に加え、社会的およびインcentive構造も必要であり、技術的解決策だけでは長期的な展開とレジリエンスを保証できない。