Trait Verifier 

pub trait Verifier {
    // Required methods
    fn generate_vk(&self, security: SecurityLevel) -> Result<VerificationKey>;
    fn verify(
        &self,
        proof: &Proof,
        vk: &VerificationKey,
        request: VerificationRequest<'_>,
    ) -> Result<()>;
}

Verifier interface shared by dev and real verifiers.

Required Methods

fn generate_vk(&self, security: SecurityLevel) -> Result<VerificationKey>

fn verify( &self, proof: &Proof, vk: &VerificationKey, request: VerificationRequest<'_>, ) -> Result<()>

Implementors

impl Verifier for DevVerifier

impl Verifier for RealVerifier