Expand description
Range check for a fixed bit size via preprocessed trace.
Caution: We almost always prefer to use the VariableRangeCheckerChip instead of this chip.
Structs§
- Represents a bus for
xwherexmust lie in the range[0, range_max).
Range check for a fixed bit size via preprocessed trace.
Caution: We almost always prefer to use the VariableRangeCheckerChip instead of this chip.
x where x must lie in the range [0, range_max).