Struct SystemChipInventory 

pub struct SystemChipInventory<SC: StarkGenericConfig> {
    pub program_chip: ProgramChip<SC>,
    pub connector_chip: VmConnectorChip<Val<SC>>,
    pub memory_controller: MemoryController<Val<SC>>,
    pub public_values_chip: Option<PublicValuesChip<Val<SC>>>,
}

Base system chips for CPU backend. These chips must exactly correspond to the AIRs in SystemAirInventory.

Fields

program_chip: ProgramChip<SC>

connector_chip: VmConnectorChip<Val<SC>>

memory_controller: MemoryController<Val<SC>>

Contains all memory chips

public_values_chip: Option<PublicValuesChip<Val<SC>>>

Implementations

impl<SC: StarkGenericConfig> SystemChipInventory<SC>

where Val<SC>: PrimeField32,

pub fn new( config: &SystemConfig, mem_inventory: &MemoryAirInventory<SC>, range_checker: SharedVariableRangeCheckerChip, hasher_chip: Option<Arc<Poseidon2PeripheryChip<Val<SC>>>>, ) -> Self

Trait Implementations

impl<RA, SC> SystemChipComplex<RA, CpuBackend<SC>> for SystemChipInventory<SC>

where RA: RowMajorMatrixArena<Val<SC>>, SC: StarkGenericConfig, Val<SC>: PrimeField32,

fn load_program( &mut self, cached_program_trace: CommittedTraceData<CpuBackend<SC>>, )

Loads the program in the form of a cached trace with prover data.

fn transport_init_memory_to_device(&mut self, memory: &GuestMemory)

Transport the initial memory state to device. This may be called before preflight execution begins and start async device processes in parallel to execution.

fn generate_proving_ctx( &mut self, system_records: SystemRecords<Val<SC>>, record_arenas: Vec<RA>, ) -> Vec<AirProvingContext<CpuBackend<SC>>>

The caller must guarantee that record_arenas has length equal to the number of system AIRs, although some arenas may be empty if they are unused.

fn finalize_trace_heights(&self, heights: &mut [usize])

This function is only used for metric collection purposes and custom implementations are free to ignore it.

impl<SC: StarkGenericConfig> SystemWithFixedTraceHeights for SystemChipInventory<SC>

where Val<SC>: PrimeField32,

fn override_trace_heights(&mut self, heights: &[u32])

Warning: this does not set the override for the PublicValuesChip. The PublicValuesChip override must be set via the RecordArena.