o1-labs / snarky

OCaml DSL for verifiable computation
MIT License
496 stars 74 forks source link

fix imperative interface handling of global state #786

Closed mimoo closed 1 year ago

mimoo commented 1 year ago

this fixes a number of issues detected by the tests in https://github.com/MinaProtocol/mina/pull/12627. More specifically: