proof-systems
proof-systems copied to clipboard
Snarky-rs RFC
This issue tracks the creation of an RCF detailing snarky and the work to be done in order to port it to Rust.