arkworks-solidity-verifier
Solidity SNARK verifier generator for Arkwork's proof systems.
LGPL-3.0 License
Arkworks Solidity Verifier
Solidity SNARK verifier generator for Arkwork's proof systems. Extensible with future Ethereum's compatible curve or custom precompiled curve using trait implementation.
Supported Algorithms
Curves
Proof Systems
- Groth16 [Gro16] using ark_groth16
- GM17 [GM17] using ark_gm17
- Marlin with Marlin polynomial commitment [CHMMVW20] using ark_marlin and ark_poly_commit::marlin_pc
Acknowledgement
The Solidity verifier template was modified from ZoKrates implementation.
Package Rankings
Top 44.17% on Crates.io