Struct TestAdapterChip

pub struct TestAdapterChip<F> {
    pub prank_reads: VecDeque<Vec<F>>,
    pub prank_pc_inc: VecDeque<Option<u32>>,
    pub air: TestAdapterAir,
}

Fields

prank_reads: VecDeque<Vec<F>>

List of the return values of preprocess this chip should provide on each sequential call.

prank_pc_inc: VecDeque<Option<u32>>

List of pc_inc to use in postprocess on each sequential call. Defaults to 4 if not provided.

air: TestAdapterAir

Implementations

impl<F> TestAdapterChip<F>

pub fn new( prank_reads: Vec<Vec<F>>, prank_pc_inc: Vec<Option<u32>>, execution_bridge: ExecutionBridge, ) -> Self

Trait Implementations

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

type ReadRecord = ()

Records generated by adapter before main instruction execution

type WriteRecord = TestAdapterRecord<F>

Records generated by adapter after main instruction execution

type Air = TestAdapterAir

AdapterAir should not have public values

type Interface = DynAdapterInterface<F>

fn preprocess( &mut self, _memory: &mut MemoryController<F>, _instruction: &Instruction<F>, ) -> Result<(DynArray<F>, 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, next_timestamp) 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, _memory: &OfflineMemory<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