Module ark_r1cs_std::bits::boolean[−][src]

Expand description

This module contains Boolean, a R1CS equivalent of the bool type.

Structs

AllocatedBool

Represents a variable in the constraint system which is guaranteed to be either zero or one.

Enums

Boolean

Represents a boolean value in the constraint system which is guaranteed to be either zero or one.