o1-labs / snarky

OCaml DSL for verifiable computation
MIT License
492 stars 73 forks source link

return copy of the sponge state instead of ref #825

Closed fabrizio-m closed 1 year ago