Write, autoreview, editor, reviewer
3,129
edits
Line 98: | Line 98: | ||
'''function''' key generation (L) | '''function''' key generation (L) | ||
'''For l=1 to L | '''For l=1 to L | ||
\beta_k^l=Seller. | <math>\beta_k^l=</math>Seller.choose<math>_R(\{0,1,+,-\})</math> //random classical bits | ||
|\psi\rangle=\bigotimes | Seller.generate(|\beta_k^l\rangle) //a quantum state generation | ||
P_k= | '''end for''' | ||
s_k= | <math>|\psi^k\rangle=\bigotimes^L_{l=1}|\beta^k_l\rangle</math> //quantum string | ||
<math>P_k=|\psi^k\rangle</math> //public key | |||
<math>s_k=\{\beta_k^0,....\beta_k^L\}</math> //secret key | |||
'''return''' (P_k,s_k) | '''return''' (P_k,s_k) | ||
'''end function'' key generation | '''end function''' key generation | ||
Seller.send(Buyer, (k,P_k) | Seller.send(Buyer, (k,P_k) | ||
Seller.send(Verifier (k,P_k) | Seller.send(Verifier (k,P_k) |