Prepare and Measure Quantum Digital Signature: Difference between revisions

Jump to navigation Jump to search
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>_Rk^j</math>)  
   Sender.receive(j,esign<math>_{Rk}^j</math>)  
   Sender.replace(esign<math>_Sk^j</math>,esign<math>_Rk^j</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>_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</br>
  // '||' implies that the functions are processed in parallel</br>
Write, autoreview, editor, reviewer
3,129

edits

Navigation menu