tests for all snarky types (e.g. boolean) - Githubissues

o1-labs / snarky

OCaml DSL for verifiable computation

MIT License

496 stars 74 forks source link

tests for all snarky types (e.g. boolean) #715

Closed fabrizio-m closed 1 year ago

fabrizio-m commented 1 year ago

[ ] cvar.
[ ] boolean.
[ ] other exists in the repo (figure that out)