Reinstate period check in SingleKES

IntersectMBO · Mar 31, 2022 · 8865739 · 8865739
1 parent f164c0a
commit 8865739
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/cardano-crypto-class/src/Cardano/Crypto/KES/Single.hs b/cardano-crypto-class/src/Cardano/Crypto/KES/Single.hs
@@ -122,7 +122,8 @@ instance ( DSIGNMAlgorithm m d -- needed for secure forgetting
     -- Core algorithm operations
     --
 
-    signKES ctxt _t a (SignKeySingleKES sk) =
+    signKES ctxt t a (SignKeySingleKES sk) =
+        assert (t == 0) $
         SigSingleKES <$> signDSIGNM ctxt a sk
 
     updateKES _ctx (SignKeySingleKES _sk) _to = return Nothing