4 releases (2 breaking)
|0.4.0||Nov 7, 2023|
|0.3.0||Oct 26, 2023|
|0.2.1||Aug 1, 2023|
|0.2.0||Jul 28, 2023|
#966 in Rust patterns
18,617 downloads per month
Used in 33 crates (6 directly)
This crate exposes the main traits and core structures of the bellpepper library.
bellpepper is a crate for building zk-SNARK circuits. It provides circuit
traits and and primitive structures, as well as basic gadget implementations
such as booleans and number abstractions.
Say we want to write a circuit that proves we know the preimage to some hash computed using SHA-256d (calling SHA-256 twice). The preimage must have a fixed length known in advance (because the circuit parameters will depend on it), but can otherwise have any value. We take the following strategy:
- Witness each bit of the preimage.
hash = SHA-256d(preimage)inside the circuit.
hashas a public input using multiscalar packing.