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

Stub the aggregation circuits #7

Open

goblinoats opened this issue Aug 22, 2023 · 0 comments

Labels

Core

Milestone

Recursive proving...

Collaborator

goblinoats commented Aug 22, 2023

We can do this now for placeholder purposes, but we are blocked from getting anything working until recursion is fully implemented in Noir.

goblinoats added the Core label

goblinoats added this to the Recursive proving w/ continuations milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment