Struct Process

pub struct Process { /* private fields */ }

A Process is the underlying execution engine for a Miden Program.

Typically, you do not need to worry about, or use Process directly, instead you should prefer to use either execute or execute_iter, which also handle setting up the process state, inputs, as well as compute the ExecutionTrace for the program.

However, for situations in which you want finer-grained control over those steps, you will need to construct an instance of Process using Process::new, invoke Process::execute, and then get the execution trace using ExecutionTrace::new using the outputs produced by execution.

Implementations

impl Process

pub fn new( kernel: Kernel, stack_inputs: StackInputs, execution_options: ExecutionOptions, ) -> Self

Creates a new process with the provided inputs.

pub fn new_debug(kernel: Kernel, stack_inputs: StackInputs) -> Self

Creates a new process with provided inputs and debug options enabled.

pub fn execute( &mut self, program: &Program, host: &mut impl Host, ) -> Result<StackOutputs, ExecutionError>

Executes the provided Program in this process.

pub const fn kernel(&self) -> &Kernel

pub fn into_parts(self) -> (System, Decoder, Stack, RangeChecker, Chiplets)

Trait Implementations

impl<'a> From<&'a Process> for ProcessState<'a>

fn from(process: &'a Process) -> Self

Converts to this type from the input type.

impl<'a> From<&'a mut Process> for ProcessState<'a>

fn from(process: &'a mut Process) -> Self

Converts to this type from the input type.