Struct MemoryController

pub struct MemoryController<F> {
    pub memory_bus: MemoryBus,
    pub interface_chip: MemoryInterface<F>,
    pub range_checker: Arc<VariableRangeCheckerChip>,
    /* private fields */
}

Fields

memory_bus: MemoryBus

interface_chip: MemoryInterface<F>

range_checker: Arc<VariableRangeCheckerChip>

Implementations

impl<F> MemoryController<F>

pub fn mem_config(&self) -> &MemoryConfig

impl<F: PrimeField32> MemoryController<F>

pub fn continuation_enabled(&self) -> bool

pub fn with_volatile_memory( memory_bus: MemoryBus, mem_config: MemoryConfig, range_checker: Arc<VariableRangeCheckerChip>, ) -> Self

pub fn with_persistent_memory( memory_bus: MemoryBus, mem_config: MemoryConfig, range_checker: Arc<VariableRangeCheckerChip>, merkle_bus: MemoryMerkleBus, compression_bus: DirectCompressionBus, initial_memory: Equipartition<F, CHUNK>, ) -> Self

pub fn set_override_trace_heights( &mut self, overridden_heights: MemoryTraceHeights, )

pub fn set_initial_memory(&mut self, memory: Equipartition<F, CHUNK>)

pub fn memory_bridge(&self) -> MemoryBridge

pub fn read_cell( &mut self, address_space: F, pointer: F, ) -> MemoryReadRecord<F, 1>

pub fn read<const N: usize>( &mut self, address_space: F, pointer: F, ) -> MemoryReadRecord<F, N>

pub fn unsafe_read_cell(&self, addr_space: F, ptr: F) -> F

Reads a word directly from memory without updating internal state.

Any value returned is unconstrained.

pub fn unsafe_read<const N: usize>(&self, addr_space: F, ptr: F) -> [F; N]

Reads a word directly from memory without updating internal state.

Any value returned is unconstrained.

pub fn write_cell( &mut self, address_space: F, pointer: F, data: F, ) -> MemoryWriteRecord<F, 1>

pub fn write<const N: usize>( &mut self, address_space: F, pointer: F, data: [F; N], ) -> MemoryWriteRecord<F, N>

pub fn aux_cols_factory(&self) -> MemoryAuxColsFactory<F>

pub fn increment_timestamp(&mut self)

pub fn increment_timestamp_by(&mut self, change: u32)

pub fn increase_timestamp_to(&mut self, timestamp: u32)

pub fn timestamp(&self) -> u32

pub fn finalize( &mut self, hasher: Option<&mut impl HasherChip<CHUNK, F>>, ) -> Option<Equipartition<F, CHUNK>>

Returns the final memory state if persistent.

pub fn generate_air_proof_inputs<SC: StarkGenericConfig>( self, ) -> Vec<AirProofInput<SC>>

where Domain<SC>: PolynomialSpace<Val = F>,

pub fn airs<SC: StarkGenericConfig>(&self) -> Vec<Arc<dyn AnyRap<SC>>>

where Domain<SC>: PolynomialSpace<Val = F>,

pub fn num_airs(&self) -> usize

Return the number of AIRs in the memory controller.

pub fn air_names(&self) -> Vec<String>

pub fn current_trace_heights(&self) -> Vec<usize>

pub fn get_memory_trace_heights(&self) -> MemoryTraceHeights

pub fn get_dummy_memory_trace_heights(&self) -> MemoryTraceHeights

pub fn current_trace_cells(&self) -> Vec<usize>

Trait Implementations

impl<F: Debug> Debug for MemoryController<F>

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

Formats the value using the given formatter.