Struct Process

pub struct Process {
    pub system: System,
    pub decoder: Decoder,
    pub stack: Stack,
    pub range: RangeChecker,
    pub chiplets: Chiplets,
    pub max_cycles: u32,
    pub enable_tracing: bool,
    pub source_manager: Arc<dyn SourceManager>,
}

Fields

system: System

decoder: Decoder

stack: Stack

range: RangeChecker

chiplets: Chiplets

max_cycles: u32

enable_tracing: bool

source_manager: Arc<dyn SourceManager>

Implementations

impl Process

pub fn arithmetic_circuit_eval( &mut self, error_ctx: &ErrorContext<'_, BasicBlockNode>, ) -> 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, execution_options: ExecutionOptions, ) -> Process

Creates a new process with the provided inputs.

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

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

pub fn with_source_manager( self, source_manager: Arc<dyn SourceManager>, ) -> Process

Set the internal source manager to an externally initialized one.

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) -> ProcessState<'a>

Converts to this type from the input type.

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

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

Converts to this type from the input type.