Struct VmExecutor

pub struct VmExecutor<F, VC> {
    pub config: VC,
    pub overridden_heights: Option<VmComplexTraceHeights>,
    pub trace_height_constraints: Vec<LinearConstraint>,
    /* private fields */
}

Fields

config: VC

overridden_heights: Option<VmComplexTraceHeights>

trace_height_constraints: Vec<LinearConstraint>

Implementations

impl<F, VC> VmExecutor<F, VC>

where F: PrimeField32, VC: VmConfig<F>,

pub fn new(config: VC) -> Self

Create a new VM executor with a given config.

The VM will start with a single segment, which is created from the initial state.

pub fn set_override_trace_heights( &mut self, overridden_heights: VmComplexTraceHeights, )

pub fn new_with_overridden_trace_heights( config: VC, overridden_heights: Option<VmComplexTraceHeights>, ) -> Self

pub fn continuation_enabled(&self) -> bool

pub fn execute_and_then<R, E>( &self, exe: impl Into<VmExe<F>>, input: impl Into<Streams<F>>, f: impl FnMut(usize, ExecutionSegment<F, VC>) -> Result<R, E>, map_err: impl Fn(ExecutionError) -> E, ) -> Result<Vec<R>, E>

Executes the program in segments. After each segment is executed, call the provided closure on the execution result. Returns the results from each closure, one per segment.

The closure takes f(segment_idx, segment) -> R.

pub fn execute_segments( &self, exe: impl Into<VmExe<F>>, input: impl Into<Streams<F>>, ) -> Result<Vec<ExecutionSegment<F, VC>>, ExecutionError>

pub fn execute_until_segment( &self, exe: impl Into<VmExe<F>>, from_state: VmExecutorNextSegmentState<F>, ) -> Result<VmExecutorOneSegmentResult<F, VC>, ExecutionError>

Executes a program until a segmentation happens. Returns the last segment and the vm state for next segment. This is so that the tracegen and proving of this segment can be immediately started (on a separate machine).

pub fn execute( &self, exe: impl Into<VmExe<F>>, input: impl Into<Streams<F>>, ) -> Result<Option<VmMemoryState<F>>, ExecutionError>

pub fn execute_and_generate<SC: StarkGenericConfig>( &self, exe: impl Into<VmExe<F>>, input: impl Into<Streams<F>>, ) -> Result<VmExecutorResult<SC>, GenerationError>

where Domain<SC>: PolynomialSpace<Val = F>, VC::Executor: Chip<SC>, VC::Periphery: Chip<SC>,

pub fn execute_and_generate_with_cached_program<SC: StarkGenericConfig>( &self, committed_exe: Arc<VmCommittedExe<SC>>, input: impl Into<Streams<F>>, ) -> Result<VmExecutorResult<SC>, GenerationError>

where Domain<SC>: PolynomialSpace<Val = F>, VC::Executor: Chip<SC>, VC::Periphery: Chip<SC>,

pub fn set_trace_height_constraints( &mut self, constraints: Vec<LinearConstraint>, )