Trait VmCircuitExtension 

pub trait VmCircuitExtension<SC: StarkGenericConfig> {
    // Required method
    fn extend_circuit(
        &self,
        inventory: &mut AirInventory<SC>,
    ) -> Result<(), AirInventoryError>;
}

Extension of the VM circuit. Allows in-order addition of new AIRs with interactions.

Required Methods

fn extend_circuit( &self, inventory: &mut AirInventory<SC>, ) -> Result<(), AirInventoryError>

Implementations on Foreign Types

impl<SC: StarkGenericConfig, EXT: VmCircuitExtension<SC>> VmCircuitExtension<SC> for Option<EXT>

fn extend_circuit( &self, inventory: &mut AirInventory<SC>, ) -> Result<(), AirInventoryError>

Implementors