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

Jump to navigation Jump to search
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==
Write, autoreview, editor, reviewer
3,125

edits

Navigation menu