Write, autoreview, editor, reviewer
3,125
edits
Arbitrated Quantum Digital Signature: Difference between revisions
Jump to navigation
Jump to search
→Pseudocode
| Line 109: | Line 109: | ||
##Seller measures in basis B_l: <math>B_l(|P_l\rangle)=m_l</math> | ##Seller measures in basis B_l: <math>B_l(|P_l\rangle)=m_l</math> | ||
##'''If''' <math>B_l = +</math> '''then''' | ##'''If''' <math>B_l = +</math> '''then''' | ||
###'''If''' <math>m_l= | ###'''If''' <math>m_l=1</math> '''then''' <math>P_l=00</math> '''else''' <math>P_l=01</math> | ||
##'''If''' <math>B_l = \times</math> '''then''' | ##'''If''' <math>B_l = \times</math> '''then''' | ||
###'''If''' <math>m_l= | ###'''If''' <math>m_l=1</math> '''then''' <math>P_l=10</math> '''else''' <math>P_l=11</math> | ||
# For <math>k = 1, 2, ...u w</math>: | # For <math>k = 1, 2, ...u w</math>: | ||
## For <math>l = 1, 2, ...n</math>: | ## For <math>l = 1, 2, ...n</math>: | ||
| Line 127: | Line 127: | ||
##Buyer measures <math>|V\rangle_{{(m, k_{pub},S)}_{l}}</math> in basis <math>B_l: B_l(|V_l\rangle_{{(m, k_{pub},S)}_{l}})=m_l</math> | ##Buyer measures <math>|V\rangle_{{(m, k_{pub},S)}_{l}}</math> in basis <math>B_l: B_l(|V_l\rangle_{{(m, k_{pub},S)}_{l}})=m_l</math> | ||
##'''If''' <math>B_l = +</math> '''then''' | ##'''If''' <math>B_l = +</math> '''then''' | ||
###'''If''' <math>m_l= | ###'''If''' <math>m_l=1</math> '''then''' <math>Q_l=00</math> '''else''' <math>Q_l=01</math> | ||
##'''If''' <math>B_l = \times</math> '''then''' | ##'''If''' <math>B_l = \times</math> '''then''' | ||
###'''If''' <math>m_l= | ###'''If''' <math>m_l=1</math> '''then''' <math>Q_l=10</math> '''else''' <math>Q_l=11</math> | ||
# Buyer obtains <math>t=g(Q)</math> | # Buyer obtains <math>t=g(Q)</math> | ||
# Buyer receives <math>(ts, \otimes^{w}_{l=1} |F\rangle)</math> from PKG. | # Buyer receives <math>(ts, \otimes^{w}_{l=1} |F\rangle)</math> from PKG. | ||