arkworks::algebra

arkworks 生态系统由 Rust 库组成，用于设计和处理 零知识简洁非交互式论证 (zkSNARKs)。此存储库包含 zkSNARKs 的基础代数组件的高效实现：有限域、椭圆曲线和多项式。

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

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

目录结构

此存储库包含多个 Rust 包

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

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

构建指南

该库可以在 Rust 编译器的 stable 工具链（v 1.51+）上编译。要安装最新版本的 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

基准测试

要运行基准测试，请安装夜间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中的内联汇编支持目前不稳定，因此使用此后端需要当前使用夜间编译器。

许可证

该存储库中的crate根据您的选择，受以下任一许可证的许可。

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

除非您明确说明，否则您提交给该库的任何贡献都将根据上述许可证（根据Apache v2许可证定义）双许可，不附加任何其他条款或条件。

致谢

本作品得到了以下支持：Google教授奖；美国国家科学基金会；加州大学伯克利分校长期网络安全中心；以及以太坊基金会、互链基金会和Qtum的捐款。

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

lib.rs:

本库实现了secp384r1曲线。来源：https://neuromancer.sk/std/nist/P-384

曲线信息

• 基数域：q = 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeffffffff0000000000000000ffffffff
• 标量域：r = 0xffffffffffffffffffffffffffffffffffffffffffffffffc7634d81f4372ddf581a0db248b0a77aecec196accc52973
• a = -3
• b = 0xb3312fa7e23ee7e4988e056be3f82d19181d9c6efe8141120314088f5013875ac656398d8a2ed19d2a85c8edd3ec2aef
• 曲线方程：y^2 = x^3 + ax + b