arkworks::algebra

arkworks生态系统由Rust库组成，用于设计和使用零知识简短非交互式论证（zkSNARKs）。此存储库包含zkSNARKs背后的关键代数组件的高效实现：有限域、椭圆曲线和多项式。

此库根据MIT许可证和Apache v2许可证发布（见许可证）。

警告：这是一个学术原型，特别是没有经过仔细的代码审查。此实现尚未准备好用于生产使用。

目录结构

此存储库包含几个Rustcrate

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

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

构建指南

此库可以在Rust编译器的稳定工具链（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

基准测试

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

cargo +nightly bench

字段算术的汇编后端

ark-ff crate包含（默认不开启）基于adcxq、adoxq和mulxq指令优化的字段算术汇编实现。这些指令在大多数x86_64平台上可用（Intel 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编译器。

许可协议

该存储库中的crate根据您的选择，受以下任一许可协议的约束：

• Apache License Version 2.0 (LICENSE-APACHE或apache.org许可链接)
• MIT许可协议 (LICENSE-MIT或opensource.org许可链接)

除非您明确声明，否则您提交的任何贡献都应作为上述协议的二元许可（根据Apache v2许可定义），不附加任何额外条款或条件。

致谢

本工作得到了以下机构的支持：Google Faculty Award、国家科学基金会、UC Berkeley长期网络安全中心以及来自Ethereum Foundation、Interchain Foundation和Qtum的捐款。

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