Module range_tuple

Expand description

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.