SecurityClassical

Joining the authentication bill to the security parameter

3/3 passed in 0ms

Test	What it does	Result
test_authenticate	authenticate() adds forgery probability times message count, leaves its source ledger alone, and replaces rather than stacks.	✅ pass
test_hashing_barred	An eps_pa offered to a family whose secrecy parameter already covers the hashing is refused.	✅ pass
test_saturated	A message count driving the union bound to one is refused.	✅ pass