o1-labs/snarky Issues
Example links are broken
Closed 1clean snarky-rs side
Closedmake loc!() work
Closedimplement wasm bindings
Closedmake pickles tests pass
ClosedTest improper calls
Closed 1test pickles types.
Closed 1test as_prover.Ref
Closed 4snarky-rs integration (bindings)
Closed 1provide run_state in backend
Closed 1export bindings for run_state
Closed 1write RFC for snarky-rs
Closedtest as_prover.Ref
ClosedMerge the two Providers
Closed