Module range_tuple

Range check a tuple simultaneously. When you know you want to range check (x, y) to x_bits, y_bits respectively and 2^{x_bits + y_bits} < ~2^20, then you can use this chip to do the range check in one interaction versus the two interactions necessary if you were to use VariableRangeCheckerChip instead.

Structs

RangeTupleCheckerAir

RangeTupleCheckerBus

RangeTupleCheckerBusInteraction

RangeTupleCheckerChip

RangeTupleCols

RangeTuplePreprocessedCols

SharedRangeTupleCheckerChip

Constants

NUM_RANGE_TUPLE_COLS