Module range

Range check for a fixed bit size via preprocessed trace.

Caution: We almost always prefer to use the VariableRangeCheckerChip instead of this chip.

Structs

BitsCheckBusInteraction

RangeCheckBus

Represents a bus for x where x must lie in the range [0, range_max).

RangeCheckBusInteraction

RangeCheckerAir

RangeCheckerChip

RangeCols

RangePreprocessedCols

Constants

NUM_RANGE_COLS

NUM_RANGE_PREPROCESSED_COLS