Write, autoreview, editor, reviewer
3,129
edits
Line 64: | Line 64: | ||
###For j=1,2 | ###For j=1,2 | ||
####Seller sends <math>|f(k_m^i)\rangle^j</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)\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)\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 |