Measurement Device Independent Quantum Digital Signature (MDI-QDS): Difference between revisions

Measurement Device Independent Quantum Digital Signature (MDI-QDS) (edit)

Revision as of 06:19, 3 June 2019

313 bytes removed , 3 June 2019

no edit summary

Shraddha

Write, autoreview, editor, reviewer

3,129

edits

@@ Line 45: / Line 45: @@
 **'''Symmetrisation'''
-##For k = 0,1
+#For k = 0,1
-###	Buyer chooses <math>I\subset_R\{1,2,...,L\}, |I|=[L/2]</math>
+##	Buyer chooses <math>I\subset_R\{1,2,...,L\}, |I|=[L/2]</math>
-###	<math>\forall i\epsilon I</math>, Buyer sends Verifier <math>(k,i,B^k_i)</math>
+##	<math>\forall i\epsilon I</math>, Buyer sends Verifier <math>(k,i,B^k_i)</math>
-###	Verifier chooses <math>J\subset_R\{1,2,...,L\}, |J|=[L/2]</math>
+##	Verifier chooses <math>J\subset_R\{1,2,...,L\}, |J|=[L/2]</math>
-###	<math>\forall j\epsilon J</math>, Verifier sends Buyer <math>(k,j,V^k_j)</math>
+##	<math>\forall j\epsilon J</math>, Verifier sends Buyer <math>(k,j,V^k_j)</math>
 <u>'''Stage 2'''</u> Messaging
@@ Line 59: / Line 59: @@
 #	For l = 1,2,..,L
 ##If '''<math>l\epsilon \{1,2,...,L\}-I</math>'''
-#####Buyer counts the number of mismatches (<math>B^m_l!=S^m_l</math>), b=b+1
+###Buyer counts the number of mismatches (<math>B^m_l!=S^m_l</math>), b=b+1
 ##If '''<math>l\epsilon J</math>'''
-####Buyer counts the number of mismatches (<math>V^m_l!=S^m_l</math>), v=v+1
+###Buyer counts the number of mismatches (<math>V^m_l!=S^m_l</math>), v=v+1
 #	If <math>(b < s_aL/2)\&\&(v < s_aL/2)</math>, Buyer accepts m else he aborts
 **'''Transfer'''
@@ Line 67: / Line 67: @@
 #	For l = 1,2,..,L
 ##If '''<math>l\epsilon \{1,2,...,L\}-J</math>'''
-#####Verifier counts the number of mismatches (<math>V^m_l!=S^m_l</math>), v=v+1
+###Verifier counts the number of mismatches (<math>V^m_l!=S^m_l</math>), v=v+1
 ##If '''<math>l\epsilon I</math>'''
-####Verifier counts the number of mismatches (<math>B^m_l!=S^m_l</math>), b=b+1
+###Verifier counts the number of mismatches (<math>B^m_l!=S^m_l</math>), b=b+1
 #	If <math>(b < s_vL/2)\&\&(v < s_vL/2)</math>, Verifier accepts m else he aborts
-===Subroutine: MGI-KGP===
 *'''MDI-KGP'''(Seller, Receiver, Arbitrator)
-#Seller randomly chooses basis <math>\epsilon\{X,Z\}</math> and generates <math>|a\rangle</math>
-#Receiver randomly chooses basis <math>\epsilon\{X,Z\}</math> and generates <math>|a\rangle</math>
-#Arbitrator performs BSM (<math>C-NOT\quad H\otimes I|a\rangle|b\rangle</math>)
 ==Further Information==