implement bindings, try to integrate, see what is giving (see what more we need to work on) - Githubissues

o1-labs / snarky

OCaml DSL for verifiable computation

MIT License

496 stars 74 forks source link

implement bindings, try to integrate, see what is giving (see what more we need to work on) #701

Closed mimoo closed 1 year ago