[論文レビュー] Further Limitations on Information-Theoretically Secure Quantum Homomorphic Encryption

Michael Newman|arXiv (Cornell University)|Sep 24, 2018

Cryptography and Data Security参考文献 26被引用数 3

ひとこと要約

この論文は、Nayakの境界を用いて、情報理論的に安全な量子完全同型暗号（QFHE）の制限を拡張し、nビットブール関数の超指数的数を評価可能ないかなるQFHEスキームについても、通信複雑性が log|Fₙ| − o(1) 以上であることを示している。この境界は、完全でない情報理論的セキュリティのもとでも成立し、情報理論的セキュリティを備えたQFHEにおける機能性と効率性の根本的なトレードオフを示している。

ABSTRACT

In this brief note, we review and extend existing limitations on information-theoretically (IT) secure quantum fully homomorphic encryption (QFHE). The essential ingredient remains Nayak's bound, which provides a tradeoff between the number of homomorphically implementable functions of an IT-secure QHE scheme and its efficiency. Importantly, the bound is robust to imperfect IT-security guarantees. We summarize these bounds in the context of existing QHE schemes, and discuss subtleties of the imposed restrictions.

研究の動機と目的

• 情報理論的に安全な量子完全同型暗号（QFHE）に関する既存の制限を拡張・明確化すること。
• IT-セキュアなQHEスキームにおける許容可能な関数の数と通信効率のトレードオフを分析すること。
• これらの境界が、不完全なITセキュリティ保証下でも頑健であるかを検討すること。
• 階層的QFHEスキームが、制限された関数クラスであるにもかかわらず、これらの制限を回避できるかを検討すること。
• 機能的制約や相互作用制約のもとで、意味のあるITセキュリティを備えた効率的なQFHEスキームの構築可能性を評価すること。

提案手法

• 量子ランダムアクセスコードにおけるNayakの境界を応用し、IT-セキュアなQHEにおける通信複雑性の下界を導出する。
• QHEにおける関数評価問題を、既知の量子クエリ複雑性の境界を活用した量子情報取得タスクに還元する。
• 完全な正しさと不完全な正しさ（小さな誤差確率を許容）の両方を考慮し、境界を一般化する。
• 粗い数え上げ的議論を用いて、階層的スキームで実装可能な回路の数が入力サイズに対して指数関数的にしか増加しないことを示す。
• 許容可能な関数の集合を制限した場合の影響、特に評価鍵設計と情報漏洩の文脈での影響を分析する。
• Yuら（2014）およびNewmanとShi（2018）の先行研究を拡張し、下界を関数クラスFₙのサイズに依存する形に一般化する。

実験結果

リサーチクエスチョン

• RQ1 情報理論的に安全な量子完全同型暗号スキームは、過大な通信コストを負わずに、nビットブール関数の超指数的数を扱えるか？
• RQ2 有限な漏洩量や小さな誤差率といった、不完全なセキュリティ保証下でも、既存の不可能性結果はどれほど頑健か？
• RQ3 多項式サイズの回路の効率的評価を可能にしつつ、意味のある情報理論的セキュリティを維持する階層的QFHEスキームを構築することは可能か？
• RQ4 評価鍵が平文に関する情報をどれほど漏らすか、そしてその漏洩を活用してIT-セキュアなスキームで効率的な同型評価を可能にすることができるか？
• RQ5 複雑性理論的仮定を用いることで、1ラウンドで終了するオフラインQFHEプロトコルに対して、より強い不可能性結果を得られるか？

主な発見

• 任意のIT-セキュアなQHEスキームがnビットブール関数の集合Fₙを評価できる場合、通信複雑性は log|Fₙ| − o(1) 以上である。これは、ε(n) = O(2^−1.01n) という誤差率のもとでも成立する。
• ε(n) = θ(2^−n) であっても、|Fₙ| が超指数的に増加する限り、境界は有効であり、識別不能性における小さな誤差に対しても下界が頑健であることが示された。
• 許容可能な関数の数と通信コストのトレードオフは、Nayakの境界によって形式化された量子情報理論的限界によって根本的に制約されている。
• 階層的QFHEスキームは、この境界によって除外されない。なぜなら、実装可能な回路の数が入力サイズに対して指数関数的にしか増加しないため、超指数的下界を引き起こすには不十分だからである。
• Yu ら（2014）およびNewmanとShi（2018）の先行研究を一般化し、下界を関数クラスのサイズに依存する形に拡張した。
• 不完全な正しさやセキュリティは、Nayakの境界の一般化版を用いることで扱える。これにより、機能性と効率性の核心的なトレードオフが保たれる。