Trait VerificationKeyHashInterface 

pub trait VerificationKeyHashInterface {
    type W: WitnessGenerator<Fp>;
    type Bool: BoolInterface;

    // Required method
    fn equal(a: &Self, b: &Self, w: &mut Self::W) -> Self::Bool;
}

Required Associated Types

type W: WitnessGenerator<Fp>

type Bool: BoolInterface

Required Methods

fn equal(a: &Self, b: &Self, w: &mut Self::W) -> Self::Bool

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl VerificationKeyHashInterface for Option<Fp>

type W = ()

type Bool = bool

fn equal(a: &Self, b: &Self, _w: &mut Self::W) -> Self::Bool

Implementors

impl VerificationKeyHashInterface for SnarkVerificationKeyHash

type W = Witness<Fp<MontBackend<FqConfig, 4>, 4>>

type Bool = CircuitVar<Boolean>