Trait SingleSegmentVmProver 

pub trait SingleSegmentVmProver<SC: StarkGenericConfig> {
    // Required method
    fn prove(
        &mut self,
        input: impl Into<Streams<Val<SC>>>,
        trace_heights: &[u32],
    ) -> Result<Proof<SC>, VirtualMachineError>;
}

Prover for a specific exe in a specific single-segment VM using a specific Stark config.

Does not run metered execution and directly runs preflight execution. The prove function must be provided with the expected maximum trace_heights to use to allocate record arena capacities.

Required Methods

fn prove( &mut self, input: impl Into<Streams<Val<SC>>>, trace_heights: &[u32], ) -> Result<Proof<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> 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>,