#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

#61 in #verifier

26 downloads per month

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

~10MB
~189K SLoC