arkworks::algebra

arkworks生态系统包括用于设计和使用零知识简洁非交互式论证(zkSNARKs)的Rust库。此仓库包含zkSNARKs底层关键代数组件的高效实现：有限域、椭圆曲线和多项式。

此库在MIT许可证和Apache v2许可证下发布（参见许可证）。

警告：这是一个学术性质的证明概念原型，并且特别是尚未经过仔细的代码审查。此实现不适用于生产使用。

目录结构

此仓库包含几个Rustcrate

• ark-ff：各种有限域的通用抽象和实现
• ark-ec：素数阶群的通用抽象和各种（配对友好型和标准型）椭圆曲线的实现
• ark-poly：一元、多元和多线性多项式及其在有限域上的FFT的接口
• ark-serialize：有限域和椭圆曲线的序列化和点压缩的高效接口

此外，curves仓库包含流行的椭圆曲线的具体实现；有关详细信息，请参阅此处。

构建指南

此库可以在Rust编译器的stable工具链上编译（v 1.51+）。要安装最新版本的Rust，首先按照此处的说明安装rustup，或通过您平台的包管理器安装。安装rustup后，通过调用

rustup install stable

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

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

测试

此库为提供的每个crate提供了全面的单元和集成测试。运行测试如下

cargo test --all

基准测试

要运行基准测试，安装夜间Rust工具链，通过rustup install nightly，然后运行以下命令

cargo +nightly bench

域算术的汇编后端

该 ark-ff 库包含（默认不开启）基于 adcxq、adoxq 和 mulxq 指令优化的域算术的汇编实现。这些在大多数 x86_64 平台上可用（英特尔 Broadwell 以上的版本和 AMD Ryzen 以上的版本）。使用这个后端可以实现有限域和椭圆曲线算术的 30-70% 的速度提升。要启用此后端进行构建，请运行以下命令

RUSTFLAGS="-C target-feature=+bmi2,+adx" cargo [test/build/bench] --features asm

要在自己的项目 Cargo.toml 中启用此功能，请启用 asm 功能标志

ark-ff = { version = "0.4", features = [ "asm" ] }

请注意，由于 Rust 中的内联汇编支持目前不稳定，目前使用此后端需要使用 Nightly 编译器。

许可协议

本存储库中的库根据您的要求，在以下许可协议之一下授权。

• Apache 许可协议第 2 版 (LICENSE-APACHE 或 apache.org 许可协议链接)
• MIT 许可协议 (LICENSE-MIT 或 opensource.org 许可协议链接)

除非您明确声明，否则您提交给本库的任何贡献都应按照上述协议双授权（如 Apache v2 许可协议中定义），不附加任何额外条款或条件。

致谢

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

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