Write, autoreview, editor, reviewer
3,129
edits
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 | ||
=== | ===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== |