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

• BN254 [BCTV14] using ark_bn254

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.

• https://github.com/Zokrates/ZoKrates/tree/develop/zokrates_proof_systems