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