search

o1-labs / snarky

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

Support async witnessing #839

Closed mitschabaude closed 7 months ago

mitschabaude commented 7 months ago

see https://github.com/o1-labs/o1js-bindings/pull/253