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 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> | ||
== | ==Pseudocode== | ||
'''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== |