QubitLength
The finite key length in bits, Scarani & Renner Lemmas 1 to 3
6/6 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_block_monotone | The length and the length per signal both rise with the block. | ✅ pass |
test_edge_binds | The compatible-set minimum puts the key-basis rate a full width LOWER and the monitor rate higher, so the paper's printed instantiation, raising both, over-reports H(X|E) by a gap that closes with the block. | ✅ pass |
test_epsilon_price | A weaker secrecy parameter buys a longer key. | ✅ pass |
test_leak_charged | Error correction charged at the observed key-basis rate shortens the key as f_EC rises from 1. | ✅ pass |
test_length_budget | An error-correction failure probability at or above the composed deviation is refused. | ✅ pass |
test_length_units | The length is floored to whole bits and never negative: positive at 1e12 signals, zero at 1e4. | ✅ pass |