Write, autoreview, editor, reviewer
3,129
edits
Line 123: | Line 123: | ||
'''Input:''' Buyer (Signature <math>(ts, m, B, |S\rangle_{k_{pri}, m})</math>, public key <math>(k_{pub})</math>)</br> | '''Input:''' Buyer (Signature <math>(ts, m, B, |S\rangle_{k_{pri}, m})</math>, public key <math>(k_{pub})</math>)</br> | ||
'''Output''': Buyer accepts or rejects the signature | '''Output''': Buyer accepts or rejects the signature | ||
# 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>: | |||
##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>m_l=0</math> '''then''' <math>Q_l=00</math> '''else''' <math>Q_l=01</math> | |||
##'''If''' <math>B_l = \times</math> '''then''' | |||
###'''If''' <math>m_l=0</math> '''then''' <math>Q_l=10</math> '''else''' <math>Q_l=11</math> | |||
# Buyer obtains <math>t=g(Q)</math> | |||
# Buyer receives <math>(ts, \otimes^{w}_{l=1} |F\rangle)</math> from PKG. | |||
# For <math>k = 1, 2, ... w'</math>: | |||
## Buyer generates <math> |F\rangle' = |F(t||m||Q||t s)\rangle</math></div> | |||
## Buyer receives <math>(ts, |F\rangle)</math> from PKG. | |||
## Buyer performs SWAP test: '''QSWAP'''(|F\rangle,|F\rangle') | |||
##If '''QSWAP'''=true, '''then''' w'=w'+1 | |||
# If <math>w'>w_0</math> buyer '''accepts''' | |||
#'''Else''' buyer '''rejects''' | |||
==Further Information== | ==Further Information== |