Struct VerifyingKey

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

A VerifyingKey is an SLH-DSA public key, allowing verification of signatures created with the corresponding SigningKey

Implementations

impl<P: ParameterSet + VerifyingKeyLen> VerifyingKey<P>

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

Implements [slh-verify] as defined in FIPS-205, using a context string. Context strings must be 255 bytes or less.

Errors

Returns an error if the context is too long or if the signature is invalid

pub fn to_bytes(&self) -> Array<u8, P::VkLen>

Serialize the verifying key to a new stack-allocated array

This clones the underlying fields

pub fn to_vec(&self) -> Vec<u8>

Serialize the verifying key to a new heap-allocated vector

Trait Implementations

impl<P: ParameterSet> AsRef<VerifyingKey<P>> for SigningKey<P>

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

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

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

fn clone(&self) -> Self

Returns a copy 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::N: Debug,

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

Formats the value using the given formatter.

impl<P: ParameterSet> From<&VerifyingKey<P>> for Array<u8, P::VkLen>

fn from(vk: &VerifyingKey<P>) -> Array<u8, P::VkLen>

Converts to this type from the input type.

impl<P: ParameterSet> From<Array<u8, <P as VerifyingKeyLen>::VkLen>> for VerifyingKey<P>

fn from(bytes: Array<u8, P::VkLen>) -> VerifyingKey<P>

Converts to this type from the input type.

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

where P::N: 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: ParameterSet> TryFrom<&[u8]> for VerifyingKey<P>

type Error = Error

The type returned in the event of a conversion error.

fn try_from(bytes: &[u8]) -> Result<Self, Self::Error>

Performs the conversion.

impl<P: ParameterSet> 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: Eq + ParameterSet> Eq for VerifyingKey<P>

where P::N: Eq,

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