Struct VerifyingKey

pub struct VerifyingKey<P: ParameterSet> { /* private fields */ }

An ML-DSA verification key

Implementations

impl<P: MlDsaParams> VerifyingKey<P>

pub fn verify_internal(&self, Mp: &[&[u8]], sigma: &Signature<P>) -> bool

where P: MlDsaParams,

This algorithm reflects the ML-DSA.Verify_internal algorithm from FIPS 204. It does not include the domain separator that distinguishes between the normal and pre-hashed cases, and it does not separate the context string from the rest of the message.

pub fn verify_with_context( &self, M: &[u8], ctx: &[u8], sigma: &Signature<P>, ) -> bool

This algorithm reflect the ML-DSA.Verify algorithm from FIPS 204.

pub fn encode(&self) -> EncodedVerifyingKey<P>

Encode the key in a fixed-size byte array.

pub fn decode(enc: &EncodedVerifyingKey<P>) -> Self

Decode the key from an appropriately sized byte array.

Trait Implementations

impl<P: MlDsaParams> AsRef<VerifyingKey<P>> for KeyPair<P>

fn as_ref(&self) -> &VerifyingKey<P>

Converts this type into a shared reference of the (usually inferred) input type.

impl<P: Clone + ParameterSet> Clone for VerifyingKey<P>

where P::K: Clone, P::L: Clone,

fn clone(&self) -> VerifyingKey<P>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<P: Debug + ParameterSet> Debug for VerifyingKey<P>

where P::K: Debug, P::L: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<P> EncodePublicKey for VerifyingKey<P>

where P: MlDsaParams + AssociatedAlgorithmIdentifier<Params = AnyRef<'static>>,

Available on crate feature alloc only.

fn to_public_key_der(&self) -> Result<Document>

Serialize a Document containing a SPKI-encoded public key.

impl<P: PartialEq + ParameterSet> PartialEq for VerifyingKey<P>

where P::K: PartialEq, P::L: PartialEq,

fn eq(&self, other: &VerifyingKey<P>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<P> SignatureAlgorithmIdentifier for VerifyingKey<P>

where P: MlDsaParams + AssociatedAlgorithmIdentifier<Params = AnyRef<'static>>,

Available on crate feature pkcs8 only.

const SIGNATURE_ALGORITHM_IDENTIFIER: AlgorithmIdentifier<Self::Params> = Signature<P>::ALGORITHM_IDENTIFIER

AlgorithmIdentifier for the corresponding singature system.

type Params = AnyRef<'static>

Algorithm parameters.

impl<P> TryFrom<SubjectPublicKeyInfo<AnyRef<'_>, BitStringRef<'_>>> for VerifyingKey<P>

where P: MlDsaParams + AssociatedAlgorithmIdentifier<Params = AnyRef<'static>>,

Available on crate feature pkcs8 only.

type Error = Error

The type returned in the event of a conversion error.

fn try_from(spki: SubjectPublicKeyInfoRef<'_>) -> Result<Self>

Performs the conversion.

impl<P: MlDsaParams> Verifier<Signature<P>> for VerifyingKey<P>

fn verify(&self, msg: &[u8], signature: &Signature<P>) -> Result<(), Error>

Use Self to verify that the provided signature for a given message bytestring is authentic.

impl<P: ParameterSet> StructuralPartialEq for VerifyingKey<P>