workbook

changelog: update

intro: improve arg for hash fns needing non-constant output space

fl: clarify forking lemma description

Merge pull request #8 from ismaelsadeeq/09-2025-security-param-fix

reduction: fix Gen function to use the unitary lambda