Write, autoreview, editor, reviewer
3,129
edits
Line 37: | Line 37: | ||
==Pseudocode== | ==Pseudocode== | ||
'''Input:''' Bank <math>\text{n*r | '''Input:''' Bank (<math>\text{n*r}</math> qubit pairs), where, 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 | # Bank prepares Token<math>_S</math> with <math>n*r</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). |