Prepare and Measure Quantum Digital Signature: Difference between revisions

Prepare and Measure Quantum Digital Signature (edit)

201 bytes added , 10 October 2018

Write, autoreview, editor, reviewer

3,129

edits

@@ Line 60: / Line 60: @@
 ==='''Stage 2''' Messaging===
-*Input seller: Message m, Private Key for m
+*Input seller: Message m, Private Key for m <math>\{\beta^m_1,...,\beta^m_L\}</math>
 *Output Buyer: accept or abort, Verifier: accept or abort
- '''''Signing:''' ’mismatch’ is when Buyer finds an eliminated signature element in Seller’s private key''
+**'''Signing:''' ’mismatch’ is when Buyer finds an eliminated signature element in Seller’s private key
-#	Seller sends Buyer (m,
+#	Seller sends Buyer (m,<math>\{\beta^m_1,...,\beta^m_L\}</math>)
 #	For l = 1,2,..,L
-##Buyer counts the number of mismatches (Blm = βlm) and returns Sb
+##Buyer counts the number of mismatches (<math>B^m_l=C^m_l</math>) and returns <math>S_b</math>
-#	If Sb < saL/2, Buyer accepts m else he aborts
+#	If <math>S_b < s_aL/2</math>, Buyer accepts m else he aborts
- '''''Transfer'''''
+**'''Transfer'''
-#	Buyer sends Verifier (m,
+#	Buyer sends Verifier (m,<math>\{\beta^m_1,...,\beta^m_L\}</math>)
 #	For l = 1,2,....,L
-##Verifier counts the number of mismatches (Clm = βlm) and returns Sc
+##Verifier counts the number of mismatches (<math>C^m_l=B^m_l</math>) and returns <math>S_c</math>
-#	If Sc < saL/2, Verifier accepts m else he aborts
+#	If <math>S_c < s_aL/2</math>, Verifier accepts m else he aborts
 == Requirements ==
 *Technological Readiness
 == References ==