Write, autoreview, editor, reviewer
3,129
edits
Arbitrated Quantum Digital Signature: Difference between revisions
→Pseudocode
| Line 105: | Line 105: | ||
#<math>\forall l\epsilon\{1,..,n\}</math>, Seller generates <math>|P\rangle_l = H^{k_{pri_l}} |\phi\rangle_{s_l, t_l\oplus m_l}</math></div> | #<math>\forall l\epsilon\{1,..,n\}</math>, Seller generates <math>|P\rangle_l = H^{k_{pri_l}} |\phi\rangle_{s_l, t_l\oplus m_l}</math></div> | ||
#For <math>l = 1, 2, ...n</math>: | #For <math>l = 1, 2, ...n</math>: | ||
##Seller chooses B_l \epsilon_R\{+,\times\} | ##Seller chooses <math>B_l \epsilon_R\{+,\times\}</math> | ||
##Seller measures in basis B_l: <math>B_l(|P\rangle_l)=m_l</math> | ##Seller measures in basis B_l: <math>B_l(|P\rangle_l)=m_l</math> | ||
##'''If''' <math>B_l = +</math> '''then''' | ##'''If''' <math>B_l = +</math> '''then''' | ||