Struct NativeVecHeapAdapterChip

pub struct NativeVecHeapAdapterChip<F: Field, const R: usize, const NUM_READS: usize, const NUM_WRITES: usize, const READ_SIZE: usize, const WRITE_SIZE: usize> {
    pub air: NativeVecHeapAdapterAir<R, NUM_READS, NUM_WRITES, READ_SIZE, WRITE_SIZE>,
    /* private fields */
}

This adapter reads from R (R <= 2) pointers and writes to 1 pointer.

• The data is read from the heap (address space 2), and the pointers are read from registers (address space 1).
• Reads take the form of NUM_READS consecutive reads of size READ_SIZE from the heap, starting from the addresses in rs
• Writes take the form of NUM_WRITES consecutive writes of size WRITE_SIZE to the heap, starting from the address in rd.

Fields

air: NativeVecHeapAdapterAir<R, NUM_READS, NUM_WRITES, READ_SIZE, WRITE_SIZE>

Implementations

impl<F: PrimeField32, const R: usize, const NUM_READS: usize, const NUM_WRITES: usize, const READ_SIZE: usize, const WRITE_SIZE: usize> NativeVecHeapAdapterChip<F, R, NUM_READS, NUM_WRITES, READ_SIZE, WRITE_SIZE>

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

Trait Implementations

impl<F: Debug + Field, const R: usize, const NUM_READS: usize, const NUM_WRITES: usize, const READ_SIZE: usize, const WRITE_SIZE: usize> Debug for NativeVecHeapAdapterChip<F, R, NUM_READS, NUM_WRITES, READ_SIZE, WRITE_SIZE>

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

Formats the value using the given formatter.

impl<F: PrimeField32, const R: usize, const NUM_READS: usize, const NUM_WRITES: usize, const READ_SIZE: usize, const WRITE_SIZE: usize> VmAdapterChip<F> for NativeVecHeapAdapterChip<F, R, NUM_READS, NUM_WRITES, READ_SIZE, WRITE_SIZE>

type ReadRecord = NativeVecHeapReadRecord<F, R, NUM_READS, READ_SIZE>

Records generated by adapter before main instruction execution

type WriteRecord = NativeVecHeapWriteRecord<F, NUM_WRITES, WRITE_SIZE>

Records generated by adapter after main instruction execution

type Air = NativeVecHeapAdapterAir<R, NUM_READS, NUM_WRITES, READ_SIZE, WRITE_SIZE>

AdapterAir should not have public values

type Interface = VecHeapAdapterInterface<F, R, NUM_READS, NUM_WRITES, READ_SIZE, WRITE_SIZE>

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