diff --git a/ecdsa/src/der.rs b/ecdsa/src/der.rs
index 3280b393..3801a813 100644
--- a/ecdsa/src/der.rs
+++ b/ecdsa/src/der.rs
@@ -151,6 +151,17 @@ where
     }
 }
 
+impl<C> core::hash::Hash for Signature<C>
+where
+    C: EcdsaCurve,
+    MaxSize<C>: ArraySize,
+    <FieldBytesSize<C> as Add>::Output: Add<MaxOverhead> + ArraySize,
+{
+    fn hash<H: core::hash::Hasher>(&self, state: &mut H) {
+        self.as_bytes().hash(state);
+    }
+}
+
 impl<C> AsRef<[u8]> for Signature<C>
 where
     C: EcdsaCurve,
diff --git a/ecdsa/src/lib.rs b/ecdsa/src/lib.rs
index 2d0c024f..5d63f71f 100644
--- a/ecdsa/src/lib.rs
+++ b/ecdsa/src/lib.rs
@@ -398,6 +398,16 @@ where
     }
 }
 
+impl<C> core::hash::Hash for Signature<C>
+where
+    C: EcdsaCurve,
+    SignatureSize<C>: ArraySize,
+{
+    fn hash<H: core::hash::Hasher>(&self, state: &mut H) {
+        self.to_bytes().hash(state);
+    }
+}
+
 impl<C> fmt::LowerHex for Signature<C>
 where
     C: EcdsaCurve,
@@ -667,6 +677,18 @@ where
 {
 }
 
+#[cfg(feature = "digest")]
+impl<C> core::hash::Hash for SignatureWithOid<C>
+where
+    C: EcdsaCurve,
+    SignatureSize<C>: ArraySize,
+{
+    fn hash<H: core::hash::Hasher>(&self, state: &mut H) {
+        self.signature.hash(state);
+        self.oid.hash(state);
+    }
+}
+
 #[cfg(feature = "digest")]
 impl<C> From<SignatureWithOid<C>> for Signature<C>
 where
diff --git a/ed25519/src/lib.rs b/ed25519/src/lib.rs
index 897ddcd0..3be7ff13 100644
--- a/ed25519/src/lib.rs
+++ b/ed25519/src/lib.rs
@@ -316,7 +316,7 @@ pub type SignatureBytes = [u8; Signature::BYTE_SIZE];
 ///
 /// Signature verification libraries are expected to reject invalid field
 /// elements at the time a signature is verified.
-#[derive(Copy, Clone, Eq, PartialEq)]
+#[derive(Copy, Clone, Eq, Hash, PartialEq)]
 #[cfg_attr(
     feature = "zerocopy",
     derive(FromBytes, IntoBytes, Immutable, KnownLayout, Unaligned)
diff --git a/ed25519/src/pkcs8.rs b/ed25519/src/pkcs8.rs
index 0ef257a0..48d9461b 100644
--- a/ed25519/src/pkcs8.rs
+++ b/ed25519/src/pkcs8.rs
@@ -229,7 +229,7 @@ impl str::FromStr for KeypairBytes {
 ///
 /// Note that this type operates on raw bytes and performs no validation that
 /// public keys represent valid compressed Ed25519 y-coordinates.
-#[derive(Clone, Copy, Eq, PartialEq)]
+#[derive(Clone, Copy, Eq, Hash, PartialEq)]
 #[cfg_attr(
     feature = "zerocopy",
     derive(IntoBytes, FromBytes, Unaligned, KnownLayout, Immutable,)
diff --git a/ed448/src/lib.rs b/ed448/src/lib.rs
index 0cf6488d..3f26546b 100644
--- a/ed448/src/lib.rs
+++ b/ed448/src/lib.rs
@@ -115,7 +115,7 @@ pub type SignatureBytes = [u8; Signature::BYTE_SIZE];
 ///
 /// Signature verification libraries are expected to reject invalid field
 /// elements at the time a signature is verified.
-#[derive(Copy, Clone, Eq, PartialEq)]
+#[derive(Copy, Clone, Eq, Hash, PartialEq)]
 #[repr(C)]
 pub struct Signature {
     R: ComponentBytes,
diff --git a/ed448/src/pkcs8.rs b/ed448/src/pkcs8.rs
index 6254fa95..c5443be5 100644
--- a/ed448/src/pkcs8.rs
+++ b/ed448/src/pkcs8.rs
@@ -205,7 +205,7 @@ impl fmt::Debug for KeypairBytes {
 ///
 /// Note that this type operates on raw bytes and performs no validation that
 /// public keys represent valid compressed Ed448 y-coordinates.
-#[derive(Clone, Copy, Eq, PartialEq)]
+#[derive(Clone, Copy, Eq, Hash, PartialEq)]
 pub struct PublicKeyBytes(pub [u8; Self::BYTE_SIZE]);
 
 impl PublicKeyBytes {
diff --git a/ml-dsa/src/lib.rs b/ml-dsa/src/lib.rs
index 16a11c8a..7bc4bf70 100644
--- a/ml-dsa/src/lib.rs
+++ b/ml-dsa/src/lib.rs
@@ -151,6 +151,12 @@ impl<P: MlDsaParams> signature::SignatureEncoding for Signature<P> {
     type Repr = EncodedSignature<P>;
 }
 
+impl<P: MlDsaParams> core::hash::Hash for Signature<P> {
+    fn hash<H: core::hash::Hasher>(&self, state: &mut H) {
+        self.encode().hash(state);
+    }
+}
+
 struct MuBuilder(H);
 
 impl MuBuilder {
@@ -834,6 +840,12 @@ impl<P: MlDsaParams> VerifyingKey<P> {
     }
 }
 
+impl<P: MlDsaParams> core::hash::Hash for VerifyingKey<P> {
+    fn hash<H: core::hash::Hasher>(&self, state: &mut H) {
+        self.encode().hash(state);
+    }
+}
+
 impl<P: MlDsaParams> signature::Verifier<Signature<P>> for VerifyingKey<P> {
     fn verify(&self, msg: &[u8], signature: &Signature<P>) -> Result<(), Error> {
         self.multipart_verify(&[msg], signature)
diff --git a/slh-dsa/src/signature_encoding.rs b/slh-dsa/src/signature_encoding.rs
index 314bef1f..d8c44fee 100644
--- a/slh-dsa/src/signature_encoding.rs
+++ b/slh-dsa/src/signature_encoding.rs
@@ -71,6 +71,12 @@ impl<P: ParameterSet> Signature<P> {
     }
 }
 
+impl<P: ParameterSet> core::hash::Hash for Signature<P> {
+    fn hash<H: core::hash::Hasher>(&self, state: &mut H) {
+        self.to_bytes().hash(state);
+    }
+}
+
 impl<P: ParameterSet> TryFrom<&[u8]> for Signature<P> {
     type Error = Error;
 
diff --git a/slh-dsa/src/verifying_key.rs b/slh-dsa/src/verifying_key.rs
index 8bfbc7ca..30c7d5af 100644
--- a/slh-dsa/src/verifying_key.rs
+++ b/slh-dsa/src/verifying_key.rs
@@ -136,6 +136,12 @@ impl<P: ParameterSet + VerifyingKeyLen> VerifyingKey<P> {
     }
 }
 
+impl<P: ParameterSet> core::hash::Hash for VerifyingKey<P> {
+    fn hash<H: core::hash::Hasher>(&self, state: &mut H) {
+        self.to_bytes().hash(state);
+    }
+}
+
 impl<P: ParameterSet> Clone for VerifyingKey<P> {
     fn clone(&self) -> Self {
         VerifyingKey {