FiniteLength
The finite key length in bits, Lim et al. Eq. (1)
8/8 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_block_monotone | Length and length per pulse both rise with the block size. | ✅ pass |
test_count_guard | Certified vacuum and single-photon counts above the sifted count are refused. | ✅ pass |
test_epsilon_price | A weaker secrecy parameter buys a longer key. | ✅ pass |
test_epsilon_share | bb84_eps is the engine's per-bound share, and 21 of them recompose eps_sec. | ✅ pass |
test_frame_errors | A frame error rate scales the length, a failed frame yielding and leaking nothing. | ✅ pass |
test_length_units | The length is floored to whole bits, positive at 1e12 pulses and zero at 1e7. | ✅ pass |
test_reach_monotone | At a fixed block the length falls with fibre length to zero at 150 km. | ✅ pass |
test_share_spends | Six bounds at bb84_eps(eps_sec) plus the correctness term rebuild Eq. (1)'s length. | ✅ pass |