bellman # bellman 是一个用于构建 zk-SNARK 电路的 crate。它提供了电路特性和原语结构，以及基本 gadget 实现，例如布尔值和数字抽象。bellman 使用 ff 和 group crate 来在一个标量域类型上通用地构建电路，该类型用作电路的“单位”。对标量域的素数模的算术运算是高效的，而其他运算（例如布尔逻辑）则使用这些单位来实现。
目前 bellman 封装了 Groth16 验证系统的实现。未来将将其移至一个单独的 crate 中,而 bellman 将包含任何能够简化实现验证系统的工具。