[論文レビュー] VPN0: A Privacy-Preserving Decentralized Virtual Private Network

Matteo Varvello, Iñigo Querejeta Azurmendi+4 more|arXiv (Cornell University)|Oct 1, 2019

Caching and Content Delivery参考文献 17被引用数 4

ひとこと要約

VPN⁰ は、プライバシーを守る分散型VPNであり、dVPNノードがゼロ知識で認可されたトラフィックを検証可能にすることで、ノードがコンテンツを学習せずにホワイトリストに登録されたトラフィックのみを転送することを保証する。TLSベースの証明、トラフィック認可のゼロ知識証明、動的トンネルチェーンを採用し、BitTorrent DHTおよびProtonVPNと統合することで実用性を実証した。パフォーマンスへの影響は最小限に抑えられた。

ABSTRACT

Distributed Virtual Private Networks (dVPNs) are new VPN solutions aiming to solve the trust-privacy concern of a VPN's central authority by leveraging a distributed architecture. In this paper, we first review the existing dVPN ecosystem and debate on its privacy requirements. Then, we present VPN0, a dVPN with strong privacy guarantees and minimal performance impact on its users. VPN0 guarantees that a dVPN node only carries traffic it has "whitelisted", without revealing its whitelist or knowing the traffic it tunnels. This is achieved via three main innovations. First, an attestation mechanism which leverages TLS to certify a user visit to a specific domain. Second, a zero knowledge proof to certify that some incoming traffic is authorized, e.g., falls in a node's whitelist, without disclosing the target domain. Third, a dynamic chain of VPN tunnels to both increase privacy and guarantee service continuation while traffic certification is in place. The paper demonstrates VPN0 functioning when integrated with several production systems, namely BitTorrent DHT and ProtonVPN.

研究の動機と目的

• 既存の分散型VPN（dVPN）システムに強いプライバシー保証が欠如している問題に対処する。特に、ノードが悪意あるまたは違法なトラフィックを認識せずに転送せざるを得ない状況を解消する。
• dVPNノードがユーザーのプライバシーを保ちつつ、ホワイトリストに登録されたトラフィックのみを条件付きで転送可能にし、トラフィックの監視を防ぐ。
• トラフィックのアカウンタビリティとレポーティング機能を提供し、ユーザーの匿名性を損なわず、責任追及を可能にする。
• 効率的なゼロ知識証明計算と、BitTorrent DHTやProtonVPNといった既存システムとの統合を通じて、パフォーマンスへの影響を最小限に抑える。
• 強力なプライバシー、分散性、実用的パフォーマンスを統合したdVPNアーキテクチャの実現可能性を示す。

提案手法

• ユーザーが特定のドメインにアクセスしたことを暗号的に証明するTLSベースの証明メカニズムを採用し、トラフィック認可の基盤を構築する。
• ゼロ知識証明（ZKPs）を用いて、受信トラフィックがノードのホワイトリストに該当することを証明するが、ターゲットドメインや機密情報を露呈しない。
• トラフィック認証中でもサービス継続性を確保するため、動的トンネルチェーンを導入する。
• 分散ハッシュテーブル（DHT）を活用し、プライベートかつ匿名のピア発見と、dVPNクライアントと利用可能なノードとのペアリングを実現する。
• 実世界での実用性とパフォーマンスを検証するため、既存の本番環境システム（BitTorrent DHTおよびProtonVPN）と統合する。
• エンドツーエンド暗号化としてTLS 1.3とDNSCryptを活用し、dVPNレイヤーに到達する前にトラフィックが既にプライベートであることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ノードがコンテンツや宛先を学習せずに、明示的にホワイトリストに登録されたトラフィックのみを転送できるような分散型VPNを設計可能か？
• RQ2 dVPNノードが、ホワイトリストやターゲットドメインを露呈せずに、受信トラフィックが転送可能であることをどのように検証できるか？
• RQ3 実世界のdVPN展開において、ゼロ知識証明ベースの認可メカニズムがもたらすパフォーマンスオーバーヘッドはどの程度か？
• RQ4 動的トンネルチェーンを用いることで、プライバシーとサービス継続性を維持しながら、悪意あるトラフィックに対する責任追及を可能にするか？
• RQ5 このようなシステムを、既存の分散型および本番運用レベルのネットワークインfraと統合するのは現実的か？

主な発見

• VPN⁰ は、ゼロ知識証明を活用することで、dVPNノードがホワイトリストに登録されたトラフィックのみを転送しつつ、ユーザーのプライバシーを保持することに成功した。
• システムは、BitTorrent DHTおよびProtonVPNとの統合を通じて実用性を実証し、実世界のシステムと互換性があることを示した。
• パフォーマンスベンチマークの結果、ゼロ知識証明の計算が現在の主なボトルネックであることが判明し、将来的な最適化の重要な分野であると示された。
• 動的トンネルチェーンの導入により、プライバシーが強化され、トラフィック認証中でもサービスの途切れが生じにくくなった。
• TLSベースの証明メカニズムにより、リレーノードにドメインを暴露せずに、特定ドメインへのアクセスを安全に証明できる。
• アーキテクチャは、ログ記録なし、トラフィックのアカウンタビリティ、IPブラックリスト攻撃に対する耐性といった、強力なプライバシー保証を提供する。