Write, autoreview, editor, reviewer
3,129
edits
Line 72: | Line 72: | ||
# 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 | ||
*'''MDI-KGP'''(Seller, Receiver, Arbitrator) | *'''MDI-KGP'''(Seller, Receiver, Arbitrator) | ||
#Seller generates <math>|a\rangle</math> | #Seller chooses <math>s_{\text{basis}}\epsilon \{X,Z\}</math> and generates <math>|a\rangle</math> | ||
#Receiver chooses <math>r_{\text{basis}}\epsilon \{X,Z\}</math> and generates <math>|b\rangle</math> | |||
==Further Information== | ==Further Information== |