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

no edit summary
No edit summary
Line 71: Line 71:
####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
# If <math>(b < s_vL/2)\&\&(v < s_vL/2)</math>, Verifier accepts m else he aborts
===Subroutines===
===Subroutine: MGI-KGP===
'''MDI-KGP'''(Seller, Receiver, Arbitrator)
'''MDI-KGP'''(Seller, Receiver, Arbitrator)
#Seller randomly chooses basis <math>\epsilon\{X,Z\}</math> and generates <math>|a\rangle</math>
#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>
#Receiver randomly chooses basis <math>\epsilon\{X,Z\}</math> and generates <math>|a\rangle</math>
#Arbitrator performs BSM (C-NOT <math>H\tensor I|a\rangle|b\rangle</math>)


==Further Information==
==Further Information==
Write, autoreview, editor, reviewer
3,129

edits