Struct Rv32VecHeapAdapterChip

pub struct Rv32VecHeapAdapterChip<F: Field, const NUM_READS: usize, const BLOCKS_PER_READ: usize, const BLOCKS_PER_WRITE: usize, const READ_SIZE: usize, const WRITE_SIZE: usize> {
    pub air: Rv32VecHeapAdapterAir<NUM_READS, BLOCKS_PER_READ, BLOCKS_PER_WRITE, READ_SIZE, WRITE_SIZE>,
    pub bitwise_lookup_chip: Arc<BitwiseOperationLookupChip<RV32_CELL_BITS>>,
    /* 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 BLOCKS_PER_READ consecutive reads of size READ_SIZE from the heap, starting from the addresses in rs[0] (and rs[1] if R = 2).
• Writes take the form of BLOCKS_PER_WRITE consecutive writes of size WRITE_SIZE to the heap, starting from the address in rd.

Fields

air: Rv32VecHeapAdapterAir<NUM_READS, BLOCKS_PER_READ, BLOCKS_PER_WRITE, READ_SIZE, WRITE_SIZE>

bitwise_lookup_chip: Arc<BitwiseOperationLookupChip<RV32_CELL_BITS>>

Implementations

impl<F: PrimeField32, const NUM_READS: usize, const BLOCKS_PER_READ: usize, const BLOCKS_PER_WRITE: usize, const READ_SIZE: usize, const WRITE_SIZE: usize> Rv32VecHeapAdapterChip<F, NUM_READS, BLOCKS_PER_READ, BLOCKS_PER_WRITE, READ_SIZE, WRITE_SIZE>

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

Trait Implementations

impl<F: Clone + Field, const NUM_READS: usize, const BLOCKS_PER_READ: usize, const BLOCKS_PER_WRITE: usize, const READ_SIZE: usize, const WRITE_SIZE: usize> Clone for Rv32VecHeapAdapterChip<F, NUM_READS, BLOCKS_PER_READ, BLOCKS_PER_WRITE, READ_SIZE, WRITE_SIZE>

fn clone( &self, ) -> Rv32VecHeapAdapterChip<F, NUM_READS, BLOCKS_PER_READ, BLOCKS_PER_WRITE, READ_SIZE, WRITE_SIZE>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field, const NUM_READS: usize, const BLOCKS_PER_READ: usize, const BLOCKS_PER_WRITE: usize, const READ_SIZE: usize, const WRITE_SIZE: usize> Debug for Rv32VecHeapAdapterChip<F, NUM_READS, BLOCKS_PER_READ, BLOCKS_PER_WRITE, READ_SIZE, WRITE_SIZE>

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

Formats the value using the given formatter.

impl<F: PrimeField32, const NUM_READS: usize, const BLOCKS_PER_READ: usize, const BLOCKS_PER_WRITE: usize, const READ_SIZE: usize, const WRITE_SIZE: usize> VmAdapterChip<F> for Rv32VecHeapAdapterChip<F, NUM_READS, BLOCKS_PER_READ, BLOCKS_PER_WRITE, READ_SIZE, WRITE_SIZE>

type ReadRecord = Rv32VecHeapReadRecord<F, NUM_READS, BLOCKS_PER_READ, READ_SIZE>

Records generated by adapter before main instruction execution

type WriteRecord = Rv32VecHeapWriteRecord<F, BLOCKS_PER_WRITE, WRITE_SIZE>

Records generated by adapter after main instruction execution

type Air = Rv32VecHeapAdapterAir<NUM_READS, BLOCKS_PER_READ, BLOCKS_PER_WRITE, READ_SIZE, WRITE_SIZE>

AdapterAir should not have public values

type Interface = VecHeapAdapterInterface<F, NUM_READS, BLOCKS_PER_READ, BLOCKS_PER_WRITE, 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