Module bellpepper::gadgets::boolean
source · Expand description
Gadgets for allocating bits in the circuit and performing boolean logic.
Structs§
- Represents a variable in the constraint system which is guaranteed to be either zero or one.
Enums§
- This is a boolean value which may be either a constant or an interpretation of an
AllocatedBit
.