Module range_gate

Range check for a fixed bit size without using preprocessed trace.

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

Re-exports

pub use crate::range::RangeCheckBus;

Structs

RangeCheckerGateAir

RangeCheckerGateChip

This chip gets requests to verify that a number is in the range [0, MAX). In the trace, there is a counter column and a multiplicity column. The counter column is generated using a gate, as opposed to the other RangeCheckerChip.

RangeGateCols

Constants

NUM_RANGE_GATE_COLS

RANGE_GATE_COL_MAP