Trait k256::ecdsa::hazmat::VerifyPrimitive

pub trait VerifyPrimitive<C>: AffineXCoordinate<C> + Copy + Sizedwhere
    C: PrimeCurve + AffineArithmetic<AffinePoint = Self> + ProjectiveArithmetic,
    <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_prehashed(
        &self,
        z: GenericArray<u8, <<C as Curve>::UInt as ArrayEncoding>::ByteSize>,
        sig: &Signature<C>
    ) -> Result<(), Error> { ... }
    fn verify_digest<D>(
        &self,
        msg_digest: D,
        sig: &Signature<C>
    ) -> Result<(), Error>
    where
        D: FixedOutput<OutputSize = <<C as Curve>::UInt as ArrayEncoding>::ByteSize>,
    { ... }
}

Available on crate features ecdsa and hazmat and ecdsa-core and arithmetic only.

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

fn verify_prehashed(
    &self,
    z: GenericArray<u8, <<C as Curve>::UInt as ArrayEncoding>::ByteSize>,
    sig: &Signature<C>
) -> Result<(), Error>

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

fn verify_digest<D>(&self, msg_digest: D, sig: &Signature<C>) -> Result<(), Error>where
    D: FixedOutput<OutputSize = <<C as Curve>::UInt as ArrayEncoding>::ByteSize>,

Available on crate feature digest only.

Verify message digest against the provided signature.

Implementors

impl VerifyPrimitive<Secp256k1> for AffinePoint