snarky
snarky copied to clipboard
Remove R1CS_constraint_system from snark_intf
This PR removes an unused function, and drops the R1CS_constraint_system
module from the Snark_intf.*
interfaces.
Stale pull request message