[論文レビュー] Entanglement-Resistant Two-Prover Interactive Proof Systems and Non-Adaptive Private Information Retrieval Systems

Richard Cleve, Dmitry Gavinsky+1 more|ArXiv.org|Jul 12, 2007

Cryptography and Data Security参考文献 15被引用数 21

ひとこと要約

本稿は、非適応的プライベート情報検索（PIR）システムとの新しい接続を用いて、量子もつれによるだましを防ぐNPの2プローバーインタラクティブプローフシステムを提示する。主な貢献は、定数の完全性・健全性ギャップを持つもつれ耐性プロトコルであり、定数ビット、多プローバー量子耐性プローフシステムにおける、これまでに得られた中で最も強い表現力を持つ。

ABSTRACT

We show that, for any language in NP, there is an entanglement-resistant constant-bit two-prover interactive proof system with a constant completeness vs. soundness gap. The previously proposed classical two-prover constant-bit interactive proof systems are known not to be entanglement-resistant. This is currently the strongest expressive power of any known constant-bit answer multi-prover interactive proof system that achieves a constant gap. Our result is based on an "oracularizing" property of certain private information retrieval systems, which may be of independent interest.

研究の動機と目的

• プローバーが量子もつれを共有する場合でも、依然として健全性を保つNPの2プローバーインタラクティブプローフシステムを構築すること。
• もつれの存在下で古典的オラクル化技術が失敗するのを克服し、これにより完璧な健全性を保証するだましを防ぐこと。
• 特定のプライベート情報検索（PIR）システムが、量子もつれに対しても耐性のある非適応的性質を持つことを示し、安全なオラクル化を可能にすること。
• 定数ビット、2プローバーの量子耐性プローフシステムの表現力を少なくともNPにまで高めることを確立すること。これは、このようなシステムにおいて得られている最も強い結果に一致する。
• 従来の方法がもつれの下で失敗するのとは対照的に、PIRの性質を用いた新たな手法により、プローバーのオラクル化を達成すること。

提案手法

• プロトコルは、ランダムなインデックス i, j, k とビット δ を生成するための古典的PCP検証者をサブルーチンとして用い、これらにより3ビットのクエリを証明書 w に対して定義する。
• 検証者は一様にランダムな文字列 s をサンプリングし、t = s ⊕ e_i ⊕ e_j ⊕ e_k を計算し、s をアリスに、t をボブに送信する。
• アリスとボブはそれぞれ、古典的戦略に従い、a = w·s および b = w·t を計算し、1ビットの応答を返す。
• 検証者は、a ⊕ b = f_x(i, j, k, δ) である場合にのみ受理する。ここで f_x は入力 x に対するPCPから導かれた述語である。
• プロトコルのセキュリティは、横断的XORゲームフレームワークに依存しており、もつれを共有するプローバーが取る最適戦略が、古典的かつ非適応的であることが示されている。
• 重要な技術的要素として、非適応的性質を持つPIRシステムの使用がある。これにより、プローバーはもつれがあっても、クエリ構造に依存した非自明な答えの調整ができない。

実験結果

リサーチクエスチョン

• RQ1 プローバー間の任意の量子もつれが存在する状況下でも、NPの2プローバーインタラクティブプローフシステムを構築可能か？
• RQ2 特定のプライベート情報検索（PIR）システムは、もつれを共有するプローバーが相関を利用してだますのを防ぐ非適応的性質を持つだろうか？
• RQ3 もつれの下で古典的オラクル化が失敗するにもかかわらず、定数ビットの応答、多プローバー量子耐性プローフシステムで定数の完全性・健全性ギャップを達成可能か？
• RQ4 定数ビット、2プローバーの量子耐性インタラクティブプローフシステムの最大表現力は何か？そして、NPに達することができるか？
• RQ5 量子サイドチャネル攻撃に耐性のある、PIRベースのプロトコルを用いてプローバーのオラクル化を達成可能か？

主な発見

• 提案されたプロトコルは、NPに対して定数の完全性・健全性ギャップを達成する。完全性は 1−ε 以上、健全性は 1/2+ε 以下（任意の ε>0）である。
• プロトコルはもつれに耐性がある：共有する量子もつれがあっても、プローバーが取る最適戦略は古典的かつ非適応的であり、古典的戦略に優位性を持たない。
• 健全性の上限 1/2+ε は、下流のPCP手順の健全性に由来し、これにより非自明な証明書が半数の制約以上を満たすことは不可能（小さな誤差を除く）ことが保証される。
• PIRベースのプロトコルの非適応的性質により、プローバーはクエリ構造に依存した答えの調整ができないため、オラクル化が破綻しない。
• この結果により、定数ビット、2プローバーの量子耐性プローフシステムの表現力が少なくともNPに達することを確立した。これは、この文脈で得られている最も強い結果である。
• 横断的XORゲームフレームワークが一般化され、もつれが受信確率の最大化に優位性をもたらさないことが示された。これは、量子サイドチャネルが存在する状況でも同様に成り立つ。