search

o1-labs / snarky

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

remove As_prover from Types.Types #750

Closed mimoo closed 1 year ago

mimoo commented 1 year ago

builds on top of https://github.com/o1-labs/snarky/pull/686

I'm hoping that this change will help me fully removing checked_ast

mimoo commented 1 year ago

doing it as part of https://github.com/o1-labs/snarky/pull/752 as I needed it