Remove R1CS_constraint_system from snark_intf

o1-labs / snarky

OCaml DSL for verifiable computation

MIT License

494 stars 74 forks source link

Open mrmr1993 opened 1 year ago

mrmr1993 commented 1 year ago

This PR removes an unused function, and drops the R1CS_constraint_system module from the Snark_intf.* interfaces.

github-actions[bot] commented 1 year ago

Stale pull request message