arkworks-solidity-verifier
所属分类：加密解密
开发工具：Rust
文件大小：25KB
下载次数：0
上传日期：2023-02-24 06:24:51
上 传 者：
sh-1993
说明： 用于Arkwork证明系统的Solidity SNARK验证器生成器。
(Solidity SNARK verifier generator for Arkwork s proof systems.)
文件列表:
Cargo.lock (16226, 2023-01-28)
Cargo.toml (1325, 2023-01-28)
LICENSE (7651, 2023-01-28)
src (0, 2023-01-28)
src\constants.rs (85, 2023-01-28)
src\lib.rs (861, 2023-01-28)
src\pairings (0, 2023-01-28)
src\pairings\bn254.rs (21696, 2023-01-28)
src\pairings\mod.rs (15, 2023-01-28)
src\schemes (0, 2023-01-28)
src\schemes\gm17.rs (6370, 2023-01-28)
src\schemes\groth16.rs (5789, 2023-01-28)
src\schemes\marlin (0, 2023-01-28)
src\schemes\marlin\marlin_pc.rs (30921, 2023-01-28)
src\schemes\marlin\mod.rs (19, 2023-01-28)
src\schemes\mod.rs (47, 2023-01-28)
src\tests.rs (2867, 2023-01-28)
src\utils.rs (371, 2023-01-28)
# 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.
-
近期下载者：
相关文件：
收藏者：