Struct VerifyingKey 

pub struct VerifyingKey<P: ParameterSet> {
    pub(crate) rho: B32,
    pub(crate) t1: Vector<BaseField, P::K>,
    pub(crate) A_hat: NttMatrix<BaseField, P::K, P::L>,
    pub(crate) t1_2d_hat: NttVector<BaseField, P::K>,
    pub(crate) tr: Array<u8, U64>,
}

An ML-DSA verification key

Fields

rho: B32

t1: Vector<BaseField, P::K>

A_hat: NttMatrix<BaseField, P::K, P::L>

t1_2d_hat: NttVector<BaseField, P::K>

tr: Array<u8, U64>

Implementations

impl<P: MlDsaParams> VerifyingKey<P>

pub(crate) fn new( rho: B32, t1: Vector<BaseField, P::K>, A_hat: Option<NttMatrix<BaseField, P::K, P::L>>, enc: Option<EncodedVerifyingKey<P>>, ) -> Self

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(crate) fn encode_internal( rho: &B32, t1: &Vector<BaseField, P::K>, ) -> EncodedVerifyingKey<P>

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>>,

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

Serialize a Document containing a SPKI-encoded public key.

fn to_public_key_pem(&self, line_ending: LineEnding) -> Result<String, Error>

Serialize this public key as PEM-encoded SPKI with the given LineEnding.

fn write_public_key_der_file(&self, path: impl AsRef<Path>) -> Result<(), Error>

Write ASN.1 DER-encoded public key to the given path

fn write_public_key_pem_file( &self, path: impl AsRef<Path>, line_ending: LineEnding, ) -> Result<(), Error>

Write ASN.1 DER-encoded public key to the given path

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>>,

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>>,

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>