Trait coins_bip32::prelude::DigestVerifier

pub trait DigestVerifier<D, S> where
    D: Digest,
    S: Signature, {
    fn verify_digest(&self, digest: D, signature: &S) -> Result<(), Error>;
}

Re-exported signer traits Verify the provided signature for the given prehashed message Digest is authentic.

Notes

This trait is primarily intended for signature algorithms based on the Fiat-Shamir heuristic, a method for converting an interactive challenge/response-based proof-of-knowledge protocol into an offline digital signature through the use of a random oracle, i.e. a digest function.

The security of such protocols critically rests upon the inability of an attacker to solve for the output of the random oracle, as generally otherwise such signature algorithms are a system of linear equations and therefore doing so would allow the attacker to trivially forge signatures.

To prevent misuse which would potentially allow this to be possible, this API accepts a Digest instance, rather than a raw digest value.

Required Methods

fn verify_digest(&self, digest: D, signature: &S) -> Result<(), Error>

Verify the signature against the given Digest output.

Implementations on Foreign Types

impl<D> DigestVerifier<D, Signature> for VerifyingKey where
    D: Digest<OutputSize = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>> + FixedOutput, 

fn verify_digest(&self, digest: D, signature: &Signature) -> Result<(), Error>

impl<C, D> DigestVerifier<D, Signature<C>> for VerifyingKey<C> where
    C: PrimeCurve + ProjectiveArithmetic,
    D: Digest<OutputSize = <<C as Curve>::UInt as ArrayEncoding>::ByteSize> + FixedOutput,
    <C as AffineArithmetic>::AffinePoint: VerifyPrimitive<C>,
    <C as ScalarArithmetic>::Scalar: Reduce<<C as Curve>::UInt>,
    <<<C as Curve>::UInt as ArrayEncoding>::ByteSize as Add<<<C as Curve>::UInt as ArrayEncoding>::ByteSize>>::Output: ArrayLength<u8>, 

fn verify_digest(
    &self,
    msg_digest: D,
    signature: &Signature<C>
) -> Result<(), Error>

Implementors

impl<D> DigestVerifier<D, Signature> for DerivedPubkey where
    D: Digest + FixedOutput<OutputSize = U32>, 

impl<D> DigestVerifier<D, Signature> for DerivedXPub where
    D: Digest + FixedOutput<OutputSize = U32>, 

impl<D> DigestVerifier<D, Signature> for coins_bip32::ecdsa::VerifyingKey where
    D: Digest<OutputSize = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>> + FixedOutput, 

impl<D> DigestVerifier<D, Signature> for XPub where
    D: Digest + FixedOutput<OutputSize = U32>, 

impl<D> DigestVerifier<D, Signature<Secp256k1>> for DerivedPubkey where
    D: Digest + FixedOutput<OutputSize = U32>, 

impl<D> DigestVerifier<D, Signature<Secp256k1>> for DerivedXPub where
    D: Digest + FixedOutput<OutputSize = U32>, 

impl<D> DigestVerifier<D, Signature<Secp256k1>> for coins_bip32::ecdsa::VerifyingKey where
    D: Digest<OutputSize = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>> + FixedOutput, 

impl<D> DigestVerifier<D, Signature<Secp256k1>> for XPub where
    D: Digest + FixedOutput<OutputSize = U32>,