Module fips204::traits

All functionality is covered by traits, such that consumers can utilize trait objects as desired.

Traits

• KeyGen
  The KeyGen trait is defined to allow trait objects.
• SerDes
  The SerDes trait provides for validated serialization and deserialization of fixed- and correctly-size elements. Note that FIPS 204 currently states that outside of exact length checks “ML-DSA is not designed to require any additional public-key validity checks”. Nonetheless, a Result() is returned during all deserialization operations to preserve the ability to add future checks (and for symmetry across structures).
• Signer
  The Signer trait is implemented for the PrivateKey struct on each of the security parameter sets
• Verifier
  The Verifier trait is implemented for PublicKey on each of the security parameter sets