Write, autoreview, editor, reviewer
3,129
edits
Gottesman and Chuang Quantum Digital Signature: Difference between revisions
Gottesman and Chuang Quantum Digital Signature (edit)
Revision as of 16:05, 3 June 2019
, 3 June 2019→Pseudocode
No edit summary |
|||
| Line 62: | Line 62: | ||
###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)^j\rangle</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)^1\rangle, |f(k_m^i)^2\rangle</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)^{b}\rangle=|f(k_m^i)^2\rangle=|f(k_m^i)^1\rangle</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)^{v}\rangle=|f(k_m^i)^2\rangle=|f(k_m^i)^1\rangle</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)^{b}\rangle,|f(k_m^i)^{v}\rangle</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 | ||