Wiesner量子货币的严格安全证明？
斯蒂芬·维斯纳（Stephen Wiesner）在其著名的论文“共轭编码”（1970年左右）中提出了一种量子货币方案，该方案无条件地不可伪造，前提是发卡银行可以使用巨大的随机数表，并且可以携带钞票回到银行进行验证。在Wiesner的方案中，每张钞票由一个经典的“序列号”以及一个由量子比特组成的量子货币状态组成，每个量子比特| ψ 小号 ⟩sss|ψs⟩|ψs⟩|\psi_s\ranglennn |0⟩, |1⟩, |+⟩=(|0⟩+|1⟩)/2–√, or |−⟩=(|0⟩−|1⟩)/2–√.|0⟩, |1⟩, |+⟩=(|0⟩+|1⟩)/2, or |−⟩=(|0⟩−|1⟩)/2.|0\rangle,\ |1\rangle,\ |+\rangle=(|0\rangle+|1\rangle)/\sqrt{2},\ \text{or}\ |-\rangle=(|0\rangle-|1\rangle)/\sqrt{2}. 该银行还记得的经典描述每一个。因此，当将带回银行进行验证时，银行可以以正确的基础测量每个量子位（或），并检查其是否获得正确的结果。小号| ψ 小号 ⟩ | ψ 小号 ⟩ { | 0 ⟩ ，| 1 ⟩ } | + ⟩ ，| - ⟩|ψs⟩|ψs⟩|\psi_s\ranglesss|ψs⟩|ψs⟩|\psi_s\rangle|ψs⟩|ψs⟩|\psi_s\rangle{|0⟩,|1⟩}{|0⟩,|1⟩}\{|0\rangle,|1\rangle\}|+⟩,|−⟩|+⟩,|−⟩{|+\rangle,|-\rangle} 另一方面，由于不确定性关系（或者说，无克隆定理），如果不知道正确碱基的伪造者试图复制，那么“直观上就很明显”。对于某些常数，造假者的两个输出状态均通过银行的验证测试的概率最多为。此外，无论伪造者采用哪种策略，都应采用与量子力学一致的策略（例如，即使伪造者在上使用奇特的纠缠测量），也应如此。ç Ñ ç < 1 | ψ 小号 ⟩|ψs⟩|ψs⟩|\psi_s\ranglecncnc^nc<1c<1c<1|ψs⟩|ψs⟩|\psi_s\rangle 但是，在撰写有关其他量子货币方案的论文时，我和我的合著者意识到我们从未在任何地方看到上述要求的严格证据，或者在没有明确的上限：无论是在Wiesner的原始论文还是以后的任何论文中， …