Skip to content

fix negative input bug#90

Closed
okwme wants to merge 1 commit intoiden3:masterfrom
okwme:fix-negative
Closed

fix negative input bug#90
okwme wants to merge 1 commit intoiden3:masterfrom
okwme:fix-negative

Conversation

@okwme
Copy link
Contributor

@okwme okwme commented Oct 6, 2023

opening this PR in place of #87 in order to have separate PRs for separate bugs. The last PR targeted master of my fork and this targets a specific branch for the specific issue.

original description:

Same bug as fixed in 0xPARC/zkrepl#13 and effecting use of https://github.com/projectsophon/hardhat-circom. I originally thought it would be fixed by updating the version of circom being used in hardhat as per projectsophon/hardhat-circom#80 but realize the problem is with this library.

@okwme okwme mentioned this pull request Oct 6, 2023
@phated
Copy link
Contributor

phated commented Oct 7, 2023

The circom_runtime is an amalgamation of the circom1 logic and circom2 generated code. The circom2 team doesn't care about snarkjs so it needs to manually be copied over.

@phated
Copy link
Contributor

phated commented Oct 8, 2023

Thanks for raising this. I've migrated the implementation from the circom2 generator in #93

@phated phated closed this in #93 Oct 8, 2023
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.

2 participants