[論文レビュー] Bit Commitment from Non-Local Correlations

Severin Winkler, Stefan Wolf+1 more|arXiv (Cornell University)|Nov 21, 2008

Wireless Communication Security Techniques参考文献 14被引用数 1

ひとこと要約

この論文は、非局所的相関を持つ非自明な二粒子系—具体的には、局所的隠れ変数では再現できない相関を持つ系—が、メッセージ伝送を必要とせず、絶対的に安全なビットコミットメントを実現できることを示している。主な結果は、このような系、たとえば隠れ変数モデルを持たない任意の二量子ビット状態が、メッセージ伝送なしに情報的・理論的に安全なビットコミットメントを実現する基盤を提供することである。

ABSTRACT

Central cryptographic functionalities such as encryption, authentication, or secure two-party computation cannot be realized in an information-theoretically secure way from scratch. This serves as a motivation to study what (possibly weak) primitives they can be based on. We consider as such starting points general two-party input-output systems that do not allow for message transmission, and show that they can be used for realizing unconditionally secure bit commitment as soon as they are non-trivial, i.e., cannot be realized from distributed randomness only. In particular, our result implies that any twoqubit state without hidden-variable model has an input-output behavior allowing for unconditional bit commitment.

研究の動機と目的

• メッセージ伝送のない弱い暗号的プリミティブが、ビットコミットメントのようなより強力なプリミティブの基盤として機能できるかを検証すること。
• 非局所的相関に基づく絶対的に安全なビットコミットメントが可能となる最小限の条件を特定すること。
• 量子系における隠れ変数モデルの不在と、安全なビットコミットメントの実現可能性との関係を確立すること。
• 非自明（分散ランダムネスに還元できない）な任意の二粒子系が、絶対的に安全なビットコミットメントをサポートすることを示すこと。

提案手法

• メッセージ伝送を許可しない一般の二粒子入出力系を分析する。
• 局所的ランダムネスと共有ランダムネスのみで再現できない場合、系を非自明と定義する。
• 非局所的相関（特にベル不等式の破れを示す相関）を主要なリソースとして用いる。
• 装置に依存しない量子暗号の枠組みを適用し、非局所性が安全なビットコミットメントの存在を示すことの根拠を示す。
• 隠れ変数モデルを持たない任意の二量子ビット状態が、このような非局所的相関を生成することを示す。
• 系に非局所的相関が存在することは、絶対的に安全なビットコミットメントを実現するための必要十分条件であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 メッセージ伝送を許可しない二粒子系から、絶対的に安全なビットコミットメントを構築できるか？
• RQ2 装置に依存しない設定下で、絶対的に安全なビットコミットメントを達成するために必要な最小限の物理的リソースは何か？
• RQ3 量子系における隠れ変数モデルの不在は、安全なビットコミットメントの実現可能性とどのように関係するか？
• RQ4 非自明な二粒子系、特に非局所的相関を持つ系は、すべてビットコミットメントを可能にするか？
• RQ5 隠れ変数モデルを持たない任意の二量子ビット状態を用いて、絶対的に安全なビットコミットメントを実装できるか？

主な発見

• 非自明（つまり、局所的隠れ変数や分散ランダムネスでは再現できない）な任意の二粒子入出力系は、絶対的に安全なビットコミットメントの実装に利用可能である。
• ベル不等式の破れによって定義される非局所的相関は、絶対的に安全なビットコミットメントを実現するのに十分である。
• メッセージ伝送が存在しない状況下でもこの結果が成り立つため、非局所性そのものが暗号的プリミティブを提供することが示された。
• 特に、隠れ変数モデルを持たない任意の二量子ビット状態は、絶対的に安全なビットコミットメントをサポートする。
• この論文は、基礎的量子特性（非局所性）と実用的暗号的セキュリティとの間の直接的な関連を確立した。
• この構成は情報的・理論的に安全であり、計算能力が無制限の攻撃者に対しても安全である。