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.

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

Compiling the same circuit multiple time doesn't always output the same R1CS #90

Closed
gbotrel opened this issue Apr 20, 2021 · 0 comments · Fixed by #95 or #126
Closed

Compiling the same circuit multiple time doesn't always output the same R1CS #90

gbotrel opened this issue Apr 20, 2021 · 0 comments · Fixed by #95 or #126
Labels
bug Something isn't working
Milestone
v0.5.0

Comments

@gbotrel
Copy link
Collaborator

gbotrel commented Apr 20, 2021

Compiling circuits into R1CS should be deterministic.

See branch bug/deterministic_r1cs, r1cs_test.go failing test.
@gbotrel gbotrel added the bug Something isn't working label Apr 20, 2021
ThomasPiellard added a commit that referenced this issue Apr 30, 2021
@ThomasPiellard
fix: r1cs compilation is deterministic, fixes #90
4bbc278
@ThomasPiellard ThomasPiellard linked a pull request Apr 30, 2021 that will close this issue
PR to fix the non determinism of r1cs compilation #95
Merged
@gbotrel gbotrel added this to the v0.5.0 milestone Apr 30, 2021
@gbotrel gbotrel closed this as completed Apr 30, 2021
@gbotrel gbotrel mentioned this issue Aug 21, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
v0.5.0
Development

Successfully merging a pull request may close this issue.

PR to fix the non determinism of r1cs compilation Consensys/gnark
v0.5.0 Consensys/gnark
1 participant
@gbotrel