Write
262
edits
Device-Independent Quantum Key Distribution: Difference between revisions
→Pseudocode
| Line 74: | Line 74: | ||
'''2.''' Error Correction | '''2.''' Error Correction | ||
''Alice and Bob apply the error correction protocol <math>EC</math>, communicating script <math>O_{EC}</math> in the process. '' | ''Alice and Bob apply the error correction protocol <math>EC</math> (see [[BB84 Quantum Key Distribution #References| [9]]]) , communicating script <math>O_{EC}</math> in the process. '' | ||
# '''If''' <math>EC</math> aborts, they abort the protocol | # '''If''' <math>EC</math> aborts, they abort the protocol | ||
# '''Else''' they obtain raw keys <math>\tilde{A}_1^n</math> and <math>\tilde{B}_1^n</math>. | # '''Else''' they obtain raw keys <math>\tilde{A}_1^n</math> and <math>\tilde{B}_1^n</math>. | ||
| Line 89: | Line 89: | ||
'''4.''' Privacy amplification | '''4.''' Privacy amplification | ||
<math>PA(\cdot,\cdot)</math> ''is a privacy amplification subroutine'' | <math>PA(\cdot,\cdot)</math> ''is a privacy amplification subroutine'' (see [[BB84 Quantum Key Distribution #References| [10]]]) | ||
# Alice and Bob run <math>PA(A_1^{n'},\tilde{B}_1^{n'})</math> and obtain secret keys <math>K_A, K_B</math>; | # Alice and Bob run <math>PA(A_1^{n'},\tilde{B}_1^{n'})</math> and obtain secret keys <math>K_A, K_B</math>; | ||