Skip to main content

Verifier

airbender_host

Trait Verifier 

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

Verifier interface shared by dev and real verifiers.

Required Methods§

Source

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

Source

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

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§