openvm_stark_backend::circuit_api

Trait CircuitProver

Source 
pub trait CircuitProver<SC: StarkGenericConfig> {
    // Required method
    fn prove(&self, proof_input: ProofInput<SC>) -> Proof<SC>;
}
Expand description

Prover for a specific circuit using a specific Stark config.

Required Methods§

Source

fn prove(&self, proof_input: ProofInput<SC>) -> Proof<SC>

Implementors§