Prepare and Measure Quantum Digital Signature: Difference between revisions

Prepare and Measure Quantum Digital Signature (edit)

132 bytes added , 10 October 2018

Write, autoreview, editor, reviewer

3,129

edits

@@ Line 51: / Line 51: @@
 **'''Symmetrisation'''
 ##For k=0,1
-###	Buyer chooses I ⊂R {1,2,...,L},|I| = dL/2e
+###	Buyer chooses I<math>\subset_R\{1,2,...,L\}, |I|=\ceil{L/2}</math>
-###	∀i ∈ I, Buyer sends Verifier (
+###	∀i ∈ I, Buyer sends Verifier <math>(k,i,b^k_i,B^k_i)</math>
-###	Verifier chooses J ⊂R {1,2,...,L},|J| = dL/2e
+###	Verifier chooses J<math>\subset_R\{1,2,...,L\}, |J|=\ceil{L/2}</math>
-###	∀j ∈ J, Verifier sends Buyer (
+###	∀j ∈ J, Verifier sends Buyer <math>(k,j,b^k_j,B^k_j)</math>
-###	∀j ∈ J Buyer replaces Bjk = Cjk
+###	∀j ∈ J Buyer replaces <math>B^k_l=C^k_l</math>
-###	∀i ∈ I Verifier replaces Cik = Bik
+###	∀i ∈ I Verifier replaces <math>C^k_l=B^k_l</math>
 ==='''Stage 2''' Messaging===