Trait ContinuationVmProver 

pub trait ContinuationVmProver<SC: StarkProtocolConfig> {
    // Required method
    fn prove(
        &mut self,
        input: impl Into<Streams<Val<SC>>>,
    ) -> Result<ContinuationVmProof<SC>, VirtualMachineError>;
}

Prover for a specific exe in a specific continuation VM using a specific Stark config.

Required Methods

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

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>,