Struct SharedVariableRangeCheckerChip

pub struct SharedVariableRangeCheckerChip(/* private fields */);

Implementations

impl SharedVariableRangeCheckerChip

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>

Trait Implementations

impl AsRef<VariableRangeCheckerChip> for SharedVariableRangeCheckerChip

fn as_ref(&self) -> &VariableRangeCheckerChip

Converts this type into a shared reference of the (usually inferred) input type.

impl<SC: StarkGenericConfig> Chip<SC> for SharedVariableRangeCheckerChip

where Val<SC>: PrimeField32,

fn air(&self) -> AirRef<SC>

fn generate_air_proof_input(self) -> AirProofInput<SC>

Generate all necessary input for proving a single AIR.

fn generate_air_proof_input_with_id( self, air_id: usize, ) -> (usize, AirProofInput<SC>)

impl ChipUsageGetter for SharedVariableRangeCheckerChip

fn air_name(&self) -> String

fn current_trace_height(&self) -> usize

Height of used rows in the main trace.

fn trace_width(&self) -> usize

Width of the main trace

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

If the chip has a state-independent trace height that is determined upon construction, return this height. This is used to distinguish “static” versus “dynamic” usage metrics.

fn current_trace_cells(&self) -> usize

For metrics collection

impl Clone for SharedVariableRangeCheckerChip

fn clone(&self) -> SharedVariableRangeCheckerChip

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.