Arbitrated Quantum Digital Signature: Difference between revisions

Jump to navigation Jump to search
Line 101: Line 101:


# Seller randomly chooses <math>s</math> and <math>t</math>.
# Seller randomly chooses <math>s</math> and <math>t</math>.
# For <math>l = 1, 2, ...n</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>
## 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>
#For <math>l = 1, 2, ...n</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>
## 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>
#For <math>l = 1, 2, ...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\}
Write, autoreview, editor, reviewer
3,125

edits

Navigation menu