Prepare and Measure Quantum Digital Signature: Difference between revisions

Line 144: Line 144:
  // '||' implies that the functions are processed in parallel</br>
  // '||' implies that the functions are processed in parallel</br>
  '''function''' signing(m,<math>s_m</math>)
  '''function''' signing(m,<math>s_m</math>)
   Seller<math>\xrightarrow[]{(m,<math>s_m</math>)}</math>Buyer
   Seller<math>\xrightarrow[]{(m,s_m)}</math>Buyer
   '''for''' i=1 '''to''' L
   '''for''' i=1 '''to''' L
   '''if''' s_m(i)=esign_{Bm} '''then'''
   '''if''' s_m(i)=esign_{Bm} '''then'''
Line 160: Line 160:
  '''function''' transfer(m,<math>s_m</math>)
  '''function''' transfer(m,<math>s_m</math>)
   '''if''' z=1 '''then'''
   '''if''' z=1 '''then'''
   Buyer<math>\xrightarrow[]{(m,<math>s_m</math>)}</math>Verifier
   Buyer<math>\xrightarrow[]{(m,s_m)}</math>Verifier
   '''for''' i=1 '''to''' L
   '''for''' i=1 '''to''' L
   '''if''' s_m(i)=esign_{Vm} '''then'''
   '''if''' s_m(i)=esign_{Vm} '''then'''
Write, autoreview, editor, reviewer
3,125

edits