issues
search
o1-labs
/
snarky
OCaml DSL for verifiable computation
MIT License
494
stars
74
forks
source link
write tests for snarky making use of the as_prover functionality
#709
Closed
mimoo
closed
1 year ago
github-actions[bot]
commented
1 year ago
Stale issue message
Stale issue message