Gottesman and Chuang Quantum Digital Signature: Difference between revisions

Line 60: Line 60:
###For j=1,2
###For j=1,2
####Seller sends <math>f_{k_m^i}^j</math> to buyer and verifier
####Seller sends <math>f_{k_m^i}^j</math> to buyer and verifier
####Buyer performs '''SWAP1'''<math>(f_{k_m^i}^1, f_{k_m^i}^2)</math>
####Buyer performs '''SWAP'''<math>(f_{k_m^i}^1, f_{k_m^i}^2)</math>
####If SWAP1= '''False''', Buyer '''aborts'''
####If SWAP= '''False''', Buyer '''aborts'''
####If SWAP1= '''True''', Buyer sends <math>f_{k_m^i}^{b}=f_{k_m^i}^2=f_{k_m^i}^1</math> to verifier
####If SWAP= '''True''', Buyer sends <math>f_{k_m^i}^{b}=f_{k_m^i}^2=f_{k_m^i}^1</math> to verifier
####Verifier performs similar steps and sends <math>f_{k_m^i}^{v}=f_{k_m^i}^2=f_{k_m^i}^1</math> to buyer
####Verifier performs similar steps and sends <math>f_{k_m^i}^{v}=f_{k_m^i}^2=f_{k_m^i}^1</math> to buyer
####Both perform '''SWAP2'''<math>(f_{k_m^i}^{b},f_{k_m^i}^{v})</math>  
####Both perform '''SWAP'''<math>(f_{k_m^i}^{b},f_{k_m^i}^{v})</math>  
####If SWAP2= '''False''', protocol aborted
####If SWAP= '''False''', protocol aborted
####If SWAP2= '''True''', distribution successful
####If SWAP= '''True''', distribution successful


<u>'''Stage 2'''</u> Messaging
<u>'''Stage 2'''</u> Messaging
Write, autoreview, editor, reviewer
3,129

edits