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 new<H>(process: Process<H>, stack_outputs: StackOutputs) -> Self

where H: Host,

Builds an execution trace for the provided process.

pub fn program_info(&self) -> &ProgramInfo

Returns the program info of this execution trace.

pub fn program_hash(&self) -> &Digest

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

pub fn stack_outputs(&self) -> &StackOutputs

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 get_trace_len(&self) -> usize

Returns the trace length.

pub fn trace_len_summary(&self) -> &TraceLenSummary

Returns a summary of the lengths of main, range and chiplet traces.

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

Returns the trace meta data.

pub fn print(&self)

pub fn build_aux_trace<E>(&self, rand_elements: &[E]) -> Option<ColMatrix<E>>

where E: FieldElement<BaseField = Felt>,

Trait Implementations

impl Trace for ExecutionTrace

type BaseField = BaseElement

Base field for this execution trace.

fn length(&self) -> usize

Returns the number of rows in this trace.

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

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

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 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 the auxiliary trace segment.

fn validate<A, E>( &self, air: &A, aux_trace_with_metadata: Option<&AuxTraceWithMetadata<E, <A as Air>::GkrProof>>, )

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.