Skip to content
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.

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

feat: stabilize anonymous hint function names #1054

Merged
merged 7 commits into from
Feb 13, 2024
Merged

Conversation

ivokub
Copy link
Collaborator

@ivokub ivokub commented Feb 13, 2024

Description

This PR implements conversion from new-style anonymous function names to old-style. The goal is to keep backwards compatibility with already compiled circuits.

Fixes #1045

Type of change

  • Bug fix (non-breaking change which fixes an issue)

How has this been tested?

  • Test cases for regular expression correctness (new-to-old expected, old same, explicit function same)
  • GetHintName for known hint functions are stable
  • Solver resolves hints correctly for deserialized circuits

Checklist:

  • I have performed a self-review of my code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • I have added tests that prove my fix is effective or that my feature works
  • I did not modify files generated from templates
  • golangci-lint does not output errors locally
  • New and existing unit tests pass locally with my changes
  • Any dependent changes have been merged and published in downstream modules

@ivokub ivokub added the bug Something isn't working label Feb 13, 2024
@ivokub ivokub requested a review from gbotrel February 13, 2024 20:30
@ivokub ivokub self-assigned this Feb 13, 2024
@ivokub ivokub merged commit bb3e48e into master Feb 13, 2024
7 checks passed
@ivokub ivokub deleted the feat/hintname-go122-comp branch February 13, 2024 20:40
ahmetyalp pushed a commit to ahmetyalp/gnark that referenced this pull request Feb 14, 2024
* test: add regression test for anonymous function names

* feat: implement new-to-old style regexp

* feat: map anonymous function names

* fixup! feat: implement new-to-old style regexp

* docs: add method documentation

* test: add regression test for compiled circuit

* refactor: lessen double register log severity
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

bug: Go 1.22 alternates naming of anonymous functions
2 participants