Struct Rv32HintStoreAdapterAir

pub struct Rv32HintStoreAdapterAir {
    pub range_bus: VariableRangeCheckerBus,
    /* private fields */
}

Fields

range_bus: VariableRangeCheckerBus

Implementations

impl Rv32HintStoreAdapterAir

pub fn new( memory_bridge: MemoryBridge, execution_bridge: ExecutionBridge, range_bus: VariableRangeCheckerBus, pointer_max_bits: usize, ) -> Self

Constructs a new Rv32HintStoreAdapterAir.

Trait Implementations

impl<F: Field> BaseAir<F> for Rv32HintStoreAdapterAir

fn width(&self) -> usize

The number of columns (a.k.a. registers) in this AIR.

fn preprocessed_trace(&self) -> Option<DenseMatrix<F>>

impl Clone for Rv32HintStoreAdapterAir

fn clone(&self) -> Rv32HintStoreAdapterAir

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Rv32HintStoreAdapterAir

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<AB: InteractionBuilder> VmAdapterAir<AB> for Rv32HintStoreAdapterAir

type Interface = BasicAdapterInterface<<AB as AirBuilder>::Expr, MinimalInstruction<<AB as AirBuilder>::Expr>, 0, 1, RV32_REGISTER_NUM_LIMBS, RV32_REGISTER_NUM_LIMBS>

The HintStoreAdapter handles memory writes and getting the intermediate memory pointer. This chip handles the HintStoreW instruction, so it doesn’t constrain the data read from memory.

Here 1 write represents the data that needs to be written to memory Getting the intermediate pointer is completely internal to the adapter and shouldn’t be a part of the AdapterInterface

fn eval( &self, builder: &mut AB, local: &[AB::Var], ctx: 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.

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

Return the from_pc expression.

impl Copy for Rv32HintStoreAdapterAir