openvm_stark_backend::circuit_api

Trait CircuitVerifier

Source 
pub trait CircuitVerifier<SC: StarkGenericConfig> {
    // Required method
    fn verify(&self, proof: &Proof<SC>) -> Result<(), VerificationError>;
}
Expand description

Verifier for a specific circuit using a specific Stark config.

Required Methods§

Source

fn verify(&self, proof: &Proof<SC>) -> Result<(), VerificationError>

Implementors§