#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 • Rust 包仓库 101/week @ 2024-01-02 • Rust 包仓库 170/week @ 2024-01-09 • Rust 包仓库 75/week @ 2024-01-16 • Rust 包仓库 248/week @ 2024-01-23 • Rust 包仓库 95/week @ 2024-01-30 • Rust 包仓库 52/week @ 2024-02-06 • Rust 包仓库 92/week @ 2024-02-13 • Rust 包仓库 74/week @ 2024-02-20 • Rust 包仓库 83/week @ 2024-02-27 • Rust 包仓库 128/week @ 2024-03-05 • Rust 包仓库 128/week @ 2024-03-12 • Rust 包仓库 118/week @ 2024-03-19 • Rust 包仓库 81/week @ 2024-03-26 • Rust 包仓库 160/week @ 2024-04-02 • Rust 包仓库 132/week @ 2024-04-09 • Rust 包仓库 143/week @ 2024-04-16 • Rust 包仓库

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