Trait ecdsa::CheckSignatureBytes

pub trait CheckSignatureBytes: Curve where
    SignatureSize<Self>: ArrayLength<u8>, {
    fn check_signature_bytes(bytes: &SignatureBytes<Self>) -> Result<(), Error> { ... }
}

Ensure a signature is well-formed.

Provided methods

fn check_signature_bytes(bytes: &SignatureBytes<Self>) -> Result<(), Error>

Validate that the given signature is well-formed.

This trait is auto-impl'd for curves which impl the elliptic_curve::ProjectiveArithmetic trait, which validates that the r and s components of the signature are in range of the scalar field.

Note that this trait is not for verifying a signature, but allows for asserting properties of it which allow infallible conversions (e.g. accessors for the r and s components)

Loading content...

Implementors

impl<C> CheckSignatureBytes for C where
    C: Curve + ProjectiveArithmetic,
    FieldBytes<C>: From<Scalar<C>> + for<'a> From<&'a Scalar<C>>,
    Scalar<C>: PrimeField<Repr = FieldBytes<C>>,
    SignatureSize<C>: ArrayLength<u8>, 

fn check_signature_bytes(bytes: &SignatureBytes<C>) -> Result<(), Error>

When curve arithmetic is available, check that the scalar components of the signature are in range.

Loading content...