[part5] Changes to snarky to make snarky-rs integration work - Githubissues

o1-labs / snarky

OCaml DSL for verifiable computation

MIT License

492 stars 73 forks source link

[part5] Changes to snarky to make snarky-rs integration work #811

Closed mimoo closed 1 year ago

mimoo commented 1 year ago

Builds on top of https://github.com/o1-labs/snarky/pull/799 as it is starting to get quite long.

This contains a number of misc changes that I need to make in order to make the Mina-side work (https://github.com/MinaProtocol/mina/pull/12738). It contains:

remove the R1CS trick
move all the eval_constraint logic to the Rust side
obtain get_value and Cvar.eval from Backend.Run_state
add the debug function that helped me a lot

github-actions[bot] commented 1 year ago

Stale pull request message