Write, autoreview, editor, reviewer
3,129
edits
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, | '''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 |