Struct VolatileBoundaryChip 

pub struct VolatileBoundaryChip<F> {
    pub air: VolatileBoundaryAir,
    pub final_memory: Option<TimestampedEquipartition<F, 1>>,
    /* private fields */
}

Fields

air: VolatileBoundaryAir

final_memory: Option<TimestampedEquipartition<F, 1>>

Implementations

impl<F> VolatileBoundaryChip<F>

pub fn new( memory_bus: MemoryBus, addr_space_max_bits: usize, pointer_max_bits: usize, range_checker: SharedVariableRangeCheckerChip, ) -> Self

impl<F: PrimeField32> VolatileBoundaryChip<F>

pub fn set_overridden_height(&mut self, overridden_height: usize)

pub fn finalize(&mut self, final_memory: TimestampedEquipartition<F, 1>)

Volatile memory requires the starting and final memory to be in equipartition with block size 1. When block size is 1, then the label is the same as the address pointer.

Trait Implementations

impl<RA, SC: StarkGenericConfig> Chip<RA, CpuBackend<SC>> for VolatileBoundaryChip<Val<SC>>

where Val<SC>: PrimeField32,

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

Generate all necessary context for proving a single AIR.

impl<F: PrimeField32> ChipUsageGetter for VolatileBoundaryChip<F>

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