issues
search
o1-labs
/
snarky
OCaml DSL for verifiable computation
MIT License
492
stars
73
forks
source link
pass cvar through backend https://github.com/o1-labs/snarky/pull/793
#795
Closed
o1-david
closed
1 year ago