Struct MemoryReplay 

pub struct MemoryReplay { /* private fields */ }

Implements a shim for the memory chiplet, in which all elements 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. Writes are not recorded here, as they are not needed for the trace generation process.

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 MemoryReplay

pub fn record_read_element(&mut self, element: Felt, addr: Felt)

Records a read element from memory

pub fn record_read_word(&mut self, word: Word, addr: Felt)

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

Trait Implementations

impl Debug for MemoryReplay

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

Formats the value using the given formatter.

impl Default for MemoryReplay

fn default() -> MemoryReplay

Returns the “default value” for a type.