Write, autoreview, editor, reviewer
3,129
edits
Line 37: | Line 37: | ||
<u>'''Stage 1'''</u> Distribution | <u>'''Stage 1'''</u> Distribution | ||
*'''Input''' Key Length (L), Threshold values (s_a, s_v), error threshold (E_tol), error rate parameter (e) | *'''Input''' Key Length (L), Threshold values (<math>s_a, s_v</math>), error threshold (<math>E_tol</math>), error rate parameter (e) | ||
*'''Output''' Seller: <math>S_B^0,S_B^1,S_V^0,S_V^1</math> Buyer: <math>B^0,B^1</math>; Verifier: <math>V^0,V^1</math> | *'''Output''' Seller: <math>S_B^0,S_B^1,S_V^0,S_V^1</math> Buyer: <math>B^0,B^1</math>; Verifier: <math>V^0,V^1</math> | ||
**'''Key Distribution:''' | **'''Key Distribution:''' | ||
Line 78: | Line 78: | ||
#Receiver.send(Arbitrator,<math>|b\rangle</math>) | #Receiver.send(Arbitrator,<math>|b\rangle</math>) | ||
#<math>|\Psi\rangle</math>=Arbitrator.'''BSM'''(<math>|a\rangle</math>,<math>|b\rangle</math>) | #<math>|\Psi\rangle</math>=Arbitrator.'''BSM'''(<math>|a\rangle</math>,<math>|b\rangle</math>) | ||
#If (<math>|\Psi\!={}</math>)&&(<math>s_{\text{basis}}=r_{\text{basis}}</math>) | #If (<math>|\Psi\rangle!={}</math>)&&(<math>s_{\text{basis}}=r_{\text{basis}}</math>) | ||
###<math>A^i_R(k)=a</math> | ###<math>A^i_R(k)=a</math> | ||
###If (<math>s_{\text{basis}}=r_{\text{basis}}=Z</math>) | ###If (<math>s_{\text{basis}}=r_{\text{basis}}=Z</math>) | ||
Line 90: | Line 90: | ||
#<math>\forall i\epsilon I</math>, E_k=\frac{1}{e}\sum_i(A^k_R(i)\oplusR^k(i)) | #<math>\forall i\epsilon I</math>, E_k=\frac{1}{e}\sum_i(A^k_R(i)\oplusR^k(i)) | ||
#If <math>E_k>E_{tol}</math> '''then''' abort '''else''' | #If <math>E_k>E_{tol}</math> '''then''' abort '''else''' | ||
# '''return''' (A^k_R,R^k) | # '''return''' (<math>A^k_R,R^k</math>) | ||
* For more detail on error rate and MDI-KGP Pseudo code, refer [[MDI-QKD]] | |||
==Further Information== | ==Further Information== |