arkworks::algebra

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

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

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

目录结构

此存储库包含几个 Rust crate

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

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

构建指南

该库可以在Rust编译器（v1.51+）的stable工具链上编译。要安装最新版本的Rust，首先按照这里的说明安装rustup，或者通过您平台上的软件包管理器安装。安装好rustup后，通过以下命令安装Rust工具链：

rustup install stable

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

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

测试

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

cargo test --all

基准测试

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

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中的内联汇编支持目前不稳定，因此使用此后端需要目前使用夜间编译器。

许可证

此存储库中的crate可以任选以下许可证之一。

• Apache许可证第2版（LICENSE-APACHE或apache.org许可证链接）
• MIT许可证（LICENSE-MIT或opensource.org许可证链接）

除非您明确说明，否则您提交给此库的任何贡献都将如上所述的双许可（如Apache v2许可证中定义），无需任何额外条款或条件。

致谢

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

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