Repository navigation

feat(crypto): Fiat–Shamir signatures in the random-oracle model, exact security (#581 3b-i) - #702

Merged

SamuelSchlesinger merged 3 commits into

mainfrom

feat/fiat-shamir-581

Oct 24, 2026

Merged

feat(crypto): Fiat–Shamir signatures in the random-oracle model, exact security (#581 3b-i)#702
SamuelSchlesinger merged 3 commits into
mainfrom
feat/fiat-shamir-581

Commits on Oct 24, 2026
- feat(probability): structural call budgets, presampling and the difference lemma
  
  SamuelSchlesinger
  and
  claude
  committed
  ca0bccb
- feat(crypto): signatures and EUF-CMA in the random-oracle model
  
  SamuelSchlesinger
  and
  claude
  committed
  7e45c3e
- feat(crypto): Fiat-Shamir signatures and their exact security
  
  SamuelSchlesinger
  and
  claude
  committed
  df5dd4d