issues
search
o1-labs
/
snarky
OCaml DSL for verifiable computation
MIT License
494
stars
74
forks
source link
[WIP] attempt at adding type variables cvar and run_state
#790
Closed
mimoo
closed
1 year ago
mimoo
commented
1 year ago
approach outlined in
https://hackmd.io/4zUl4nMDQrWtJnKEC4bpDw
approach outlined in https://hackmd.io/4zUl4nMDQrWtJnKEC4bpDw