1 unstable release
0.1.0 | Feb 24, 2023 |
---|
#37 in #verifier
74KB
1.5K
SLoC
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.
Dependencies
~9.5MB
~187K SLoC