Struct VmInstance 

pub struct VmInstance<E, VB>
where
    E: StarkEngine,
    VB: VmBuilder<E>,
{
    pub vm: VirtualMachine<E, VB>,
    pub interpreter: PreflightInterpretedInstance<Val<E::SC>, <VB::VmConfig as VmExecutionConfig<Val<E::SC>>>::Executor>,
    /* private fields */
}

Virtual machine prover instance for a fixed VM config and a fixed program. For use in proving a program directly on bare metal.

This struct contains the VmState itself to avoid re-allocating guest memory. The memory is reset with zeros before execution.

Fields

vm: VirtualMachine<E, VB>

interpreter: PreflightInterpretedInstance<Val<E::SC>, <VB::VmConfig as VmExecutionConfig<Val<E::SC>>>::Executor>

Implementations

impl<E, VB> VmInstance<E, VB>

where E: StarkEngine, VB: VmBuilder<E>,

pub fn program_commitment(&self) -> &Com<E::SC>

pub fn exe(&self) -> &Arc<VmExe<Val<E::SC>>>

pub fn state(&self) -> &Option<VmState<Val<E::SC>, GuestMemory>>

impl<E, VB> VmInstance<E, VB>

where E: StarkEngine, VB: VmBuilder<E>,

pub fn state_mut(&mut self) -> &mut Option<VmState<Val<E::SC>, GuestMemory>>

impl<E, VB> VmInstance<E, VB>

where E: StarkEngine, VB: VmBuilder<E>,

pub fn new( vm: VirtualMachine<E, VB>, exe: Arc<VmExe<Val<E::SC>>>, cached_program_trace: CommittedTraceData<E::PB>, ) -> Result<Self, StaticProgramError>

pub fn reset_state(&mut self, inputs: impl Into<Streams<Val<E::SC>>>)

impl<E, VB> VmInstance<E, VB>

where E: StarkEngine, Val<E::SC>: PrimeField32, VB: VmBuilder<E>, <VB::VmConfig as VmExecutionConfig<Val<E::SC>>>::Executor: Executor<Val<E::SC>> + MeteredExecutor<Val<E::SC>> + PreflightExecutor<Val<E::SC>, VB::RecordArena>,

pub fn prove_continuations( &mut self, input: impl Into<Streams<Val<E::SC>>>, modify_ctx: impl FnMut(usize, &mut ProvingContext<E::PB>), ) -> Result<ContinuationVmProof<E::SC>, VirtualMachineError>

For internal use to resize trace matrices before proving.

The closure modify_ctx(seg_idx, &mut ctx) is called sequentially for each segment.

Trait Implementations

impl<E, VB> ContinuationVmProver<<E as StarkEngine>::SC> for VmInstance<E, VB>

where E: StarkEngine, Val<E::SC>: PrimeField32, VB: VmBuilder<E>, <VB::VmConfig as VmExecutionConfig<Val<E::SC>>>::Executor: Executor<Val<E::SC>> + MeteredExecutor<Val<E::SC>> + PreflightExecutor<Val<E::SC>, VB::RecordArena>,

fn prove( &mut self, input: impl Into<Streams<Val<E::SC>>>, ) -> Result<ContinuationVmProof<E::SC>, VirtualMachineError>

First performs metered execution (E2) to determine segments. Then sequentially proves each segment. The proof for each segment uses the specified [ProverBackend], but the proof for the next segment does not start before the current proof finishes.

impl<E, VB> SingleSegmentVmProver<<E as StarkEngine>::SC> for VmInstance<E, VB>

where E: StarkEngine, Val<E::SC>: PrimeField32, VB: VmBuilder<E>, <VB::VmConfig as VmExecutionConfig<Val<E::SC>>>::Executor: PreflightExecutor<Val<E::SC>, VB::RecordArena>,

fn prove( &mut self, input: impl Into<Streams<Val<E::SC>>>, trace_heights: &[u32], ) -> Result<Proof<E::SC>, VirtualMachineError>