Editing Quantum Token
Jump to navigation
Jump to search
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
| Latest revision | Your text | ||
| Line 1: | Line 1: | ||
Money is issued by one party (bank) to a prover (client) such that when he presents it to a verifier | Money is issued by one party (bank) to a prover (client) such that when he presents it to a verifier | ||
(merchant), he/she is satisfied that the money presented by client comes from the bank. It comes | (merchant), he/she is satisfied that the money presented by client comes from the bank. It comes | ||
with the property of [[unforgeability]] and [[ | with the property of [[unforgeability]] and [[transferrability]]. Unforgeability means that there should exist | ||
no method to produce an identical copy by anyone but the bank, and | no method to produce an identical copy by anyone but the bank, and transferrability, allows that this | ||
money can be used by the verifier as a client himself in the next round.</br> | money can be used by the verifier as a client himself in the next round.</br> | ||
| Line 13: | Line 13: | ||
==Assumptions== | ==Assumptions== | ||
* Money is physically transferred to the holders | * Money is physically transferred to the holders | ||
* If <math>F^{cv}_{tol} > (1+1/\sqrt{2})/2</math>, a dishonest user is exponentially unlikely to be authenticated by two independent verifiers (success in cheating to use | * If <math>F^{cv}_{tol} > (1+1/\sqrt{2})/2</math> , a dishonest user is exponentially unlikely to be authenticated by two independent verifiers (success in cheating to use same ticket for two independent verifiers by measuring in intermediate basis between the two bases, asked by the verifiers individually). | ||
==Outline== | ==Outline== | ||
The protocol can be divided into three parts | The protocol can be divided into three parts | ||
* '''Preparation''' Bank prepares few rows of qubit-pairs chosen from two different non-orthogonal sets of basis. Each pair has at least one state from both bases, such that the qubit pair states are non-orthogonal. It associates each such chosen set with a serial number and shares the classical information about the choices for respective serial number with trusted merchants. | * '''Preparation''' Bank prepares few rows of qubit-pairs chosen from two different non-orthogonal sets of basis. Each pair has at least one state from both bases, such that the qubit pair states are non-orthogonal. It associates each such chosen set with a serial number and shares the classical information about the choices for respective serial number with trusted merchants. | ||
* '''Interaction''' This step involves challenge questions by | * '''Interaction''' This step involves challenge questions by verifier to prove that he has a valid token, by playing part of a [[non-local game]]. In this game, the merchant asks client to measure in one of the two bases in from which the qubit pairs were chosen. As each qubit pair contains at least one state from each basis chosen, after the measurement one of the qubits (encoded in the basis chosen by the merchant) would give the correct result. | ||
* '''Transaction''' The merchant compares this qubit outcome whose encoding basis matches with merchant's basis for the game. | * '''Transaction''' The merchant compares this qubit outcome whose encoding basis matches with merchant's basis for the game. Merchant accepts the ticket if the ratio of number of valid outcomes to total number of qubits measured is more than or equal to a certain threshold fidelity value. | ||
==Notation== | ==Notation== | ||
| Line 28: | Line 28: | ||
==Requirements== | ==Requirements== | ||
*Network stage: [[:Category: Quantum Memory Network Stage|quantum memory network]][[Category:Quantum Memory Network Stage]]. | *Network stage: [[:Category: Quantum Memory Network Stage|quantum memory network]][[Category:Quantum Memory Network Stage]]. | ||
==Properties== | ==Properties== | ||
| Line 40: | Line 36: | ||
* An honest user is exponentially likely to succeed with probability at least, <math>p^{cv}_h = e^{ND}(F^{exp}||F^{cv}_{tol})</math> | * An honest user is exponentially likely to succeed with probability at least, <math>p^{cv}_h = e^{ND}(F^{exp}||F^{cv}_{tol})</math> | ||
== | ==Pseudo-Code== | ||
'''Input:''' Bank | '''Input:''' (Bank) <math>n*r*2</math>, Qubit-pairs <math>\epsilon_R\{(0,+),(0,-),(1,+),(1,-),(+,0),(-,0),(+,1),(-,1)\}</math> </br> | ||
'''Output:''' (Merchant) accept or reject</br> | '''Output:''' (Merchant) accept or reject</br> | ||
<u>'''Stage 1'''</u> Preparation </br> | <u>'''Stage 1'''</u> Preparation </br> | ||
# Bank prepares Token<math>_S</math> with <math>n*r</math> qubit pairs | # Bank prepares Token<math>_S</math> with <math>n*r*2</math> qubit pairs | ||
# Bank distributes tickets to clients | # Bank distributes tickets to clients | ||
# Bank distributes the classical record of states corresponding to S to trusted verifiers (merchants) | # Bank distributes the classical record of states corresponding to S to trusted | ||
verifiers (merchants) | |||
<u>'''Stage 2'''</u> Interaction </br> | <u>'''Stage 2'''</u> Interaction </br> | ||
# Merchant asks client to measure a few qubit-pairs(say, a row) in a randomly chosen basis M | # Merchant asks client to measure a few qubit-pairs(say, a row) in a randomly chosen basis M \epsilon_R \{X,Z\} | ||
# Client returns measurement outcome (m) for all qubit pairs asked to measure | # Client returns measurement outcome (m) for all qubit pairs asked to measure | ||
<u>'''Stage 3'''</u> Transaction </br> | <u>'''Stage 3'''</u> Transaction </br> | ||
# Merchant compares the number of qubit pairs with the valid outcome for the qubit which was generated in M basis as k. | # Merchant compares the number of qubit pairs with the valid outcome for the qubit which was | ||
generated in M basis as k. | |||
# Merchant accepts if <math>k/(r*2)>F^{cv}_{tol}</math> else he rejects | # Merchant accepts if <math>k/(r*2)>F^{cv}_{tol}</math> else he rejects | ||
==Further Information== | ==Further Information== | ||