-
Notifications
You must be signed in to change notification settings - Fork 113
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
How to use externally generated R1CS? #22
Comments
I see, one would have to parse the external format, create the A-B-C scalars and instantiate the R1CSInstance::new object with them. And from there on one could follow the instructions in the README. Correct? |
Yes, that is exactly right. R1CSInstance type is not public but as mentioned in README, we are working on adding public APIs to specify an R1CS statement:
|
Closing this issue for now. Please see the third example in README where we demonstrate new APIs for specifying an R1CS instance. |
I'm looking to use Spartan as a backend.
The README states the following:
But how do you use this library with R1CS constraints as generated by such toolchains?
The text was updated successfully, but these errors were encountered: