Struct MemoryReadsReplay 

pub struct MemoryReadsReplay { /* private fields */ }

Records and replays all the reads made to memory, in which all elements and words read from memory during a given fragment are recorded by the fast processor, and replayed by the main trace fragment generators.

This is used to simulate memory reads in parallel trace generation without needing to actually access the memory chiplet.

Elements/words read are stored with their addresses and are assumed to be read from the same addresses that they were recorded at. This works naturally since the fast processor has exactly the same access patterns as the main trace generators (which re-executes part of the program). The read methods include debug assertions to verify address consistency.

Implementations

impl MemoryReadsReplay

pub fn record_read_element( &mut self, element: Felt, addr: Felt, ctx: ContextId, clk: RowIndex, )

Records a read element from memory

pub fn record_read_word( &mut self, word: Word, addr: Felt, ctx: ContextId, clk: RowIndex, )

Records a read word from memory

pub fn replay_read_element(&mut self, addr: Felt) -> Felt

pub fn replay_read_word(&mut self, addr: Felt) -> Word

pub fn iter_read_elements( &self, ) -> impl Iterator<Item = (Felt, Felt, ContextId, RowIndex)>

Returns an iterator over all recorded memory element reads, yielding tuples of (element, address, context ID, clock cycle).

pub fn iter_read_words( &self, ) -> impl Iterator<Item = (Word, Felt, ContextId, RowIndex)>

Returns an iterator over all recorded memory word reads, yielding tuples of (word, address, context ID, clock cycle).

Trait Implementations

impl Debug for MemoryReadsReplay

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

Formats the value using the given formatter.

impl Default for MemoryReadsReplay

fn default() -> MemoryReadsReplay

Returns the “default value” for a type.