Trait AsyncContinuationVmProver

pub trait AsyncContinuationVmProver<SC: StarkGenericConfig> {
    // Required method
    fn prove<'life0, 'async_trait>(
        &'life0 self,
        input: impl 'async_trait + Into<Streams<Val<SC>>> + Send + Sync,
    ) -> Pin<Box<dyn Future<Output = ContinuationVmProof<SC>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait;
}

Async prover for a specific exe in a specific continuation VM using a specific Stark config.

Required Methods

fn prove<'life0, 'async_trait>( &'life0 self, input: impl 'async_trait + Into<Streams<Val<SC>>> + Send + Sync, ) -> Pin<Box<dyn Future<Output = ContinuationVmProof<SC>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

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>> AsyncContinuationVmProver<SC> for VmLocalProver<SC, VC, E>

where VmLocalProver<SC, VC, E>: Send + Sync, Val<SC>: PrimeField32, VC::Executor: Chip<SC>, VC::Periphery: Chip<SC>,