Wiesner Quantum Money: Difference between revisions

From Quantum Protocol Zoo
Jump to navigation Jump to search
Line 36: Line 36:
* The success probability of the adversary in guessing the state of the target quantum money is <math>(3/4)^n</math>
* The success probability of the adversary in guessing the state of the target quantum money is <math>(3/4)^n</math>


==Pseudocode==
==Protocol Description==
'''Input''': ​Product state of <math>N</math> qubit and a serial number</br>
'''Input''': ​Product state of <math>N</math> qubit and a serial number</br>
'''Output''': ​approved/rejected </br>
'''Output''': ​approved/rejected </br>
Line 45: Line 45:
# The Mint looks for the serial number and the corresponding measurement basis in its database. Thus, each qubit is measured in the right basis,<math>\{|0\rangle,|1\rangle\}</math> or <math>\{|+\rangle,|-\rangle\}</math>.
# The Mint looks for the serial number and the corresponding measurement basis in its database. Thus, each qubit is measured in the right basis,<math>\{|0\rangle,|1\rangle\}</math> or <math>\{|+\rangle,|-\rangle\}</math>.
# The Mint outputs 1 if the result of the measurement corresponds with the data stored in its database, otherwise it returns 0.
# The Mint outputs 1 if the result of the measurement corresponds with the data stored in its database, otherwise it returns 0.
==References==
==References==
http://users.cms.caltech.edu/~vidick/teaching/120_qcrypto/wiesner.pdf
http://users.cms.caltech.edu/~vidick/teaching/120_qcrypto/wiesner.pdf
<div style='text-align: right;'>''contributed by Gözde Üstün''</div>
<div style='text-align: right;'>''contributed by Gözde Üstün''</div>

Revision as of 11:19, 12 July 2019

The classical money scheme involves the Bank distributing notes to untrusted users. Each note has a unique serial number attached to it and this number provides a basis for the verification of the note when the user wants to use it for a transaction. However, in the classical world, nothing prevents a user with sufficient resources to be able to forge the note and create more notes than what he originally had in possession. In the 1980s, Wiesner proposed the idea of quantum money to create unforgeable bank notes. The unforgeability of the note relied on the no-cloning property of quantum mechanics. In this example protocol, the banknotes are several BB84 states prepared by the Bank, who then distributes them to the untrusted users. When the user needs to carry out a transaction with his note, he sends it to the Bank for verification, who then authenticates the validity of the note. Based on the no-cloning property of quantum mechanics, Wiesner showed information-theoretic security against a forger of bank notes.

Tags: Multi Party Protocols, non-local games, Quantum Enhanced Classical Functionality, Specific Task

Assumptions

  • The quantum money state which is a two-state system must be isolated from the rest of universe, roughly.
  • When Wiesner wrote his thesis, there was no device operating in which the phase coherence of a two-state system was preserved for longer than about a second.

Outline

Let the money have isolated systems .

  • The Mint creates two random binary sequences of digits where . Then, two-state systems are placed in one of four states .
  1. Bank prepares a pair of orthonormal base states for each state system. Then the two-state system is located in one of four states
  2. The bank records all polarizations and their serial numbers. On the banknote/quantum money the serial number is plain, while polarizations are kept hidden.
  3. If the money is returned to the Mint, it checks whether each isolated system is still in its initial state or not.

Note that since no one except the Mint knows and , even if someone copies the money, he cannot recover the polarization.

Notation

  • = Isolated system
  • = Random binary sequences
  • = States

Requirements

  • Network stage: quantum memory network


Properties

  • The scheme requires a central bank for verifying the money
  • Pairs of conjugate variables has the same relation with Heisenberg uncertainty principle
  • The success probability of the adversary in guessing the state of the target quantum money is

Protocol Description

Input: ​Product state of qubit and a serial number
Output: ​approved/rejected
Stage 1: Preparation

  1. The Mint generate a quantum money composed of two component where is the serial number of the banknote and is a product state of qubits. Each qubit is randomly chosen from the set
  2. Serial numbers and their states are recorded and kept at the Mint

Stage 2: Verification

  1. The Mint looks for the serial number and the corresponding measurement basis in its database. Thus, each qubit is measured in the right basis, or .
  2. The Mint outputs 1 if the result of the measurement corresponds with the data stored in its database, otherwise it returns 0.

References

http://users.cms.caltech.edu/~vidick/teaching/120_qcrypto/wiesner.pdf

contributed by Gözde Üstün