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.

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.

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.