Struct MinimalExecutor 

pub struct MinimalExecutor { /* private fields */ }

A minimal trace executor.

Implementations

impl MinimalExecutor

pub fn new( program: Arc<Program>, is_debug: bool, max_trace_size: Option<u64>, ) -> Self

Create a new minimal executor and transpile the program.

Arguments

• program - The program to execute.
• is_debug - Whether to compile the program with debugging.
• max_trace_size - The maximum trace size in terms of MemValues. If not set tracing will be disabled.

pub fn simple(program: Arc<Program>) -> Self

Create a new minimal executor with no tracing or debugging.

pub fn tracing(program: Arc<Program>, max_trace_size: u64) -> Self

Create a new minimal executor with tracing.

Arguments

• program - The program to execute.
• max_trace_size - The maximum trace size in terms of MemValues. If not set, it will be set to 2 gb worth of memory events.

pub fn debug(program: Arc<Program>) -> Self

Create a new minimal executor with debugging.

pub fn with_input(&mut self, input: &[u8])

Add input to the executor.

pub fn execute_chunk(&mut self) -> Option<TraceChunkRaw>

Execute the program. Returning a trace chunk if the program has not completed.

pub fn registers(&self) -> [u64; 32]

Get the registers of the JIT function.

pub fn pc(&self) -> u64

Get the program counter of the JIT function.

pub fn is_done(&self) -> bool

Check if the program has halted.

pub fn get_memory_value(&self, addr: u64) -> MemValue

Get the current value at an address.

pub fn program(&self) -> Arc<Program>

Get the program of the JIT function.

pub fn clk(&self) -> u64

Get the current clock of the JIT function.

This clock is incremented by 8 or 256 depending on the instruction.

pub fn global_clk(&self) -> u64

Get the global clock of the JIT function.

This clock is incremented by 1 per instruction.

pub fn exit_code(&self) -> u32

Get the exit code of the JIT function.

pub fn public_values_stream(&self) -> &Vec<u8>

Get the public values stream of the JIT function.

pub fn into_public_values_stream(self) -> Vec<u8>

Consume self, and return the public values stream.

pub fn hints(&self) -> &[(u64, Vec<u8>)]

Get the hints of the JIT function.

pub fn hint_lens(&self) -> Vec<usize>

Get the lengths of all the hints.

pub fn memory(&self) -> MemoryView<'_>

Get a view of the current memory of the JIT function.

pub fn unsafe_memory(&self) -> UnsafeMemory

Get an unsafe memory view of the JIT function.

This allows reading without lifetime and mutability constraints.

pub fn reset(&mut self)

Reset the JIT function, to start from the beginning of the program.

impl MinimalExecutor

pub fn emit_globals( &self, record: &mut ExecutionRecord, final_registers: [MemoryRecord; 32], touched_addresses: HashSet<u64>, )

Postprocess into an existing ExecutionRecord, consisting of all the MemoryInitializeFinalizeEvents.

pub fn get_hint_event_addrs(&self) -> HashSet<u64>

Get set of addresses that were hinted.

Trait Implementations

impl DebugState for MinimalExecutor

fn current_state(&self) -> State

fn new_debug_receiver(&mut self) -> Option<Receiver<Option<State>>>