-
Notifications
You must be signed in to change notification settings - Fork 29
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
Make AllocatedR1CSInstance
and AllocatedRelaxedR1CSInstance
generic in the size of IO
#322
Conversation
AllocatedR1CSInstance
and AllocatedRelaxedR1CSInstance
generic in the size AllocatedR1CSInstance
and AllocatedRelaxedR1CSInstance
generic in the size of IO
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
From a low level PoV, the code is sometimes a bit complex, but can be simplified, see inline comments.
From a high-level PoV, this gives use generic code in gadgets, that can be used in a scheme-specific manner outside that module, which I think fits the bill: awesome!
I think I cleaned up some of the nasty stuff I was doing with iterators, it should be a bit better now! |
bcd9725
to
8eb828e
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!
This PR resolves #321.
The solution adds a const generic parameter to the two structs, and a new constant that is used in both the Nova and SuperNova augmented circuits where the instances are known to have IO of length 2.