Write, autoreview, editor, reviewer
3,129
edits
Line 67: | Line 67: | ||
####If QSWAP TEST= '''False''', Buyer '''aborts''' | ####If QSWAP TEST= '''False''', Buyer '''aborts''' | ||
####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 | ####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)\rangle^{v}=|f(k_m^i)\rangle | ####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)\rangle^{b},|f(k_m^i)\rangle^{v})</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 |