Struct DummyInteractionChip

pub struct DummyInteractionChip<'a, SC: StarkGenericConfig> {
    pub air: DummyInteractionAir,
    /* private fields */
}

Note: in principle, committing cached trace is out of scope of a chip. But this chip is for usually testing, so we support it for convenience.

Fields

air: DummyInteractionAir

Implementations

impl<'a, SC: StarkGenericConfig> DummyInteractionChip<'a, SC>

where Val<SC>: AbstractField,

pub fn new_without_partition( field_width: usize, is_send: bool, bus_index: usize, ) -> Self

pub fn new_with_partition( pcs: &'a SC::Pcs, field_width: usize, is_send: bool, bus_index: usize, ) -> Self

pub fn load_data(&mut self, data: DummyInteractionData)

Trait Implementations

impl<SC: StarkGenericConfig> Chip<SC> for DummyInteractionChip<'_, SC>

fn air(&self) -> Arc<dyn AnyRap<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<SC: StarkGenericConfig> ChipUsageGetter for DummyInteractionChip<'_, SC>

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<SC: StarkGenericConfig> Clone for DummyInteractionChip<'_, SC>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.