Write, autoreview, editor, reviewer
3,129
edits
Line 137: | Line 137: | ||
## Buyer receives <math>(ts, |F\rangle)</math> from PKG. | ## Buyer receives <math>(ts, |F\rangle)</math> from PKG. | ||
## Buyer performs SWAP test: '''QSWAP'''(<math>|F\rangle,|F\rangle'</math>) | ## Buyer performs SWAP test: '''QSWAP'''(<math>|F\rangle,|F\rangle'</math>) | ||
##If '''QSWAP'''=true, '''then''' w'=w'+1 | ##If '''QSWAP'''=true, '''then''' <math>w'=w'+1</math> | ||
# If <math>w'>w_0</math> buyer '''accepts''' | # If <math>w'>w_0</math> buyer '''accepts''' | ||
#'''Else''' buyer '''rejects''' | #'''Else''' buyer '''rejects''' |