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", so this trait is not object safe.

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<Fp256<FpParameters>>

type Bool = CircuitVar<Boolean>