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

Throw an error if circuit is compiled with no constraints #112

Closed
gbotrel opened this issue Jun 17, 2021 · 1 comment
Closed

Throw an error if circuit is compiled with no constraints #112

gbotrel opened this issue Jun 17, 2021 · 1 comment
Assignees
@ThomasPiellard

Comments

@gbotrel
Copy link
Collaborator

gbotrel commented Jun 17, 2021

See #110 -- a circuit without computation constraints doesn't make much sense (ie to verify a proof stating x == y, one would need to provide y anyway).

However, this should not panic but throw a proper error message.
@gbotrel
Copy link
Collaborator Author

gbotrel commented Aug 4, 2021

Update: compiling with no constraints is not an issue. It seems the issue arise only on the backend side with a PlonK prover.
See branch bug-plonk-offset with failing test @ThomasPiellard

@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

@ThomasPiellard ThomasPiellard

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@gbotrel @ThomasPiellard