Skip to content

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 type: 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
@ivokub ivokub deleted the feat/hintname-go122-comp branch February 13, 2024 20:40
lighterabc pushed a commit to lighterabc/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

type: 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

3 participants