-
Notifications
You must be signed in to change notification settings - Fork 150
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 API for circuit (de-)compression #804
Comments
moCello
changed the title
Remove
Improve API for circuit (de-)compression
Dec 21, 2023
label
and PublicParameter
as parameter when decompressing a circuit
Merged
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Summary
When decompressing a circuit, we immediately compile the circuit and return the
prover
andverifier
, and because of this we require thelabel
andpublicparameter
at decompression time which is counter intuitive.At the same time we compress the circuit as part of the compile module which is also counter intuitive.
We can improve the API as follows:
Current API:
Proposed new API:
The text was updated successfully, but these errors were encountered: