Struct RangeCheckerGateChip

pub struct RangeCheckerGateChip {
    pub air: RangeCheckerGateAir,
    pub count: Vec<AtomicU32>,
}

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.

Fields

air: RangeCheckerGateAir

count: Vec<AtomicU32>

Implementations

impl RangeCheckerGateChip

pub fn new(bus: RangeCheckBus) -> Self

pub fn bus(&self) -> RangeCheckBus

pub fn bus_index(&self) -> usize

pub fn range_max(&self) -> u32

pub fn air_width(&self) -> usize

pub fn add_count(&self, val: u32)

pub fn clear(&self)

pub fn generate_trace<F: Field>(&self) -> RowMajorMatrix<F>

Trait Implementations

impl Debug for RangeCheckerGateChip

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.