Trait VmBuilder 

pub trait VmBuilder<E: StarkEngine>: Sized {
    type VmConfig: VmConfig<E::SC>;
    type RecordArena: Arena;
    type SystemChipInventory: SystemChipComplex<Self::RecordArena, E::PB>;

    // Required method
    fn create_chip_complex(
        &self,
        config: &Self::VmConfig,
        circuit: AirInventory<E::SC>,
        device_ctx: &EngineDeviceCtx<E>,
    ) -> Result<VmChipComplex<E::SC, Self::RecordArena, E::PB, Self::SystemChipInventory>, ChipInventoryError>;
}

This trait is intended to be implemented on a new type wrapper of the VmConfig struct to get around Rust orphan rules.

Required Associated Types

type VmConfig: VmConfig<E::SC>

type RecordArena: Arena

type SystemChipInventory: SystemChipComplex<Self::RecordArena, E::PB>

Required Methods

fn create_chip_complex( &self, config: &Self::VmConfig, circuit: AirInventory<E::SC>, device_ctx: &EngineDeviceCtx<E>, ) -> Result<VmChipComplex<E::SC, Self::RecordArena, E::PB, Self::SystemChipInventory>, ChipInventoryError>

Create a VmChipComplex from the full AirInventory, which should be the output of VmCircuitConfig::create_airs.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl VmBuilder<GpuEngine<BabyBearPoseidon2HashScheme>> for SystemGpuBuilder

type VmConfig = SystemConfig

type RecordArena = DenseRecordArena

type SystemChipInventory = SystemChipInventoryGPU

impl<SC, E> VmBuilder<E> for SystemCpuBuilder

where SC: StarkProtocolConfig, E: StarkEngine<SC = SC, PB = CpuBackend<SC>, PD = CpuDevice<SC>>, Val<SC>: VmField, SC::EF: Ord,

type VmConfig = SystemConfig

type RecordArena = MatrixRecordArena<<SC as StarkProtocolConfig>::F>

type SystemChipInventory = SystemChipInventory<SC>