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 op_eval_circuit( &mut self, err_ctx: &impl ErrorContext, ) -> Result<(), ExecutionError>

Checks that the evaluation of an arithmetic circuit is equal to zero.

The inputs are composed of:

1. a pointer to the memory region containing the arithmetic circuit description, which itself is arranged as:

   a. Read section:

   1. Inputs to the circuit which are elements in the quadratic extension field,
   2. Constants of the circuit which are elements in the quadratic extension field,

   b. Eval section, which contains the encodings of the evaluation gates of the circuit, where each gate is encoded as a single base field element.

2. the number of quadratic extension field elements read in the READ section,

3. the number of field elements, one base field element per gate, in the EVAL section,

Stack transition: [ptr, num_read, num_eval, …] -> [ptr, num_read, num_eval, …]

impl Process

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

Creates a new process with the provided inputs.

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

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

pub fn execute( &mut self, program: &Program, host: &mut impl SyncHost, ) -> 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)

impl Process

pub fn state(&mut self) -> ProcessState<'_>

Trait Implementations

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

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

Converts to this type from the input type.