Type Alias SystemComplex

pub type SystemComplex<F> = VmChipComplex<F, SystemExecutor<F>, SystemPeriphery<F>>;

The base VmChipComplex with only system chips.

Aliased Type

struct SystemComplex<F> {
    pub base: SystemBase<F>,
    pub inventory: VmInventory<SystemExecutor<F>, SystemPeriphery<F>>,
    /* private fields */
}

Fields

base: SystemBase<F>

inventory: VmInventory<SystemExecutor<F>, SystemPeriphery<F>>

Extendable collection of chips for executing instructions. System ensures it contains:

• PhantomChip
• PublicValuesChip if continuations disabled
• Poseidon2Chip if continuations enabled

Implementations

impl<F: PrimeField32> SystemComplex<F>

pub fn new(config: SystemConfig) -> Self

impl<F: PrimeField32, E, P> VmChipComplex<F, E, P>

pub fn config(&self) -> &SystemConfig

impl<F: PrimeField32, E, P> VmChipComplex<F, E, P>

pub fn inventory_builder(&self) -> VmInventoryBuilder<'_, F>

where E: AnyEnum, P: AnyEnum,

pub fn extend<E3, P3, Ext>( self, config: &Ext, ) -> Result<VmChipComplex<F, E3, P3>, VmInventoryError>

where Ext: VmExtension<F>, E: Into<E3> + AnyEnum, P: Into<P3> + AnyEnum, Ext::Executor: Into<E3>, Ext::Periphery: Into<P3>,

Extend the chip complex with a new extension. A new chip complex with different type generics is returned with the combined inventory.

pub fn transmute<E2, P2>(self) -> VmChipComplex<F, E2, P2>

where E: Into<E2>, P: Into<P2>,

pub fn append( &mut self, other: VmInventory<E, P>, ) -> Result<(), VmInventoryError>

Appends other to the current inventory. This means self comes earlier in the dependency chain.

pub fn program_chip(&self) -> &ProgramChip<F>

pub fn program_chip_mut(&mut self) -> &mut ProgramChip<F>

pub fn connector_chip(&self) -> &VmConnectorChip<F>

pub fn connector_chip_mut(&mut self) -> &mut VmConnectorChip<F>

pub fn memory_controller(&self) -> &MemoryController<F>

pub fn range_checker_chip(&self) -> &SharedVariableRangeCheckerChip

pub fn public_values_chip(&self) -> Option<&PublicValuesChip<F>>

where E: AnyEnum,

pub fn poseidon2_chip(&self) -> Option<&Poseidon2PeripheryChip<F>>

where P: AnyEnum,

pub fn poseidon2_chip_mut(&mut self) -> Option<&mut Poseidon2PeripheryChip<F>>

where P: AnyEnum,

pub fn finalize_memory(&mut self)

where P: AnyEnum,

pub fn take_streams(&mut self) -> Streams<F>

This should only be called after segment execution has finished.

pub fn num_airs(&self) -> usize

pub fn get_internal_trace_heights(&self) -> VmComplexTraceHeights

where E: ChipUsageGetter, P: ChipUsageGetter,

Return trace heights of (SystemBase, Inventory). Usually this is for aggregation and not useful for regular users.

Warning: the order of get_trace_heights is deterministic, but it is not the same as the order of air_names. In other words, the order here does not match the order of AIR IDs.

pub fn get_dummy_internal_trace_heights(&self) -> VmComplexTraceHeights

where E: ChipUsageGetter, P: ChipUsageGetter,

Return dummy trace heights of (SystemBase, Inventory). Usually this is for aggregation to generate a dummy proof and not useful for regular users.

Warning: the order of get_dummy_trace_heights is deterministic, but it is not the same as the order of air_names. In other words, the order here does not match the order of AIR IDs.

pub fn airs<SC: StarkGenericConfig>(&self) -> Vec<AirRef<SC>>

where Domain<SC>: PolynomialSpace<Val = F>, E: Chip<SC>, P: Chip<SC>,