Struct sp1_core::runtime::ExecutionState

pub struct ExecutionState {

    pub global_clk: u64,
    pub current_shard: u32,
    pub clk: u32,
    pub channel: u32,
    pub pc: u32,
    pub memory: HashMap<u32, MemoryRecord, BuildNoHashHasher<u32>>,
    pub uninitialized_memory: HashMap<u32, u32, BuildNoHashHasher<u32>>,
    pub input_stream: Vec<Vec<u8>>,
    pub input_stream_ptr: usize,
    pub proof_stream: Vec<(ShardProof<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

global_clk: u64

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

current_shard: u32

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

clk: u32

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

channel: u32

The channel alternates between 0 and crate::bytes::NUM_BYTE_LOOKUP_CHANNELS, used to controll byte lookup multiplicity.

pc: u32

The program counter.

memory: HashMap<u32, MemoryRecord, BuildNoHashHasher<u32>>

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

• timestamp that each memory address was accessed.

uninitialized_memory: HashMap<u32, u32, BuildNoHashHasher<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: Vec<Vec<u8>>

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

input_stream_ptr: usize

A ptr to the current position in the input stream incremented by HINT_READ opcode.

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

A stream of proofs 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

impl ExecutionState

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

Trait Implementations

impl Clone for ExecutionState

fn clone(&self) -> ExecutionState

Returns a copy 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.