Bump the s-r-p on Ledger

Author: geo2a

cabal.project

@@ -53,8 +53,8 @@ if impl (ghc >= 9.10)
 source-repository-package
   type: git
   location: https://github.com/IntersectMBO/cardano-ledger
-  tag: fb09078fa55015c881303a2ddb609c024cec258f
-  --sha256: sha256-9Y9CRiyMn0AWD+C4aNVMaJgrj3FDAYfCX4VrLvtoMaI=
+  tag: c9cd2e7e9eed58320b252b92edbe6afe276a10a5
+  --sha256: sha256-0HM06cQfij8OFAjlcqIXkvKQYpT/is383BPzGJAJgqc=
   subdir:
     eras/allegra/impl
     eras/alonzo/impl

ouroboros-consensus-cardano/ouroboros-consensus-cardano.cabal

@@ -142,16 +142,16 @@ library
     cardano-ledger-allegra ^>=1.9,
     cardano-ledger-alonzo ^>=1.15,
     cardano-ledger-api ^>=1.13,
-    cardano-ledger-babbage ^>=1.12,
-    cardano-ledger-binary ^>=1.7,
-    cardano-ledger-byron ^>=1.2,
+    cardano-ledger-babbage ^>=1.13,
+    cardano-ledger-binary ^>=1.8,
+    cardano-ledger-byron ^>=1.3,
     cardano-ledger-conway ^>=1.21,
     cardano-ledger-core ^>=1.19,
     cardano-ledger-dijkstra ^>=0.2,
-    cardano-ledger-mary ^>=1.9,
-    cardano-ledger-shelley ^>=1.17,
+    cardano-ledger-mary ^>=1.10,
+    cardano-ledger-shelley ^>=1.18,
     cardano-prelude,
-    cardano-protocol-tpraos ^>=1.4.1,
+    cardano-protocol-tpraos ^>=1.5,
     cardano-slotting,
     cardano-strict-containers,
     cborg ^>=0.2.2,
@@ -238,8 +238,7 @@ library unstable-byron-testlib
     cardano-binary,
     cardano-crypto,
     cardano-crypto-class,
-    cardano-crypto-test,
-    cardano-crypto-wrapper,
+    cardano-crypto-wrapper:{cardano-crypto-wrapper, testlib},
     cardano-ledger-binary:{cardano-ledger-binary, testlib},
     cardano-ledger-byron:{cardano-ledger-byron, testlib},
     cardano-ledger-core,
@@ -570,7 +569,7 @@ library unstable-cardano-tools
     cardano-ledger-mary,
     cardano-ledger-shelley,
     cardano-prelude,
-    cardano-protocol-tpraos ^>=1.4.1,
+    cardano-protocol-tpraos ^>=1.5,
     cardano-slotting,
     cardano-strict-containers,
     cborg ^>=0.2.2,

ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Mempool.hs

@@ -202,7 +202,7 @@ newtype instance TxId (GenTx (ShelleyBlock proto era)) = ShelleyTxId SL.TxId
   deriving newtype (Eq, Ord, NoThunks)
 
 deriving newtype instance
-  (Typeable era, Typeable proto, Crypto (ProtoCrypto proto)) =>
+  Crypto (ProtoCrypto proto) =>
   EncCBOR (TxId (GenTx (ShelleyBlock proto era)))
 deriving newtype instance
   (Typeable era, Typeable proto, Crypto (ProtoCrypto proto)) =>

ouroboros-consensus-protocol/ouroboros-consensus-protocol.cabal

@@ -130,7 +130,7 @@ test-suite protocol-test
     cardano-crypto-class ^>=2.2,
     cardano-ledger-binary:testlib,
     cardano-ledger-core >=1.17 && <1.20,
-    cardano-protocol-tpraos ^>=1.4.1,
+    cardano-protocol-tpraos ^>=1.5,
     containers,
     ouroboros-consensus:{ouroboros-consensus, unstable-consensus-testlib},
     ouroboros-consensus-protocol,

ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/Header.hs

@@ -42,7 +42,6 @@ import Cardano.Ledger.Binary
   , DecCBOR (decCBOR)
   , EncCBOR (..)
   , ToCBOR (..)
-  , encodedSigKESSizeExpr
   , serialize'
   , unCBORGroup
   )
@@ -225,11 +224,9 @@ instance Crypto crypto => DecCBOR (HeaderRaw crypto) where
 instance Crypto crypto => DecCBOR (Annotator (HeaderRaw crypto)) where
   decCBOR = pure <$> decCBOR
 
-instance Crypto c => EncCBOR (Header c) where
-  encodedSizeExpr size proxy =
-    1
-      + encodedSizeExpr size (headerBody <$> proxy)
-      + encodedSigKESSizeExpr (KES.getSig . headerSig <$> proxy)
+-- TODO(geo2a): can we derive this instance?
+-- previously, it had an additional method defined, which was removed
+instance Crypto c => EncCBOR (Header c)
 
 deriving via
   Mem (HeaderRaw crypto)