https://github.com/Tetration-Lab/arkworks-solidity-verifier

Solidity SNARK verifier generator for Arkwork's proof systems.
https://github.com/Tetration-Lab/arkworks-solidity-verifier

arkworks cryptography ethereum gm17 groth16 marlin solidity zksnark

Last synced: about 1 month ago
JSON representation

Solidity SNARK verifier generator for Arkwork's proof systems.

• Host: GitHub
• URL: https://github.com/Tetration-Lab/arkworks-solidity-verifier
• Owner: Tetration-Lab
• License: lgpl-3.0
• Created: 2023-01-27T04:06:24.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2023-02-24T06:24:51.000Z (over 1 year ago)
• Last Synced: 2024-07-14T07:03:41.745Z (about 2 months ago)
• Topics: arkworks, cryptography, ethereum, gm17, groth16, marlin, solidity, zksnark
• Language: Rust
• Homepage:
• Size: 35.2 KB
• Stars: 5
• Watchers: 4
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# 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]](https://eprint.iacr.org/2013/879.pdf) using [ark_bn254](https://github.com/arkworks-rs/curves/tree/master/bn254)

### Proof Systems

- Groth16 [[Gro16]](https://eprint.iacr.org/2016/260) using [ark_groth16](https://github.com/arkworks-rs/groth16)

- GM17 [[GM17]](https://eprint.iacr.org/2017/540) using [ark_gm17](https://github.com/arkworks-rs/gm17)

- Marlin with Marlin polynomial commitment [[CHMMVW20]](https://ia.cr/2019/1047) using [ark_marlin](https://github.com/arkworks-rs/marlin) and [ark_poly_commit::marlin_pc](https://github.com/arkworks-rs/poly-commit/tree/master/src/marlin)

## Acknowledgement

The Solidity verifier template was modified from [ZoKrates](https://github.com/Zokrates/ZoKrates) implementation.

-