search

o1-labs / snarky

OCaml DSL for verifiable computation
MIT License
494 stars 74 forks source link

test as_prover.Ref #757

Closed o1-david closed 1 year ago

o1-david commented 1 year ago

a way to pass variable information between as_prover blocks

(doesn't need to be mutable)

o1-david commented 1 year ago

we can delete the mutable thing (and the set method) if needed

o1-david commented 1 year ago

we can delete the mutable thing (and the set method) if needed

github-actions[bot] commented 1 year ago

Stale issue message