Skip to content

HMAC init proofs: one shared lemma module for all four targets - #605

Merged
alex merged 1 commit into
mainfrom
claude/inspiring-pascal-labmxq-hmac-init-lemmas
Oct 2, 2026
Merged

HMAC init proofs: one shared lemma module for all four targets#605
alex merged 1 commit into
mainfrom
claude/inspiring-pascal-labmxq-hmac-init-lemmas

Merge HMAC init's two key-lemma modules into Proof/Pbkdf2/MdKeys

7ed264d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar