ark_r1cs_std

Module boolean

Source
Expand description

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

Structs§

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

Enums§

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