Write, autoreview, editor, reviewer
3,129
edits
Line 44: | Line 44: | ||
##For l = 1,2,...,L | ##For l = 1,2,...,L | ||
### Buyer chooses <math>b^k_l \epsilon_R {0,1}</math> | ### Buyer chooses <math>b^k_l \epsilon_R {0,1}</math> | ||
###If <math>b^k_l=0</math>, Buyer measures his qubit in X basis | ###If <math>b^k_l=0</math>, Buyer measures his qubit in X basis <math>\{|+\rangle,|-\rangle\}</math> | ||
###If <math>b^k_l=0</math>, Buyer measures his qubit in Z basis | ###If <math>b^k_l=0</math>, Buyer measures his qubit in Z basis <math>\{|0\rangle,|1\rangle\}</math> | ||
###'''return''' <math>m_{b^k_l}</math> | ###'''return''' <math>m_{b^k_l}</math> | ||
**Verifier repeats steps 2(a)-2(b) with randomly chosen basis <math>c^k_l</math> to get his eliminated signature elements <math>C^k_l</math> | **Verifier repeats steps 2(a)-2(b) with randomly chosen basis <math>c^k_l</math> to get his eliminated signature elements <math>C^k_l</math> |