Write, autoreview, editor, reviewer
3,129
edits
Prepare and Measure Quantum Digital Signature: Difference between revisions
Prepare and Measure Quantum Digital Signature (edit)
Revision as of 16:04, 21 March 2019
, 21 March 2019→Pseudo Code 2
| Line 135: | Line 135: | ||
<math>\forall i\epsilon I</math>, Sender<math>\xrightarrow[]{(k,i,b^k_i,B^k_i)}</math>Receiver | <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> | Sender.receive(j,esign<math>_{Rk}^j</math>) | ||
Sender.replace(esign<math> | Sender.replace(esign<math>_{Sk}^j</math>,esign<math>_{Rk}^j</math>) | ||
'''end for''' h | '''end for''' h | ||
'''end function''' SYM | '''end function''' SYM | ||
'''for''' k=0 '''to''' <math>2^n</math> | '''for''' k=0 '''to''' <math>2^n</math> | ||
'''Call''' SYM(k,Buyer,esign<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</br> | // '||' implies that the functions are processed in parallel</br> | ||