Struct VirtualMachine

pub struct VirtualMachine<SC: StarkGenericConfig, E, VC> {
    pub engine: E,
    pub executor: VmExecutor<Val<SC>, VC>,
    /* private fields */
}

Fields

engine: E

Proving engine

executor: VmExecutor<Val<SC>, VC>

Runtime executor

Implementations

impl<F, SC, E, VC> VirtualMachine<SC, E, VC>

where F: PrimeField32, SC: StarkGenericConfig, E: StarkEngine<SC>, Domain<SC>: PolynomialSpace<Val = F>, VC: VmConfig<F>, VC::Executor: Chip<SC>, VC::Periphery: Chip<SC>,

pub fn new(engine: E, config: VC) -> Self

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

pub fn config(&self) -> &VC

pub fn keygen(&self) -> MultiStarkProvingKey<SC>

pub fn commit_exe(&self, exe: impl Into<VmExe<F>>) -> Arc<VmCommittedExe<SC>>

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

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

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

where Domain<SC>: PolynomialSpace<Val = F>,

pub fn prove_single( &self, pk: &MultiStarkProvingKey<SC>, proof_input: ProofInput<SC>, ) -> Proof<SC>

pub fn prove( &self, pk: &MultiStarkProvingKey<SC>, results: VmExecutorResult<SC>, ) -> Vec<Proof<SC>>

pub fn verify_single( &self, vk: &MultiStarkVerifyingKey<SC>, proof: &Proof<SC>, ) -> Result<(), VerificationError>

pub fn verify( &self, vk: &MultiStarkVerifyingKey<SC>, proofs: Vec<Proof<SC>>, ) -> Result<(), VmVerificationError>

where Val<SC>: PrimeField32,

Verify segment proofs, checking continuation boundary conditions between segments if VM memory is persistent