1 unstable release

Uses old Rust 2015

0.0.1 Dec 24, 2015

MIT license

15K SLoC

C++ 14K SLoC // 0.2% comments Python 539 SLoC // 0.2% comments Rust 30 SLoC // 0.3% comments Shell 21 SLoC // 0.2% comments

bellman Crates.io

bellman is a crate for building zk-SNARK circuits. It provides circuit traits and primitive structures, as well as basic gadget implementations such as booleans and number abstractions.

bellman uses the ff and group crates to build circuits generically over a scalar field type, which is used as the "word" of a circuit. Arithmetic operations modulo the scalar field's prime are efficient, while other operations (such as boolean logic) are implemented using these words.


Currently bellman bundles an implementation of the Groth16 proving system. This will be moved into a separate crate in the future, and bellman will contain any utilities that make implementing proving systems easier.


Licensed under either of

at your option.


Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

No runtime deps