Trait ContinuationVmProver

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

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

Required Methods

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

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<SC: StarkGenericConfig, VC: VmConfig<Val<SC>>, E: StarkFriEngine<SC>> ContinuationVmProver<SC> for VmLocalProver<SC, VC, E>

where Val<SC>: PrimeField32, VC::Executor: Chip<SC>, VC::Periphery: Chip<SC>,