Write, autoreview, editor, reviewer
3,129
edits
Arbitrated Quantum Digital Signature: Difference between revisions
→Pseudocode
| Line 110: | Line 110: | ||
##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> | ###'''If''' <math>b_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> | ###'''If''' <math>b_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 126: | Line 126: | ||
# Buyer operates: <math>Y^mH^{k_{pub}}|S\rangle_{k_{pri}, m}=|V\rangle_{m, k_{pub},S}</math>. | # Buyer operates: <math>Y^mH^{k_{pub}}|S\rangle_{k_{pri}, m}=|V\rangle_{m, k_{pub},S}</math>. | ||
#For <math>l = 1, 2, ... w</math>: | #For <math>l = 1, 2, ... w</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}})= | ##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}})=b_l</math> | ||
##'''If''' <math>B_l = +</math> '''then''' | ##'''If''' <math>B_l = +</math> '''then''' | ||
###'''If''' <math> | ###'''If''' <math>b_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=1</math> '''then''' <math>Q_l=10</math> '''else''' <math>Q_l=11</math> | ###'''If''' <math>m_l=1</math> '''then''' <math>Q_l=10</math> '''else''' <math>Q_l=11</math> | ||