Struct Rv32JalrCoreChip

pub struct Rv32JalrCoreChip {
    pub air: Rv32JalrCoreAir,
    pub bitwise_lookup_chip: Arc<BitwiseOperationLookupChip<RV32_CELL_BITS>>,
    pub range_checker_chip: Arc<VariableRangeCheckerChip>,
}

Fields

air: Rv32JalrCoreAir

bitwise_lookup_chip: Arc<BitwiseOperationLookupChip<RV32_CELL_BITS>>

range_checker_chip: Arc<VariableRangeCheckerChip>

Implementations

impl Rv32JalrCoreChip

pub fn new( bitwise_lookup_chip: Arc<BitwiseOperationLookupChip<RV32_CELL_BITS>>, range_checker_chip: Arc<VariableRangeCheckerChip>, offset: usize, ) -> Self

Trait Implementations

impl Debug for Rv32JalrCoreChip

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

Formats the value using the given formatter.

impl<F: PrimeField32, I: VmAdapterInterface<F>> VmCoreChip<F, I> for Rv32JalrCoreChip

where I::Reads: Into<[[F; 4]; 1]>, I::Writes: From<[[F; 4]; 1]>,

type Record = Rv32JalrCoreRecord<F>

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

type Air = Rv32JalrCoreAir

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: I::Reads, ) -> Result<(AdapterRuntimeContext<F, I>, 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 air(&self) -> &Self::Air

fn generate_public_values(&self) -> Vec<F>

Returns a list of public values to publish.

fn finalize(&self, _trace: &mut DenseMatrix<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.