Expose low level circuit runner tools for SnarkyJS

o1-labs / snarky

OCaml DSL for verifiable computation

MIT License

492 stars 73 forks source link

Closed mitschabaude closed 1 year ago

github-actions[bot] commented 1 year ago

Stale pull request message

github-actions[bot] commented 1 year ago

Stale pull request message

mitschabaude commented 1 year ago

I'll be back