#zk-snarks #zero-knowledge #snark #groth-maller #zero-knowledge-proofs

no-std ark-groth16-zypher

Groth 2016 zkSNARK证明系统的实现

1个不稳定版本

0.4.0 2024年5月26日

#2469 in 密码学


用于 2 个crate(通过 zshuffle

MIT/Apache

69KB
1.5K SLoC

ark-groth16

arkworks生态系统由用于设计和使用零知识简洁非交互式论证(zkSNARKs)的Rust库组成。此仓库包含对[Groth16]的zkSNARK的高效实现。

此库根据MIT许可证和Apache v2许可证发布(见许可证)。

警告:这是一个学术性的概念原型,特别是尚未经过仔细的代码审查。此实现尚未准备好用于生产。

构建指南

此库在Rust编译器的stable工具链上编译。要安装最新版本的Rust,请按照此处的说明安装rustup,或通过您的平台包管理器。安装rustup后,通过调用

rustup install stable

之后,使用cargo,标准的Rust构建工具,来构建库

git clone https://github.com/arkworks-rs/groth16.git
cargo build --release

此库为提供的每个crate提供了单元测试。使用以下命令运行测试

cargo test

许可证

您可以选择以下任何一个许可证来许可此库。

除非您明确表示否则,您提交给此库的任何贡献都应按照上述方式双许可(如Apache v2许可证中定义),不附加任何额外条款或条件。

致谢

这项工作得到了以下机构的支持:谷歌教师奖;美国国家科学基金会;加州大学伯克利分校长期网络安全中心;以及以太坊基金会、Interchain基金会和Qtum的捐赠。

此库的早期版本是作为论文《ZEXE: Enabling Decentralized Private Computation》的一部分开发的。

依赖项

~5–17MB
~170K SLoC