Trait VmCoreAir

pub trait VmCoreAir<AB, I>: BaseAirWithPublicValues<AB::F>
where
    AB: AirBuilder,
    I: VmAdapterInterface<AB::Expr>,
{
    // Required method
    fn eval(
        &self,
        builder: &mut AB,
        local_core: &[AB::Var],
        from_pc: AB::Var,
    ) -> AdapterAirContext<AB::Expr, I>;
}

Required Methods

fn eval( &self, builder: &mut AB, local_core: &[AB::Var], from_pc: AB::Var, ) -> AdapterAirContext<AB::Expr, I>

Returns (to_pc, interface).

Implementors

impl<AB: InteractionBuilder + AirBuilderWithPublicValues> VmCoreAir<AB, BasicAdapterInterface<<AB as AirBuilder>::Expr, MinimalInstruction<<AB as AirBuilder>::Expr>, 2, 0, 1, 1>> for PublicValuesCoreAir