New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Galois - Re-generate circuit and vk/pk #1208

Closed

hussein-aitlahcen opened this issue Jan 25, 2024 · 0 comments · Fixed by #1199

Assignees

Contributor

hussein-aitlahcen commented Jan 25, 2024

#1199 is consensus breaking and require an upgrade of the circuit

hussein-aitlahcen self-assigned this

hussein-aitlahcen changed the title ~~Re-generate circuit and vk/pk~~ Galois - Re-generate circuit and vk/pk

hussein-aitlahcen mentioned this issue

feat(galois): full in-circuit hash to curve #1199

Merged

hussein-aitlahcen closed this as completed in #1199

hussein-aitlahcen added a commit that referenced this issue


          feat(galois): full in-circuit hash to curve (#1199)

6c3b450

- in-circuit
https://datatracker.ietf.org/doc/html/draft-irtf-cfrg-hash-to-curve-06#name-hash_to_field-implementatio
svdw hash to curve with a custom expand_message_xmd based on mimc 256bit
block cipher (also lower the circuit public inputs from 5 to 4)
- galois grpc v2 api
- upgrade solidity verifier/test
- upgrade rust verifier/test

closes #1208

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment