{"repo":"Tetration-Lab/arkworks-solidity-verifier","free":true,"listed":false,"github":"https://github.com/Tetration-Lab/arkworks-solidity-verifier","clone":"git clone https://github.com/Tetration-Lab/arkworks-solidity-verifier.git","description":"Solidity SNARK verifier generator for Arkwork's proof systems.","language":"Rust","stars":11,"topics":["cryptography","ethereum","solidity","arkworks","zksnark","groth16","marlin","gm17"],"license":"LGPL-3.0","category":"blockchain-web3","readme_excerpt":"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 Proof Systems - Groth16 [[Gro16]](https://eprint.iacr.org/2016/260) using ark groth16 - GM17 [[GM17]](https://eprint.iacr.org/2017/540) using ark gm17 - Marlin with Marlin polynomial commitment [[CHMMVW20]](https://ia.cr/2019/1047) using ark marlin and ark poly commit::marlin pc Acknowledgement The Solidity verifier template was modified from ZoKrates implementation. -","default_branch":null,"files":null,"tree":[],"storefront":"/r/Tetration-Lab","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/Tetration-Lab/arkworks-solidity-verifier/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}