Editing Device-Independent Quantum Key Distribution (section)

==Notation==
* <math>n</math> expected number of rounds
* The total number of rounds <math>n</math> is divided in to <math>m</math> blocks of size upper-bounded by <math>s_{\max}</math>.
* <math>l</math> final key length 
* <math>\gamma</math> fraction of test rounds 
* <math>Q</math> quantum bit error rate
* <math>\beta</math> CHSH violation 
* <math>\omega_{exp}</math>  expected winning probability on the CHSH game in an honest implementation 
* <math>\delta_{est}</math> width of the statistical interval for the Bell test
* <math>\delta_{con}</math> confidence interval for the Bell test 
* <math>\epsilon_s</math> smoothing parameter 
* <math>\epsilon_{EC},\epsilon'_{EC}</math> error probabilities of the error correction protocol 
* <math>\epsilon_{EA}</math> error probability of Bell violation estimation.
* <math>\epsilon_{con}</math> error probability of Bell violation estimation.
* <math>\epsilon_{PA}</math> error probability of the privacy amplification protocol 
* <math>\mbox{leak}_{EC}</math> leakage in the error correction protocol
* For any registers <math>(Z_i)_{i \in \mathbb{N}}</math>, we use <math>Z_j^k,\ (j\leq k)</math> as a shorthand notation for the string <math>Z_j,\ldots,Z_k</math>.