Write, autoreview, editor, reviewer
3,125
edits
Gottesman and Chuang Quantum Digital Signature: Difference between revisions
Jump to navigation
Jump to search
Gottesman and Chuang Quantum Digital Signature (edit)
Revision as of 17:04, 3 June 2019
, 3 June 2019→Pseudocode
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 | ####Seller sends <math>|f(k_m^i)\rangle^j</math> to buyer and verifier | ||
####Buyer performs '''QSWAP TEST'''<math>|f(k_m^i)^1 | ####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} | ####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} | ####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} | ####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 | ||
| Line 79: | Line 79: | ||
# For l = 1,2,..,L | # For l = 1,2,..,L | ||
## Buyer performs <math>k_b^i\rightarrow f_{new}</math> | ## Buyer performs <math>k_b^i\rightarrow f_{new}</math> | ||
## Buyer performs '''QSWAP TEST'''<math>(f_{new}, | ## Buyer performs '''QSWAP TEST'''<math>(f_{new},f(k_b^i))</math> | ||
## If QSWAP TEST= False, <math>s_B=s_B+1</math> | ## If QSWAP TEST= False, <math>s_B=s_B+1</math> | ||
#If <math>s_B<c_1M</math>, result '''1-ACC''' | #If <math>s_B<c_1M</math>, result '''1-ACC''' | ||