Struct InterpretedInstance 

pub struct InterpretedInstance<'a, F, Ctx> { /* private fields */ }

VM pure executor(E1/E2 executor) which doesn’t consider trace generation. Note: This executor doesn’t hold any VM state and can be used for multiple execution.

The generic Ctx and constructor determine whether this supported pure execution or metered execution.

Implementations

impl<'a, F, Ctx> InterpretedInstance<'a, F, Ctx>

where F: PrimeField32, Ctx: ExecutionCtxTrait,

pub fn new<E>( inventory: &'a ExecutorInventory<E>, exe: &VmExe<F>, ) -> Result<Self, StaticProgramError>

where E: Executor<F>,

Creates a new interpreter instance for pure execution.

pub fn create_initial_vm_state( &self, inputs: impl Into<Streams<F>>, ) -> VmState<F>

impl<'a, F, Ctx> InterpretedInstance<'a, F, Ctx>

where F: PrimeField32, Ctx: MeteredExecutionCtxTrait,

pub fn new_metered<E>( inventory: &'a ExecutorInventory<E>, exe: &VmExe<F>, executor_idx_to_air_idx: &[usize], ) -> Result<Self, StaticProgramError>

where E: MeteredExecutor<F>,

Creates a new interpreter instance for pure execution.

impl<F> InterpretedInstance<'_, F, ExecutionCtx>

where F: PrimeField32,

pub fn execute( &self, inputs: impl Into<Streams<F>>, num_insns: Option<u64>, ) -> Result<VmState<F, GuestMemory>, ExecutionError>

Pure execution, without metering, for the given inputs. Execution begins from the initial state specified by the VmExe. This function executes the program until either termination if num_insns is None or for exactly num_insns instructions if num_insns is Some.

Returns the final VM state when execution stops.

pub fn execute_from_state( &self, from_state: VmState<F, GuestMemory>, num_insns: Option<u64>, ) -> Result<VmState<F, GuestMemory>, ExecutionError>

Pure execution, without metering, from the given VmState. This function executes the program until either termination if num_insns is None or for exactly num_insns instructions if num_insns is Some.

Returns the final VM state when execution stops.

impl<F> InterpretedInstance<'_, F, MeteredCtx>

where F: PrimeField32,

pub fn execute_metered( &self, inputs: impl Into<Streams<F>>, ctx: MeteredCtx, ) -> Result<(Vec<Segment>, VmState<F, GuestMemory>), ExecutionError>

Metered execution for the given inputs. Execution begins from the initial state specified by the VmExe. This function executes the program until termination.

Returns the segmentation boundary data and the final VM state when execution stops.

pub fn execute_metered_from_state( &self, from_state: VmState<F, GuestMemory>, ctx: MeteredCtx, ) -> Result<(Vec<Segment>, VmState<F, GuestMemory>), ExecutionError>

Metered execution for the given VmState. This function executes the program until termination.

Returns the segmentation boundary data and the final VM state when execution stops.

The MeteredCtx can be constructed using either VmExecutor::build_metered_ctx or VirtualMachine::build_metered_ctx.

pub fn execute_metered_until_suspend( &self, exec_state: VmExecState<F, GuestMemory, MeteredCtx>, ) -> Result<VmExecState<F, GuestMemory, MeteredCtx>, ExecutionError>

Executes a metered virtual machine operation starting from a given execution state until suspension.

This function resumes and continues execution of a guest virtual machine until either it:

• Hits a suspension trigger (e.g. out of gas or a specific halt condition). ATTENTION: when a suspension is triggered, the VM state is not at the boundary of the last segment. Instead, the VM state is slightly after the segment boundary.
• Completes its run based on the instructions or context provided.

Parameters

• self: The reference to the current executor or VM context.
• exec_state: A mutable VmExecState<F, GuestMemory, MeteredCtx> which represents the execution state of the virtual machine, including its program counter (pc), instruction retirement (instret), and execution context (MeteredCtx).

Returns

• Ok(VmExecState<F, GuestMemory, MeteredCtx>): The execution state after suspension or normal completion.
• Err(ExecutionError): If there is an error during execution, such as an invalid state or run-time error.

impl<F> InterpretedInstance<'_, F, MeteredCostCtx>

where F: PrimeField32,

pub fn execute_metered_cost( &self, inputs: impl Into<Streams<F>>, ctx: MeteredCostCtx, ) -> Result<(u64, VmState<F, GuestMemory>), ExecutionError>

Metered cost execution for the given inputs. Execution begins from the initial state specified by the VmExe. This function executes the program until termination.

Returns the trace cost and final VM state when execution stops.

pub fn execute_metered_cost_from_state( &self, from_state: VmState<F, GuestMemory>, ctx: MeteredCostCtx, ) -> Result<(u64, VmState<F, GuestMemory>), ExecutionError>

Metered cost execution for the given VmState. This function executes the program until termination.

Returns the trace cost and final VM state when execution stops.