Struct VariableRangeCheckerChip 

pub struct VariableRangeCheckerChip {
    pub air: VariableRangeCheckerAir,
    pub count: Vec<AtomicU32>,
}

Fields

air: VariableRangeCheckerAir

count: Vec<AtomicU32>

Implementations

impl VariableRangeCheckerChip

pub fn new(bus: VariableRangeCheckerBus) -> Self

pub fn bus(&self) -> VariableRangeCheckerBus

pub fn range_max_bits(&self) -> usize

pub fn air_width(&self) -> usize

pub fn add_count(&self, value: u32, max_bits: usize)

pub fn clear(&self)

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

Generates trace and resets the internal counters all to 0.

pub fn decompose<F: Field>(&self, value: u32, bits: usize, limbs: &mut [F])

Range checks that value is bits bits by decomposing into limbs where all but last limb is range_max_bits bits. Assumes there are enough limbs.

Trait Implementations

impl<R, SC: StarkProtocolConfig> Chip<R, CpuBackend<SC>> for VariableRangeCheckerChip

where Val<SC>: PrimeField32,

fn generate_proving_ctx(&self, _: R) -> AirProvingContext<CpuBackend<SC>>

Generates trace and resets the internal counters all to 0.

fn constant_trace_height(&self) -> Option<usize>

If this chip always produces a trace with a fixed number of rows (independent of execution), return that height. Used by metered execution to avoid resetting constant-height chips on segment boundaries.