Arkworks Solidity Verifier

Solidity SNARK验证器生成器，用于Arkwork的证明系统。通过特性实现可扩展到未来的与Ethereum兼容的曲线或自定义预编译曲线。

支持算法

曲线

• BN254 [BCTV14] 使用 ark_bn254

证明系统

• Groth16 [Gro16] 使用 ark_groth16
• GM17 [GM17] 使用 ark_gm17
• Marlin与Marlin多项式承诺 [CHMMVW20] 使用 ark_marlin 和 ark_poly_commit::marlin_pc

致谢

Solidity验证器模板修改自 ZoKrates 实现。

• https://github.com/Zokrates/ZoKrates/tree/develop/zokrates_proof_systems