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

no-std ark-gm17

2017年Groth-Maller zkSNARK证明系统的实现

2个不稳定版本

0.3.0 2021年6月6日
0.2.0 2021年3月25日

#2474 in 密码学

Download history 101/week @ 2024-01-02 170/week @ 2024-01-09 75/week @ 2024-01-16 248/week @ 2024-01-23 95/week @ 2024-01-30 52/week @ 2024-02-06 92/week @ 2024-02-13 74/week @ 2024-02-20 83/week @ 2024-02-27 128/week @ 2024-03-05 128/week @ 2024-03-12 118/week @ 2024-03-19 81/week @ 2024-03-26 160/week @ 2024-04-02 132/week @ 2024-04-09 143/week @ 2024-04-16

531 每月下载量
用于 2 crates

MIT/Apache

65KB
1.5K SLoC

ark-gm17

arkworks生态系统包括用于设计和使用 零知识简短非交互式论证(zkSNARKs) 的Rust库。此仓库包含Groth和Maller的zkSNARK的高效实现。

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

警告:这是一个学术概念原型,特别是尚未经过仔细的代码审查。此实现不适合生产使用。

构建指南

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

rustup install stable

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

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

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

cargo test

许可证

此库根据以下许可证之一进行许可,由您自行决定。

除非您明确声明,否则您提交给此库的任何贡献都将根据上述许可证双重许可(如Apache v2许可证中定义),没有额外的条款或条件。

致谢

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

该库的早期版本是作为论文《ZEXE: 启用去中心化私有计算》的一部分开发的。

依赖项

约5-15MB
约178K SLoC