Struct ExecutionState

#[repr(C)]
pub struct ExecutionState {
    pub pc: u32,
    pub current_shard: u32,
    pub memory: Memory<MemoryRecord>,
    pub global_clk: u64,
    pub clk: u32,
    pub uninitialized_memory: Memory<u32>,
    pub input_stream: VecDeque<Vec<u8>>,
    pub proof_stream: Vec<(SP1ReduceProof<BabyBearPoseidon2>, StarkVerifyingKey<BabyBearPoseidon2>)>,
    pub proof_stream_ptr: usize,
    pub public_values_stream: Vec<u8>,
    pub public_values_stream_ptr: usize,
    pub syscall_counts: HashMap<SyscallCode, u64>,
}

Holds data describing the current state of a program’s execution.

Fields

pc: u32

The program counter.

current_shard: u32

The shard clock keeps track of how many shards have been executed.

memory: Memory<MemoryRecord>

The memory which instructions operate over. Values contain the memory value and last shard

• timestamp that each memory address was accessed.

global_clk: u64

The global clock keeps track of how many instructions have been executed through all shards.

clk: u32

The clock increments by 4 (possibly more in syscalls) for each instruction that has been executed in this shard.

uninitialized_memory: Memory<u32>

Uninitialized memory addresses that have a specific value they should be initialized with. SyscallHintRead uses this to write hint data into uninitialized memory.

input_stream: VecDeque<Vec<u8>>

A stream of input values (global to the entire program).

proof_stream: Vec<(SP1ReduceProof<BabyBearPoseidon2>, StarkVerifyingKey<BabyBearPoseidon2>)>

A stream of proofs (reduce vk, proof, verifying key) inputted to the program.

proof_stream_ptr: usize

A ptr to the current position in the proof stream, incremented after verifying a proof.

public_values_stream: Vec<u8>

A stream of public values from the program (global to entire program).

public_values_stream_ptr: usize

A ptr to the current position in the public values stream, incremented when reading from public_values_stream.

syscall_counts: HashMap<SyscallCode, u64>

Keeps track of how many times a certain syscall has been called.

Implementations

impl ExecutionState

pub fn new(pc_start: u32) -> Self

Create a new ExecutionState.

impl ExecutionState

pub fn save(&self, file: &mut File) -> Result<()>

Save the execution state to a file.

Trait Implementations

impl Clone for ExecutionState

fn clone(&self) -> ExecutionState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionState

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

Formats the value using the given formatter.

impl Default for ExecutionState

fn default() -> ExecutionState

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ExecutionState

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ExecutionState

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.