Write, autoreview, editor, reviewer
3,129
edits
Arbitrated Quantum Digital Signature: Difference between revisions
→Pseudocode
| Line 136: | Line 136: | ||
## Buyer generates <math> |F\rangle' = |F(t||m||Q||t s)\rangle</math></div> | ## Buyer generates <math> |F\rangle' = |F(t||m||Q||t s)\rangle</math></div> | ||
## Buyer receives <math>(ts, |F\rangle)</math> from PKG. | ## Buyer receives <math>(ts, |F\rangle)</math> from PKG. | ||
## Buyer performs SWAP test: '''QSWAP'''(|F\rangle,|F\rangle') | ## Buyer performs SWAP test: '''QSWAP'''($|F\rangle,|F\rangle'$) | ||
##If '''QSWAP'''=true, '''then''' w'=w'+1 | ##If '''QSWAP'''=true, '''then''' w'=w'+1 | ||
# If <math>w'>w_0</math> buyer '''accepts''' | # If <math>w'>w_0</math> buyer '''accepts''' | ||