Prepare and Measure Quantum Digital Signature: Difference between revisions

Line 131: Line 131:
   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'''</br>
  '''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>\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  
Write, autoreview, editor, reviewer
3,129

edits