Address more review comments

Author: tdammers

cabal.project

@@ -26,6 +26,8 @@ packages:
   sop-extras
   strict-sop-core
 
+allow-newer: plutus-core:cardano-crypto-class
+
 -- We want to always build the test-suites and benchmarks
 tests: true
 benchmarks: true
@@ -45,14 +47,6 @@ if(os(windows))
   constraints:
     bitvec -simd
 
-source-repository-package
-  type: git
-  location: https://github.com/input-output-hk/cardano-base
-  tag: b2cec3fbcde4bacb9c961e5510d5a1d3754c4e2b
-  --sha256: sha256-TDEBINZ3SkhpRNomMdt53bR3gdzgkWR9jIlAr8yrU6o=
-  subdir:
-      cardano-crypto-class
-
 source-repository-package
   type: git
   location: https://github.com/input-output-hk/cardano-ledger

ouroboros-consensus-diffusion/changelog.d/20250130_100651_tdammers_mlocked_kes_rebase.md

@@ -1,5 +1,3 @@
 ### Non-Breaking
 
 - Use registry to ensure block forging threads are finalized in node kernel.
-- Tests have been adapted to match the API changes in
-  `ouroboros-consensus` and `ouroboros-consensus-cardano`.

ouroboros-consensus/src/unstable-mock-block/Ouroboros/Consensus/Mock/Protocol/Praos.hs

@@ -207,7 +207,8 @@ data HotKey c =
   | HotKeyPoisoned
   deriving (Generic)
 
-instance PraosCrypto c => NoThunks (HotKey c)
+instance (PraosCrypto c, NoThunks (UnsoundPureSignKeyKES (PraosKES c))) => NoThunks (HotKey c)
+
 instance PraosCrypto c => Show (HotKey c) where
   show (HotKey p _) = "HotKey " ++ show p ++ " <SignKeyKES: hidden>"
   show HotKeyPoisoned = "HotKeyPoisoned"