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 arithmetic_circuit_eval( &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. Each gate is encoded as a single base field element.

2. the number of rows in the READ section,

3. the number of rows in the EVAL section,

Stack transition: [ptr, num_read_rows, num_eval_rows, …] -> [ptr, num_read_rows, num_eval_rows, …]

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 with_source_manager(self, source_manager: Arc<dyn SourceManager>) -> Self

Set the internal source manager to an externally initialized one.

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)