Struct miden_processor::ExecutionTrace

pub struct ExecutionTrace { /* private fields */ }

Execution trace which is generated when a program is executed on the VM.

The trace consists of the following components:

• Main traces of System, Decoder, Operand Stack, Range Checker, and Auxiliary Co-Processor components.
• Hints used during auxiliary trace segment construction.
• Metadata needed by the STARK prover.

Implementations

impl ExecutionTrace

pub const NUM_RAND_ROWS: usize = 1usize

Number of rows at the end of an execution trace which are injected with random values.

pub fn program_hash(&self) -> Digest

Returns hash of the program execution of which resulted in this execution trace.

pub fn program_outputs(&self) -> ProgramOutputs

Returns outputs of the program execution which resulted in this execution trace.

pub fn init_stack_state(&self) -> StackTopState

Returns the initial state of the top 16 stack registers.

pub fn last_stack_state(&self) -> StackTopState

Returns the final state of the top 16 stack registers.

pub fn get_user_op_helpers_at(&self, clk: u32) -> [Felt; 6]

Returns helper registers state at the specified clk of the VM

pub fn print(&self)

Trait Implementations

impl Trace for ExecutionTrace

type BaseField = BaseElement

Base field for this execution trace.

fn layout(&self) -> &TraceLayout

Returns a description of how columns of this trace are arranged into trace segments.

fn length(&self) -> usize

Returns the number of rows in this trace.

fn meta(&self) -> &[u8]

Returns metadata associated with this trace.

fn main_segment(&self) -> &Matrix<Felt>

Returns a reference to a Matrix describing the main segment of this trace.

fn build_aux_segment<E: FieldElement<BaseField = Felt>>(
    &mut self,
    aux_segments: &[Matrix<E>],
    rand_elements: &[E]
) -> Option<Matrix<E>>

Builds and returns the next auxiliary trace segment. If there are no more segments to build (i.e., the trace is complete), None is returned.

fn read_main_frame(&self, row_idx: usize, frame: &mut EvaluationFrame<Felt>)

Reads an evaluation frame from the main trace segment at the specified row.

fn get_info(&self) -> TraceInfo

Returns trace info for this trace.

fn main_trace_width(&self) -> usize

Returns the number of columns in the main segment of this trace.

fn aux_trace_width(&self) -> usize

Returns the number of columns in all auxiliary trace segments.

fn validate<A, E>(
    &self,
    air: &A,
    aux_segments: &[Matrix<E>],
    aux_rand_elements: &AuxTraceRandElements<E>
)where
    A: Air<BaseField = Self::BaseField>,
    E: FieldElement<BaseField = Self::BaseField>,

Checks if this trace is valid against the specified AIR, and panics if not.