[論文レビュー] On the Power of Two-Party Quantum Cryptography

Louis Salvail, Christian Schaffner+1 more|arXiv (Cornell University)|Feb 24, 2009

Quantum Information and Cryptography参考文献 34被引用数 6

ひとこと要約

この論文は、非自明な二当事者量子暗号的プリミティブが、プロトコルの正しさという唯一の仮定のもとでも、悪意ある当事者に情報漏洩を避けられないことを確立している。著者らは、行動を純化する量子正直だが好奇心を持つ攻撃者（QHBC）をモデル化し、漏洩の尺度を定義し、非自明なプリミティブのすべてのプロトコルが漏洩を伴うことを証明している。特に、オーバーサイド・トランスファーのような普遍的プリミティブについて、明示的な下界が導出されている。

ABSTRACT

We study quantum protocols among two distrustful parties. Under the sole assumption of correctness - guaranteeing that honest players obtain their correct outcomes - we show that every protocol implementing a non-trivial primitive necessarily leaks information to a dishonest player. This extends known impossibility results to all non-trivial primitives. We provide a framework for quantifying this leakage and argue that leakage is a good measure for the privacy provided to the players by a given protocol. Our framework also covers the case where the two players are helped by a trusted third party. We show that despite the help of a trusted third party, the players cannot amplify the cryptographic power of any primitive. All our results hold even against quantum honest-but-curious adversaries who honestly follow the protocol but purify their actions and apply a different measurement at the end of the protocol. As concrete examples, we establish lower bounds on the leakage of standard universal two-party primitives such as oblivious transfer.

研究の動機と目的

• 正しさの仮定のみに基づく二当事者量子プロトコルの暗号的パワーを調査すること。
• 特に正直だが好奇心を持つ量子攻撃者のもとでの、量子二当事者プロトコルにおける情報漏洩の形式的かつ定量的評価をすること。
• 非自明な二当事者プリミティブは、信頼できる第三者が存在しても、漏洩なしに実装できないことを示すこと。
• オーバーサイド・トランスファーのような標準的プリミティブにおける漏洩の下界を確立すること。
• 漏洩に基づく、プライバシーとセキュリティの評価フレームワークを構築すること。

提案手法

• 著者らは、結合確率分布 PX,Y の量子埋め込みを、計算基底で測定した際に PX,Y を再現する純粋状態 |ψ⟩∈HAA′⊗HBB′ として定義する。
• 測定後の正直当事者のレジスタの縮約密度行列のヴォイェン・ネウマンエントロピーに基づく漏洩尺度を導入する。
• フレームワークは、プロトコル全体を通じて行動を純化する量子正直だが好奇心を持つ（QHBC）攻撃者を仮定し、結合状態の純粋性を保つ。
• スミット分解と、エントロピー不等式を含む量子情報理論的ツールを用いて、漏洩の下界を導出する。
• 標準的埋め込み（例：|ψ0⟩=∑y|ϕy⟩|y⟩）と最適埋め込みを区別し、標準的埋め込みが常に漏洩を最小化するわけではないことを示す。
• 信頼できる第三者が関与するプロトコルへの拡張も行われ、このような支援は暗号的パワーを拡張できないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 正しさの仮定のみのもとで、非自明な二当事者量子プリミティブは情報漏洩なしに実装可能か？
• RQ2 与えられた二当事者プリミティブにおける最小漏洩量は何か。また、そのプリミティブの構造とどのように関係するか？
• RQ3 プリミティブの標準的量子埋め込みが常に漏洩を最小化するのか。それともより良い埋め込みが存在するのか？
• RQ4 信頼できる第三者が、量子二当事者プロトコルにおける漏洩を排除または低減できるか？
• RQ5 プロトコルの漏洩が、非自明なプリミティブの性質、特に自明なプリミティブからの距離の観点から、どのように関係するか？

主な発見

• 非自明な二当事者量子プリミティブは、正しさの仮定のみのもとでも、悪意ある当事者に情報漏洩を避けられない。
• 1-2-OT（1-out-of-2 oblivious transfer）について、誤差確率 p < sin²(π/8) ≈ 0.15 の場合に、正の値をとる漏洩の下界を確立している。
• 標準的埋め込みが常に漏洩を最小化するわけではない。状態ペアの区別可能性が高くなるとエントロピーが上昇し、結果として漏洩が減少する反例が示されている。
• プリミティブ PX,Y を実装するプロトコルの漏洩は、埋め込みにおける状態の区別可能性の関数で下界づけられ、その下界はスミット係数に依存する。
• 信頼できる第三者が「より簡単な」プリミティブを提供しても、いかなる量子プロトコルにおいても「より難しい」プリミティブを実装する際には情報漏洩が避けられず、漏洩は除去できない。
• フレームワークにより、量子二当事者プロトコルにおけるプライバシー侵害が、測定可能な漏洩として本質的に現れることを示しており、漏洩が根本的なセキュリティ指標であることが明らかになった。