Module halo2_base::gates::range
source · [−]Expand description
Module using a single lookup table for range checks
Structs
A chip that implements RangeInstructions which provides methods to constrain a field element
x
is within a range of bits.Configuration for Range Chip
Enums
Specifies the gate strategy for the range chip
Traits
Trait that implements methods to constrain a field element number
x
is within a range of bits.