Write, autoreview, editor, reviewer
3,129
edits
Arbitrated Quantum Digital Signature: Difference between revisions
Jump to navigation
Jump to search
→Pseudocode
| Line 101: | Line 101: | ||
# Seller randomly chooses <math>s</math> and <math>t</math>. | # Seller randomly chooses <math>s</math> and <math>t</math>. | ||
# <math>\forall l</math> Seller operates <math>Y^{m_l}H^{s_l}U_{\frac{\pi}{4}}H^{t_l\oplus m_l}|0\rangle=|\phi\rangle_{s_l,t_l\oplus m_l, m_l}</math> | # <math>\forall l\epsilon\{1,..,n\}</math>, Seller operates <math>Y^{m_l}H^{s_l}U_{\frac{\pi}{4}}H^{t_l\oplus m_l}|0\rangle=|\phi\rangle_{s_l,t_l\oplus m_l, m_l}</math> | ||
#<math>\forall l</math> Seller generates <math> |S\rangle_{{k_{pri}}_l,m_l} = H^{k_{pub_l}\oplus k_{pri_l}}|\phi\rangle_{s_l,t_l\oplus m_l, m_l}</math> | #<math>\forall l\epsilon\{1,..,n\}</math>, Seller generates <math> |S\rangle_{{k_{pri}}_l,m_l} = H^{k_{pub_l}\oplus k_{pri_l}}|\phi\rangle_{s_l,t_l\oplus m_l, m_l}</math> | ||
#<math>\forall l</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 B_l \epsilon_R\{+,\times\} | ||