FiniteLength
Mizutani's key length over a block, and the asymptotic rate it walks up to
7/7 passed in 1ms
| Test | What it does | Result |
|---|---|---|
test_block_approaches | The length per emitted photon rises to flaw_tolerant at the same sifting share from below, agreeing to 1e-5 at 1e18 emissions. | ✅ pass |
test_block_reach | The finite length dies at 44.905985, 55.045740 and 57.448692 dB at 1e10, 1e12 and 1e14 emissions, all below the asymptotic ZERO_TOL. | ✅ pass |
test_finite_slots | flaw_finite returns five slots against the asymptotic four, the first a whole number of bits, on the block's own yield and pz^2 share. | ✅ pass |
test_length_parts | Eq. (43) is the vacuum count plus the single-photon count discounted by the phase entropy, less the leakage and log2(2/(eps_s^2 - eps_est)) + log2(2/eps_c). | ✅ pass |
test_paper_setting | Mizutani Sec. V's 0.147 rad is 8.42 degrees to 5e-3 and is this module's delta, the deviation at Alice's pi setting. | ✅ pass |
test_secrecy_squared | An eps_est at or above eps_s^2 is refused by name and spending less of the square buys length. | ✅ pass |
test_short_block | A block too short to pay the epsilon budget returns zero and one that detects nothing is refused by name. | ✅ pass |