Merge pull request #518 from IntersectMBO/lehins/add-missing-pieces-t…

…o-unsound-pure-kes Add missing pieces to unsound pure kes
IntersectMBO · Jan 29, 2025 · af799cd · af799cd
2 parents c37566a + 8a36332
commit af799cd
Show file tree

Hide file tree

Showing 5 changed files with 19 additions and 2 deletions.
diff --git a/cardano-crypto-class/CHANGELOG.md b/cardano-crypto-class/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog for `cardano-crypto-class`
 
+## 2.2.1.0
+
+* Add `NoThunks` constraint on `UnsoundPureSignKeyKES` that was missed during KES changes
+
 ## 2.2.0.0
 
 * Add required `HashAlgorithm` constraint to `Hash` serialization.

diff --git a/cardano-crypto-class/cardano-crypto-class.cabal b/cardano-crypto-class/cardano-crypto-class.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.2
 name: cardano-crypto-class
-version: 2.2.0.0
+version: 2.2.1.0
 synopsis:
   Type classes abstracting over cryptography primitives for Cardano
 

diff --git a/cardano-crypto-class/src/Cardano/Crypto/KES/Class.hs b/cardano-crypto-class/src/Cardano/Crypto/KES/Class.hs
@@ -288,7 +288,12 @@ updateKES = updateKESWith mlockedMalloc
 -- code.
 -- This API is only provided for testing purposes; it must not be used to
 -- generate or use real KES keys.
-class KESAlgorithm v => UnsoundPureKESAlgorithm v where
+class
+  ( KESAlgorithm v
+  , NoThunks (UnsoundPureSignKeyKES v)
+  ) =>
+  UnsoundPureKESAlgorithm v
+  where
   data UnsoundPureSignKeyKES v :: Type
 
   unsoundPureSignKES ::

diff --git a/cardano-crypto-praos/CHANGELOG.md b/cardano-crypto-praos/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog for `cardano-crypto-praos`
 
+## 2.2.0.1
+
+*
+
 ## 2.2.0.0
 
 * Prefixed private bundled c functions with `cardano_` to ensure they are not

diff --git a/cardano-crypto-tests/CHANGELOG.md b/cardano-crypto-tests/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog for `cardano-crypto-tests`
 
+## 2.2.0.1
+
+*
+
 ## 2.2.0.0
 
 * Memlocking functionality