Write, autoreview, editor, reviewer
3,125
edits
Prepare and Measure Quantum Digital Signature: Difference between revisions
Prepare and Measure Quantum Digital Signature (edit)
Revision as of 17:01, 21 March 2019
, 21 March 2019→Pseudo Code 2
| Line 131: | Line 131: | ||
'''for''' k=0 to <math>2^n</math> | '''for''' k=0 to <math>2^n</math> | ||
esign<math>_{Vk}</math>= Verifier.'''state_elimination'''(<math>|\psi_{Vk}\rangle</math>,L) | esign<math>_{Vk}</math>= Verifier.'''state_elimination'''(<math>|\psi_{Vk}\rangle</math>,L) | ||
'''end for''' | '''end for'''</br> | ||
'''function''' symmetrization(k,Sender,esign_Sk,Receiver,esign_Rk) | '''function''' symmetrization(k,Sender,esign_Sk,Receiver,esign_Rk) | ||
Sender.choose I<math>\subset_R\{1,2,...,L\}, |I|=[L/2]</math> | Sender.choose I<math>\subset_R\{1,2,...,L\}, |I|=[L/2]</math> | ||
<math> | <math>\forall i\epsilon I</math>, Sender<math>\xrightarrow[]{(k,i,b^k_i,B^k_i)}</math>Receiver | ||
'''For''' h=1,<math>L/2</math> | '''For''' h=1,<math>L/2</math> | ||
Sender.receive(j,esign<math>_Rk^j</math>) | Sender.receive(j,esign<math>_Rk^j</math>) | ||
| Line 143: | Line 143: | ||
'''Call''' SYM(k,Buyer,esign<math>_Bk</math>,Verifier,esign<math>_Vk</math>)||SYM(0,Verifier,esign<math>_Vk</math>,Buyer,esign<math>_Bk</math>) | '''Call''' SYM(k,Buyer,esign<math>_Bk</math>,Verifier,esign<math>_Vk</math>)||SYM(0,Verifier,esign<math>_Vk</math>,Buyer,esign<math>_Bk</math>) | ||
'''end function''' symmetrisation | '''end function''' symmetrisation | ||
// '||' implies that the functions are processed in parallel | // '||' implies that the functions are processed in parallel</br> | ||
==Discussion== | ==Discussion== | ||