-
Notifications
You must be signed in to change notification settings - Fork 216
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
feat(circom): enable circom proof generation without compilation #419
feat(circom): enable circom proof generation without compilation #419
Conversation
e216c3c
to
3b51bd2
Compare
3b51bd2
to
643a0ca
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.
49db2db
please fix the message to be as such:
fix(math): set infinity
to true if the point is the point at infinity
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.
LGTM
9de7df5
to
77a26de
Compare
This modifes the (de)serialization process to exclude the `infinity` flag, aligning it with (de)serialization from/to JSON. This change significantly reduces output size, given that most points are not at infinity.
Refactor the `R1CSParser::Parse()` method into a standalone function to avoid unnecessary instantiation of `R1CSParser` objects solely for method invocation.
Refactor the `ZKeyParser::Parse()` method into a standalone function to avoid unnecessary instantiation of `ZKeyParser` objects solely for method invocation.
77a26de
to
09f238c
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.
LGTM
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.
LGTM
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.
LGTM
Description
This PR enables proof generation with the same interface as rapidsnark