Proving and verifying ArithmeticCircuit's

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 Antonio95 closed 1 month ago

Antonio95 commented 2 months ago

Contains the core ArithmeticCircuit and Ligero functionality, including tests that prove and verify a circuit.