Trait VmAdapterAir

pub trait VmAdapterAir<AB: AirBuilder>: BaseAir<AB::F> {
    type Interface: VmAdapterInterface<AB::Expr>;

    // Required methods
    fn eval(
        &self,
        builder: &mut AB,
        local: &[AB::Var],
        interface: AdapterAirContext<AB::Expr, Self::Interface>,
    );
    fn get_from_pc(&self, local: &[AB::Var]) -> AB::Var;
}

Required Associated Types

type Interface: VmAdapterInterface<AB::Expr>

Required Methods

fn eval( &self, builder: &mut AB, local: &[AB::Var], interface: AdapterAirContext<AB::Expr, Self::Interface>, )

Air constraints owned by the adapter. The interface is given as abstract expressions so it can be directly used in other AIR constraints.

Adapters should document the max constraint degree as a function of the constraint degrees of reads, writes, instruction.

fn get_from_pc(&self, local: &[AB::Var]) -> AB::Var

Return the from_pc expression.

Implementors

impl<AB: InteractionBuilder, const R: usize, const W: usize> VmAdapterAir<AB> for NativeAdapterAir<R, W>

type Interface = BasicAdapterInterface<<AB as AirBuilder>::Expr, MinimalInstruction<<AB as AirBuilder>::Expr>, R, W, 1, 1>