Struct NativeAdapterChip

pub struct NativeAdapterChip<F, const R: usize, const W: usize> {
    pub air: NativeAdapterAir<R, W>,
    /* private fields */
}

R reads(R<=2), W writes(W<=1). Operands: b for the first read, c for the second read, a for the first write. If an operand is not used, its address space and pointer should be all 0.

Fields

air: NativeAdapterAir<R, W>

Implementations

impl<F: PrimeField32, const R: usize, const W: usize> NativeAdapterChip<F, R, W>

pub fn new( execution_bus: ExecutionBus, program_bus: ProgramBus, memory_controller: MemoryControllerRef<F>, ) -> Self

Trait Implementations

impl<F: Debug, const R: usize, const W: usize> Debug for NativeAdapterChip<F, R, W>

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

Formats the value using the given formatter.

impl<F: PrimeField32, const R: usize, const W: usize> VmAdapterChip<F> for NativeAdapterChip<F, R, W>

type ReadRecord = NativeReadRecord<F, R>

Records generated by adapter before main instruction execution

type WriteRecord = NativeWriteRecord<F, W>

Records generated by adapter after main instruction execution

type Air = NativeAdapterAir<R, W>

AdapterAir should not have public values

type Interface = BasicAdapterInterface<F, MinimalInstruction<F>, R, W, 1, 1>

fn preprocess( &mut self, memory: &mut MemoryController<F>, instruction: &Instruction<F>, ) -> Result<(<Self::Interface as VmAdapterInterface<F>>::Reads, Self::ReadRecord)>

Given instruction, perform memory reads and return only the read data that the integrator needs to use. This is called at the start of instruction execution.

fn postprocess( &mut self, memory: &mut MemoryController<F>, instruction: &Instruction<F>, from_state: ExecutionState<u32>, output: AdapterRuntimeContext<F, Self::Interface>, _read_record: &Self::ReadRecord, ) -> Result<(ExecutionState<u32>, Self::WriteRecord)>

Given instruction and the data to write, perform memory writes and return the (record, timestamp_delta) of the full adapter record for this instruction. This is guaranteed to be called after preprocess.

fn generate_trace_row( &self, row_slice: &mut [F], read_record: Self::ReadRecord, write_record: Self::WriteRecord, aux_cols_factory: &MemoryAuxColsFactory<F>, )

Populates row_slice with values corresponding to record. The provided row_slice will have length equal to self.air().width(). This function will be called for each row in the trace which is being used, and all other rows in the trace will be filled with zeroes.

fn air(&self) -> &Self::Air