logo
pub trait VerifyPrimitive<C>: AffineXCoordinate<C> + Copy + Sized where
    C: PrimeCurve + AffineArithmetic<AffinePoint = Self> + ProjectiveArithmetic,
    Scalar<C>: Reduce<C::UInt>,
    SignatureSize<C>: ArrayLength<u8>, 
{ fn verify_prehashed(
        &self,
        z: FieldBytes<C>,
        sig: &Signature<C>
    ) -> Result<()> { ... } }
Available on crate features hazmat and arithmetic only.
Expand description

Verify the given prehashed message using ECDSA.

This trait is intended to be implemented on type which can access the affine point represeting the public key via &self, such as a particular curve’s AffinePoint type.

Provided Methods

Verify the prehashed message against the provided signature

Accepts the following arguments:

  • z: message digest to be verified. MUST BE OUTPUT OF A CRYPTOGRAPHICALLY SECURE DIGEST ALGORITHM!!!
  • sig: signature to be verified against the key and message

Implementors