/zksnark-safety-verificator

Security verifier of zero-knowledge proofs using Gröbner bases built on top of the open-source Circom compiler.

Primary LanguageRustGNU General Public License v3.0GPL-3.0

No issues in this repository yet.