issues
search
o1-labs
/
snarky
OCaml DSL for verifiable computation
MIT License
494
stars
74
forks
source link
figure out if we reintroduce pedersen hash, or move to random oracle in the mina test
#775
Closed
o1-david
closed
1 year ago