Skip to content

Encoding via rejection sampling#38

Merged
tcoratger merged 15 commits intoleanEthereum:mainfrom
TomWambsgans:encoding-via-rejection-sampling
Mar 16, 2026
Merged

Encoding via rejection sampling#38
tcoratger merged 15 commits intoleanEthereum:mainfrom
TomWambsgans:encoding-via-rejection-sampling

Conversation

@TomWambsgans
Copy link
Contributor

@TomWambsgans TomWambsgans commented Mar 9, 2026

Goal: implem section 6.1 from borting Random Oracles: How to Build them, How to Use them

Still some work remaing to define nice instanciations (i.e. fixing the parameters), but maybe this can be done in a second PR?

@TomWambsgans TomWambsgans marked this pull request as ready for review March 10, 2026 05:41
Copy link
Contributor

@b-wagn b-wagn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the PR! This is great :) Left some comments.

Copy link
Contributor

@b-wagn b-wagn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I am happy with it :) thanks a lot! maybe @tcoratger can have a very quick look before we merge

Copy link
Contributor

@tcoratger tcoratger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks nice, just left a few super minor comments but not blockers for me, feel free to merge when you think this is ready.

TomWambsgans and others added 5 commits March 16, 2026 15:10
Co-authored-by: Thomas Coratger <60488569+tcoratger@users.noreply.github.com>
Co-authored-by: Thomas Coratger <60488569+tcoratger@users.noreply.github.com>
Co-authored-by: Thomas Coratger <60488569+tcoratger@users.noreply.github.com>
@tcoratger tcoratger merged commit e2d0380 into leanEthereum:main Mar 16, 2026
2 checks passed
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.

3 participants