Struct SystemState 

pub struct SystemState {
    pub clk: RowIndex,
    pub ctx: ContextId,
    pub fn_hash: Word,
    pub pc_transcript_state: PrecompileTranscriptState,
}

The SystemState represents all the information needed to build one row of the System trace.

This struct captures the complete state of the system at a specific clock cycle, allowing for reconstruction of the system trace during concurrent execution.

Fields

clk: RowIndex

Current clock cycle (row index in the trace)

ctx: ContextId

Execution context ID - starts at 0 (root context), changes on CALL/SYSCALL operations

fn_hash: Word

Hash of the function that initiated the current execution context

• For root context: [ZERO; 4]
• For CALL/DYNCALL contexts: hash of the called function
• For SYSCALL contexts: hash remains from the calling function

pc_transcript_state: PrecompileTranscriptState

Precompile transcript state (sponge capacity) used for recording log_precompile calls

• Initially [ZERO; 4]
• Updated with each log_precompile invocation

Implementations

impl SystemState

pub fn from_processor(processor: &FastProcessor) -> Self

Convenience constructor that creates a new SystemState from a FastProcessor.

Trait Implementations

impl Clone for SystemState

fn clone(&self) -> SystemState

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SystemState

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

Formats the value using the given formatter.

impl PartialEq for SystemState

fn eq(&self, other: &SystemState) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SystemState

impl StructuralPartialEq for SystemState