Prepare and Measure Quantum Digital Signature: Difference between revisions

Prepare and Measure Quantum Digital Signature (edit)

Revision as of 20:57, 10 October 2018

136 bytes added , 10 October 2018

→‎Algorithm

Shraddha

Write, autoreview, editor, reviewer

3,129

edits

@@ Line 38: / Line 38: @@
 #For k = 0,1
 ##	Seller prepares quantum public key , where
-##	She sends Buyer (k,|ψki)
+##	She sends Buyer (k,<math>|\psi^k\rangle</math>)
-##	She sends Verifier (k,|ψki)
+##	She sends Verifier (k,<math>|\psi^k\rangle</math>)
-**'''State Elimination:''' <math>b^k_l</math> denotes Buyer’s random bit to determine the measurement basis of <math>l^{th}</math> qubit in the quantum public key <math>|\psi^k\rangle</math> for message k#For k = 0,1
+**'''State Elimination:''' <math>b^k_l</math> denotes Buyer’s random bit to determine the measurement basis of <math>l^{th}</math> qubit in the quantum public key <math>|\psi^k\rangle</math> for message k
+#For k = 0,1
 ##For l = 1,2,...,L
-###	Buyer chooses <math>b^k_l∈_R {0,1}</math>
+###	Buyer chooses <math>b^k_l \epsilon_R {0,1}</math>
-###If bkl =0, Buyer measures his qubit in X basis {|+i,|−i}
+###If <math>b^k_l=0</math>, Buyer measures his qubit in X basis {<math>|+\rangle,|-\rangle</math>}
-###bkl = 1, Buyer measures his qubit in Z basis {|0i,|1i} return <math>m_{b^k_l}</math>
+###If <math>b^k_l=0</math>, Buyer measures his qubit in Z basis {<math>|0\rangle,|1\rangle</math>}
- ''Verifier repeats steps 2(a)-2(b) with randomly chosen basis <math>c^k_l</math> to get his eliminated signature elements <math>C^k_l</math>''
+###'''return''' <math>m_{b^k_l}</math>
+**Verifier repeats steps 2(a)-2(b) with randomly chosen basis <math>c^k_l</math> to get his eliminated signature elements <math>C^k_l</math>
 **'''Symmetrisation'''