R1CS to Arithmetic Circuit compiler

NP-Eng / ligero

Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.

Apache License 2.0

2 stars 1 forks source link

Closed Cesar199999 closed 2 months ago