Struct sp1_core::memory::MemoryProgramChip

pub struct MemoryProgramChip;

Chip that initializes memory that is provided from the program. The table is preprocessed and receives each row in the first shard. This prevents any of these addresses from being overwritten through the normal MemoryInit.

Implementations

impl MemoryProgramChip

pub const fn new() -> Self

Trait Implementations

impl<AB> Air<AB> for MemoryProgramChip

where AB: SP1AirBuilder + PairBuilder + AirBuilderWithPublicValues,

fn eval(&self, builder: &mut AB)

impl<F> BaseAir<F> for MemoryProgramChip

fn width(&self) -> usize

The number of columns (a.k.a. registers) in this AIR.

fn preprocessed_trace(&self) -> Option<DenseMatrix<F>>

impl Default for MemoryProgramChip

fn default() -> MemoryProgramChip

Returns the “default value” for a type.

impl<F: PrimeField> MachineAir<F> for MemoryProgramChip

type Record = ExecutionRecord

The execution record containing events for producing the air trace.

type Program = Program

fn name(&self) -> String

A unique identifier for this AIR as part of a machine.

fn preprocessed_width(&self) -> usize

The width of the preprocessed trace.

fn generate_preprocessed_trace( &self, program: &Self::Program, ) -> Option<RowMajorMatrix<F>>

Generate the preprocessed trace given a specific program.

fn generate_dependencies( &self, _input: &ExecutionRecord, _output: &mut ExecutionRecord, )

Generate the dependencies for a given execution record.

fn generate_trace( &self, input: &ExecutionRecord, _output: &mut ExecutionRecord, ) -> RowMajorMatrix<F>

Generate the trace for a given execution record.

fn included(&self, _: &Self::Record) -> bool

Whether this execution record contains events for this air.