pub trait AsyncSingleSegmentVmProver<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 = Proof<SC>> + Send + 'async_trait>>
where Self: 'async_trait,
'life0: 'async_trait;
}
Expand description
Async prover for a specific exe in a specific single-segment 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 = Proof<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.