Prepare and Measure Quantum Digital Signature: Difference between revisions

Prepare and Measure Quantum Digital Signature (edit)

88 bytes added , 10 October 2018

Write, autoreview, editor, reviewer

3,129

edits

@@ Line 61: / Line 61: @@
 ##For k = 0,1
 ###	Buyer chooses I<math>\subset_R\{1,2,...,L\}, |I|=[L/2]</math>
-###	∀i ∈ I, Buyer sends Verifier <math>(k,i,b^k_i,B^k_i)</math>
+###	<math>\forall i\epsilon I</math>, Buyer sends Verifier <math>(k,i,b^k_i,B^k_i)</math>
 ###	Verifier chooses J<math>\subset_R\{1,2,...,L\}, |J|=[L/2]</math>
-###	∀j ∈ J, Verifier sends Buyer <math>(k,j,b^k_j,B^k_j)</math>
+###	<math>\forall j\epsilon J</math>, Verifier sends Buyer <math>(k,j,b^k_j,B^k_j)</math>
-###	∀j ∈ J Buyer replaces <math>B^k_l=C^k_l</math>
+###	<math>\forall j\epsilon J</math> Buyer replaces <math>B^k_l=C^k_l</math>
-###	∀i ∈ I Verifier replaces <math>C^k_l=B^k_l</math>
+###	<math>\forall i\epsilon I</math> Verifier replaces <math>C^k_l=B^k_l</math>
 ==='''Stage 2''' Messaging===