SecurityTakesue
The budget that is not a sum, and what an equal share costs it
4/4 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_bit_terms | A bit-typed term reports the eta it stands for, and a bit length handed to a probability slot is refused. | ✅ pass |
test_equal_shares | Five equal shares of the target compose to 2.41, above one, and to 1.1e5 times the target read as probabilities. | ✅ pass |
test_split_lands | allocate() at target d composes back to d exactly, at eps_1 = d, eps_2 = d^2/24 and 2^-s_z = d/2. | ✅ pass |
test_sum_misreports | Summing Takesue's five terms gives 1.5 times the target with the hash lengths converted and above 100 without. | ✅ pass |