axiom-crypto / snark-verifier

Apache License 2.0
94 stars 36 forks source link

SNARK Verifier

Generic (S)NARK verifier.