Trait VerifyingKey

pub trait VerifyingKey<'a, T> {
    type StartError: From<<Self::Verifier as Update>::Error>;
    type Verifier: Verifier<'a>;

    // Required method
    fn verify(&'a self, val: T) -> Result<Self::Verifier, Self::StartError>;
}

A signature verification key

Required Associated Types

type StartError: From<<Self::Verifier as Update>::Error>

type Verifier: Verifier<'a>

The state object used during signing.

Required Methods

fn verify(&'a self, val: T) -> Result<Self::Verifier, Self::StartError>

Begin the signature verification process.

Implementations on Foreign Types

impl<'a, A, T, V> VerifyingKey<'a, A> for [T]

where T: VerifyingKey<'a, A, Verifier = Vec<V>>, V::FinishError: Default, V: Verifier<'a> + Update, A: Copy,

type StartError = <T as VerifyingKey<'a, A>>::StartError

type Verifier = Vec<V>

fn verify(&'a self, val: A) -> Result<Self::Verifier, Self::StartError>

Implementors

impl<'a, T, V, E> VerifyingKey<'a, &'a Jws> for T

where T: VerifyingKey<'a, &'a Flattened, Verifier = V, StartError = E> + VerifyingKey<'a, &'a General, Verifier = V, StartError = E>, E: From<V::Error>, V: Verifier<'a>,

type StartError = E

type Verifier = V

impl<'a, T: VerifyingKey<'a, &'a Signature>> VerifyingKey<'a, &'a Flattened> for T

where <T::Verifier as Verifier<'a>>::FinishError: Default,

type StartError = <T as VerifyingKey<'a, &'a Signature>>::StartError

type Verifier = Vec<<T as VerifyingKey<'a, &'a Signature>>::Verifier>

impl<'a, T: VerifyingKey<'a, &'a Signature>> VerifyingKey<'a, &'a General> for T

where <T::Verifier as Verifier<'a>>::FinishError: Default,

type StartError = <T as VerifyingKey<'a, &'a Signature>>::StartError

type Verifier = Vec<<T as VerifyingKey<'a, &'a Signature>>::Verifier>