bellman

bellman 是一个用于构建 zk-SNARK 电路的crate。它提供了电路特性和原始结构，以及基本的gadget实现，例如布尔值和数字抽象。

bellman 使用 ff 和 group crates 在标量字段类型上泛化构建电路，该类型用作电路的“单词”。在标量字段素数模下的算术运算效率高，而其他操作（如布尔逻辑）则使用这些单词实现。

路线图

目前，bellman 包含了 Groth16 证明系统的实现。这将在未来被移动到一个单独的crate中，而 bellman 将包含使实现证明系统更容易的任何实用工具。

许可证

在以下许可证中选择一种

• Apache License，版本 2.0，(LICENSE-APACHE 或 https://apache.ac.cn/licenses/LICENSE-2.0)
• MIT 许可证 (LICENSE-MIT 或 http://opensource.org/licenses/MIT)

由您选择。

贡献

除非您明确声明，否则根据Apache-2.0许可证定义，您有意提交以包含在作品中的任何贡献，将双重许可如上所述，不附加任何额外条款或条件。