Write, autoreview, editor, reviewer
3,125
edits
Gottesman and Chuang Quantum Digital Signature: Difference between revisions
Gottesman and Chuang Quantum Digital Signature (edit)
Revision as of 20:26, 3 June 2019
, 3 June 2019→Pseudocode
| Line 65: | Line 65: | ||
####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> | ###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 | ||
###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 | ####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 | ||
###If QSWAP TEST= '''True''', distribution successful | ####If QSWAP TEST= '''True''', distribution successful | ||
<u>'''Stage 2'''</u> Messaging | <u>'''Stage 2'''</u> Messaging | ||