-
Notifications
You must be signed in to change notification settings - Fork 156
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
Improve Circuit trait API and usability #313
Conversation
The API was not flexible enough and it was forcing us to repeat a lot of code. - Trait now comes with build_pi, gen_proof, compile & verify_proof fn's already implemented. - It forces the user to implement the getters and setters for the PI vector storage. - It carries the circuit size already hardcored in it. We've also defined the method pos() for PublicInput in order to get quick access to them.
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.
Just one typo
d2b41e0
to
1db9fde
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.
Only one nit.
@@ -34,34 +34,99 @@ impl PublicInput { | |||
PublicInput::AffinePoint(point, _, _) => vec![point.get_x(), point.get_y()], | |||
} | |||
} | |||
|
|||
/// Returns the positions that of a PublicInput struct |
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.
'That' left in mistakenly
The API was not flexible enough and it was forcing us
to repeat a lot of code.
fn's already implemented.
vector storage.
We've also defined the method pos() for PublicInput in order to get
quick access to them.