feat(Crypto): Commitment Schemes - #766

Open

SamuelSchlesinger wants to merge 2 commits into

leanprover:mainfrom

SamuelSchlesinger:samschlesinger/commitment-schemes

Commits on Aug 1, 2026

feat: add commitment schemes and statistical distance
SamuelSchlesinger
committed
feat: prove the hiding-binding trade-off for commitment schemes
SamuelSchlesinger
committed