Struct Rv32CondRdWriteAdapterChip

pub struct Rv32CondRdWriteAdapterChip<F: Field> {
    pub air: Rv32CondRdWriteAdapterAir,
    /* private fields */
}

This adapter doesn’t read anything, and maybe writes to [a:4]_d, where d == 1

Fields

air: Rv32CondRdWriteAdapterAir

Implementations

impl<F: PrimeField32> Rv32CondRdWriteAdapterChip<F>

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

Trait Implementations

impl<F: Debug + Field> Debug for Rv32CondRdWriteAdapterChip<F>

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

Formats the value using the given formatter.

impl<F: PrimeField32> VmAdapterChip<F> for Rv32CondRdWriteAdapterChip<F>

type ReadRecord = ()

Records generated by adapter before main instruction execution

type WriteRecord = Rv32RdWriteWriteRecord<F>

Records generated by adapter after main instruction execution

type Air = Rv32CondRdWriteAdapterAir

AdapterAir should not have public values

type Interface = BasicAdapterInterface<F, ImmInstruction<F>, 0, 1, 0, RV32_REGISTER_NUM_LIMBS>

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