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

Ensure that the zk app circuits generated by @method have all the proper constraints needed #98

Closed
bkase opened this issue Mar 7, 2022 · 1 comment · Fixed by #278
Closed
Assignees

Comments

@bkase
Copy link
Member

bkase commented Mar 7, 2022

Not needed for end-to-end testing, but important for release

@mitschabaude
Copy link
Contributor

mitschabaude commented Apr 15, 2022

Possible dependency: MinaProtocol/mina#10747
to enable us to build up the correct proof statements to constrain

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 a pull request may close this issue.

2 participants