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:00, 21 March 2019
, 21 March 2019→Pseudo Code 2
| Line 135: | Line 135: | ||
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>'''\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> | '''For''' h=1,<math>L/2</math> | ||
Sender.receive(j, | Sender.receive(j,esign<math>_Rk^j</math>) | ||
Sender.replace( | 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, | '''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 | ||