[论文解读] The physics of no-bit-commitment : Generalized quantum non-locality versus oblivious transfer

Tony Short, Nicolas Gisin+1 more|ArXiv.org|Apr 18, 2005

Quantum and electron transport phenomena被引用 5

一句话总结

本文通过证明尽管PR-box（比量子非局域相关更强的非局域相关）能够模拟无条件传输，但由于输入缺乏时间顺序约束，无法实现安全的位承诺。与无条件传输不同，PR-box允许爱丽丝将她的测量延迟到揭示阶段，从而违反绑定条件并破坏安全性，因此表明仅非信号性不足以实现位承诺——输入的时间顺序至关重要。

ABSTRACT

We show here that the recent work of Wolf and Wullschleger (quant-ph/0502030) on oblivious transfer apparently opens the possibility that non-local correlations which are stronger than those in quantum mechanics could be used for bit-commitment. This is surprising, because it is the very existence of non-local correlations which in quantum mechanics prevents bit-commitment. We resolve this apparent paradox by stressing the difference between non-local correlations and oblivious transfer, based on the time-ordering of their inputs and outputs, which prevents bit-commitment.

研究动机与目标

• 解决一个明显的矛盾：即PR-box（比量子非局域相关更强）本应能实现位承诺，尽管量子力学禁止这一点。
• 阐明尽管PR-box能够模拟无条件传输，为何无法实现安全的位承诺。
• 强调输入时间顺序在区分安全密码原原子与非局域相关中的关键作用。
• 证明即使相关性强于量子相关性，仅非信号性也不足以保证位承诺的安全性。

提出的方法

• 构建一个使用OT-box（无条件传输盒）的位承诺协议，以证明其满足正确性、隐私性和安全绑定。
• 使用PR-box和经典通信模拟OT-box的输出，从而构建一个基于PR-box的类比协议。
• 分析基于PR-box的协议中输入与输出的时间顺序，表明爱丽丝可将她的输入延迟到揭示阶段。
• 证明爱丽丝可通过在承诺阶段后选择她的比特来确保作弊，从而违反绑定条件。
• 利用PR-box是非信号性的且输出与输入顺序无关的事实，证明在承诺阶段无法检测到作弊行为。
• 对比OT-box（鲍勃仅在爱丽丝输入后才能看到输入）与PR-box（输出独立于输入顺序）的动力学特性，突出其结构差异。

实验结果

研究问题

• RQ1 PR-box能够模拟无条件传输，是否可用于实现安全的位承诺？
• RQ2 为何PR-box对OT-box的模拟无法保持位承诺协议的安全性？
• RQ3 输入时间顺序在防止位承诺方案中的作弊行为中起什么作用？
• RQ4 仅非局域性是否足以实现安全的位承诺，还是需要额外约束？
• RQ5 如果输入时间未受约束，任何非信号性非局域相关盒是否都能实现位承诺？

主要发现

• 使用OT-box的协议满足正确性、隐私性和安全绑定，因此是一个安全的位承诺方案。
• 基于PR-box的类比协议无法满足绑定性，因为爱丽丝可将她的测量延迟到揭示阶段，从而确保作弊成功。
• 关键区别在于输入时间顺序：OT-box要求爱丽丝在鲍勃之前输入数据，而PR-box的输出与输入顺序无关。
• 即使并行使用多个PR-box，爱丽丝也能在每个盒子上独立作弊，保持100%的成功率。
• PR-box的非信号性虽然防止了超光速信号，但使爱丽丝能够推迟测量，从而破坏绑定条件。
• 该结果表明，仅非信号性不足以实现位承诺；输入时间顺序的动力学特性对安全性至关重要。