Struct Rv32LoadStoreAdapterRuntimeInterface

pub struct Rv32LoadStoreAdapterRuntimeInterface<T>(/* private fields */);

The LoadStoreAdapter seperates Runtime and Air AdapterInterfaces. This is necessary because prev_data should be owned by the core chip and sent to the adapter, and it must have an AB::Var type in AIR as to satisfy the memory_bridge interface. This is achived by having different types for reads and writes in Air AdapterInterface. This method ensures that there are no modifications to the global interfaces.

Here 2 reads represent read_data and prev_data, The second element of the tuple in Reads is the shift amount needed to be passed to the core chip Getting the intermediate pointer is completely internal to the adapter and shouldn’t be a part of the AdapterInterface

Trait Implementations

impl<T> VmAdapterInterface<T> for Rv32LoadStoreAdapterRuntimeInterface<T>

type Reads = ([[T; 4]; 2], T)

The memory read data that should be exposed for downstream use

type Writes = [[T; 4]; 1]

The memory write data that are expected to be provided by the integrator

type ProcessedInstruction = ()

The parts of the instruction that should be exposed to the integrator. This will typically include is_valid, which indicates whether the trace row is being used and opcode to indicate which opcode is being executed if the VmChip supports multiple opcodes.