#solidity #verifier #zk-snarks #zero-knowledge #crypto #cryptography

arkworks-solidity-verifier

Solidity SNARK verifier generator for Arkwork's proof systems

1 unstable release

0.1.0 Feb 24, 2023

#37 in #verifier

LGPL-3.0-only

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

Acknowledgement

The Solidity verifier template was modified from ZoKrates implementation.

Dependencies

~9.5MB
~187K SLoC