Struct ExecutionTracer 

pub struct ExecutionTracer { /* private fields */ }

Builder for recording the context to generate trace fragments during execution.

Specifically, this records the information necessary to be able to generate the trace in fragments of configurable length. This requires storing state at the very beginning of the fragment before any operations are executed, as well as recording the various values read during execution in the corresponding “replays” (e.g. values read from memory are recorded in MemoryReadsReplay, values read from the advice provider are recorded in `AdviceReplay``, etc).

Then, to generate a trace fragment, we initialize the state of the processor using the stored snapshot from the beginning of the fragment, and replay the recorded values as they are encountered during execution (e.g. when encountering a memory read operation, we will replay the value rather than querying the memory chiplet).

Implementations

impl ExecutionTracer

pub fn new(fragment_size: usize) -> Self

Creates a new ExecutionTracer with the given fragment size.

pub fn into_trace_generation_context( self, final_pc_transcript: PrecompileTranscript, ) -> TraceGenerationContext

Convert the ExecutionTracer into a TraceGenerationContext using the data accumulated during execution.

The final_pc_transcript parameter represents the final precompile transcript at the end of execution, which is needed for the auxiliary trace column builder.

Trait Implementations

impl Debug for ExecutionTracer

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.