ark-r1cs-std

arkworks 生态系统由设计和工作与零知识简短非交互性论证 (zkSNARKs) 的 Rust 库组成。此仓库包含约束 "组件" 的有效实现，这些组件可以检查 SNARKs 中的常见计算，例如位操作、有限域算术、椭圆曲线算术和配对。

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

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

构建指南

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

rustup install stable

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

git clone https://github.com/arkworks-rs/r1cs-std.git
cargo build --release

此库为每个提供的 crate 提供单元测试。使用以下命令运行测试

cargo test

许可证

您可以选择以下任一许可证来许可此库。

• Apache 许可证版本 2.0 (LICENSE-APACHE 或 https://apache.ac.cn/licenses/LICENSE-2.0)
• 麻省理工学院许可证（LICENSE-MIT 或 http://opensource.org/licenses/MIT）

除非您明确表示，否则您提交给本库的任何贡献都将按照上述方式双重授权（如Apache v2许可证中定义），没有其他附加条款或条件。

致谢

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

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