Struct BasicAdapterInterface

pub struct BasicAdapterInterface<T, PI, const NUM_READS: usize, const NUM_WRITES: usize, const READ_SIZE: usize, const WRITE_SIZE: usize>(/* private fields */);

The most common adapter interface. Performs NUM_READS batch reads of size READ_SIZE and NUM_WRITES batch writes of size WRITE_SIZE.

Trait Implementations

impl<T, PI, const NUM_READS: usize, const NUM_WRITES: usize, const READ_SIZE: usize, const WRITE_SIZE: usize> VmAdapterInterface<T> for BasicAdapterInterface<T, PI, NUM_READS, NUM_WRITES, READ_SIZE, WRITE_SIZE>

type Reads = [[T; READ_SIZE]; NUM_READS]

The memory read data that should be exposed for downstream use

type Writes = [[T; WRITE_SIZE]; NUM_WRITES]

The memory write data that are expected to be provided by the integrator

type ProcessedInstruction = PI

The parts of the instruction that should be exposed to the integrator. This will typically include is_valid, which indicates whether the trace row is being used and opcode to indicate which opcode is being executed if the VmChip supports multiple opcodes.

impl<AB: InteractionBuilder + AirBuilderWithPublicValues> VmCoreAir<AB, BasicAdapterInterface<<AB as AirBuilder>::Expr, MinimalInstruction<<AB as AirBuilder>::Expr>, 2, 0, 1, 1>> for PublicValuesCoreAir

fn eval( &self, builder: &mut AB, local_core: &[AB::Var], _from_pc: AB::Var, ) -> AdapterAirContext<AB::Expr, BasicAdapterInterface<AB::Expr, MinimalInstruction<AB::Expr>, 2, 0, 1, 1>>

Returns (to_pc, interface).

impl<F: PrimeField32> VmCoreChip<F, BasicAdapterInterface<F, MinimalInstruction<F>, 2, 0, 1, 1>> for PublicValuesCoreChip<F>

type Record = PublicValuesRecord<F>

Minimum data that must be recorded to be able to generate trace for one row of PrimitiveAir.

type Air = PublicValuesCoreAir

The primitive AIR with main constraints that do not depend on memory and other architecture-specifics.

fn execute_instruction( &self, _instruction: &Instruction<F>, _from_pc: u32, reads: <BasicAdapterInterface<F, MinimalInstruction<F>, 2, 0, 1, 1> as VmAdapterInterface<F>>::Reads, ) -> Result<(AdapterRuntimeContext<F, BasicAdapterInterface<F, MinimalInstruction<F>, 2, 0, 1, 1>>, Self::Record)>

fn get_opcode_name(&self, opcode: usize) -> String

fn generate_trace_row(&self, row_slice: &mut [F], record: Self::Record)

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 generate_public_values(&self) -> Vec<F>

Returns a list of public values to publish.

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

fn finalize(&self, _trace: &mut RowMajorMatrix<F>, _num_records: usize)

Finalize the trace, especially the padded rows if the all-zero rows don’t satisfy the constraints. This is done after records are consumed and the trace matrix is generated. Most implementations should just leave the default implementation if padding with rows of all 0s satisfies the constraints.