openvm_stark_backend::circuit_api

Trait AsyncCircuitProver

Source 
pub trait AsyncCircuitProver<SC: StarkGenericConfig> {
    // Required method
    fn prove<'life0, 'async_trait>(
        &'life0 self,
        proof_input: ProofInput<SC>,
    ) -> Pin<Box<dyn Future<Output = Proof<SC>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait;
}
Expand description

Async prover for a specific circuit using a specific Stark config.

Required Methods§

Source

fn prove<'life0, 'async_trait>( &'life0 self, proof_input: ProofInput<SC>, ) -> Pin<Box<dyn Future<Output = Proof<SC>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait,

Implementors§