此crate公开了bellpepper库的主要特性和核心结构。

lib.rs:

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

示例电路

假设我们想要编写一个电路，证明我们知道使用SHA-256d（调用SHA-256两次）计算出的某个哈希的预映像。预映像必须具有预先知道的固定长度（因为电路参数将取决于它），但可以具有任何其他值。我们采取以下策略

• 为预映像的每个位提供证明。
• 在电路内部计算 hash = SHA-256d(preimage)
• 使用多标量打包将 hash 作为公共输入公开。