Extract constraint interface from Snark_intf.*

o1-labs / snarky

OCaml DSL for verifiable computation

MIT License

496 stars 74 forks source link

Closed mrmr1993 closed 2 years ago

mrmr1993 commented 2 years ago

This PR extracts the common constraint interface from the imperative and monadic APIs into a common signature