move non-circuit stuff out of ConstraintSystem in proof system (so we can serialize the circuit on its own) - Githubissues

o1-labs / snarky

OCaml DSL for verifiable computation

MIT License

494 stars 74 forks source link

move non-circuit stuff out of ConstraintSystem in proof system (so we can serialize the circuit on its own) #744

Closed o1-david closed 1 year ago

o1-david commented 1 year ago

related to https://github.com/o1-labs/proof-systems/issues/413