Gottesman and Chuang Quantum Digital Signature: Difference between revisions

No edit summary
Line 61: Line 61:
##For i=0,M
##For i=0,M
###For j=1,2
###For j=1,2
####Seller sends <math>|f(k_m^i)^j\rangle</math> to buyer and verifier
####Seller sends <math>|f(k_m^i)\rangle^j</math> to buyer and verifier
####Buyer performs '''QSWAP TEST'''<math>|f(k_m^i)^1\rangle, |f(k_m^i)^2\rangle</math>
####Buyer performs '''QSWAP TEST'''<math>|f(k_m^i)\rangle^1, |f(k_m^i)\rangle^2</math>
####If QSWAP TEST= '''False''', Buyer '''aborts'''
####If QSWAP TEST= '''False''', Buyer '''aborts'''
####If QSWAP TEST= '''True''', Buyer sends <math>|f(k_m^i)^{b}\rangle=|f(k_m^i)^2\rangle=|f(k_m^i)^1\rangle</math> to verifier
####If QSWAP TEST= '''True''', Buyer sends <math>|f(k_m^i)\rangle^{b}=|f(k_m^i)\rangle^2=|f(k_m^i)\rangle^1</math> to verifier
####Verifier performs similar steps and sends <math>|f(k_m^i)^{v}\rangle=|f(k_m^i)^2\rangle=|f(k_m^i)^1\rangle</math> to buyer
####Verifier performs similar steps and sends <math>|f(k_m^i)\rangle^{v}=|f(k_m^i)\rangle=^2|f(k_m^i)\rangle^1</math> to buyer
####Both perform '''QSWAP TEST'''<math>(|f(k_m^i)^{b}\rangle,|f(k_m^i)^{v}\rangle</math>  
####Both perform '''QSWAP TEST'''<math>(|f(k_m^i)\rangle^{b},|f(k_m^i)\rangle^{v})</math>  
####If QSWAP TEST= '''False''', protocol aborted
####If QSWAP TEST= '''False''', protocol aborted
####If QSWAP TEST= '''True''', distribution successful
####If QSWAP TEST= '''True''', distribution successful
Write, autoreview, editor, reviewer
3,125

edits