Skip to content

feat(Crypto): Commitment Schemes - #766

Open
SamuelSchlesinger wants to merge 2 commits into
leanprover:mainfrom
SamuelSchlesinger:samschlesinger/commitment-schemes
Open

feat(Crypto): Commitment Schemes#766
SamuelSchlesinger wants to merge 2 commits into
leanprover:mainfrom
SamuelSchlesinger:samschlesinger/commitment-schemes

Conversation

@SamuelSchlesinger

Copy link
Copy Markdown
Collaborator

Defines commitment schemes and their properties. Does not include computational hiding, but builds up to a proof that no statistically hiding, perfectly binding commitment scheme can exist. This justifies the existence of the computationally binding property, which we'll hopefully define in the future.

@SamuelSchlesinger SamuelSchlesinger changed the title Feat(Crypto): Commitment Schemes feat(Crypto): Commitment Schemes Aug 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant