Bump cardano-crypto-class to include BLS support

cabal.project

@@ -16,6 +16,192 @@ index-state:
   , hackage.haskell.org 2026-02-06T20:27:32Z
   , cardano-haskell-packages 2026-03-02T22:40:26Z
 
+-- BEGIN SRP STANZAS MANAGED BY STANZAMAN --
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: eras/babbage/impl
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: eras/alonzo/test-suite
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: eras/dijkstra/impl
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: eras/byron/ledger/impl
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: eras/conway/impl
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/ouroboros-network.git
+  tag: a7d37a65887fa444be08f60f22025f2a426c4d5b
+  subdir: cardano-diffusion
+  --sha256: 0aszspd6j2vl5pvzcgsg1psnzvw1bkcqbfwaayjna4q4iri4inns
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: eras/alonzo/impl
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: eras/shelley/test-suite
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: libs/cardano-ledger-core
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/palas/kes-agent.git
+  tag: 84c98f369d58e86cf7a339ccce583252d4cb5773
+  subdir: kes-agent
+  --sha256: 16y4nfi0j5z8ffjhxvp8frxk4mfngg6f8b2sdjwg69fwjnd0l6yi
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: libs/cardano-data
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: libs/cardano-ledger-binary
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/ouroboros-network.git
+  tag: a7d37a65887fa444be08f60f22025f2a426c4d5b
+  subdir: network-mux
+  --sha256: 0aszspd6j2vl5pvzcgsg1psnzvw1bkcqbfwaayjna4q4iri4inns
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: eras/mary/impl
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/ouroboros-consensus.git
+  tag: 61345189bd3f5f778364815f7e2ed66f4ecc25ed
+  subdir: .
+  --sha256: 1my4qiy2ab8swr6fqw00znlaxin50pj8kvjfajalq4jpympbx9vx
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: eras/byron/crypto
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: libs/vector-map
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: eras/allegra/impl
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/palas/kes-agent.git
+  tag: 84c98f369d58e86cf7a339ccce583252d4cb5773
+  subdir: kes-agent-crypto
+  --sha256: 16y4nfi0j5z8ffjhxvp8frxk4mfngg6f8b2sdjwg69fwjnd0l6yi
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: libs/cardano-ledger-api
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/ouroboros-network.git
+  tag: a7d37a65887fa444be08f60f22025f2a426c4d5b
+  subdir: ouroboros-network
+  --sha256: 0aszspd6j2vl5pvzcgsg1psnzvw1bkcqbfwaayjna4q4iri4inns
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: libs/cardano-protocol-tpraos
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: libs/small-steps
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-base.git
+  tag: f42062fc6ce13c9e2a5e4715a069e4e96fd38b98
+  subdir: cardano-crypto-class
+  --sha256: 1cvbgznz3wm6150sllycqdwm0yfqv95jiw5s2dvhl992bg46if0x
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: eras/shelley/impl
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger.git
+  tag: d7e960e4cfdd206a90206a6085abce6877f2b88f
+  subdir: eras/shelley-ma/test-suite
+  --sha256: 124ljmjrnbrp0ig0izmjifcbkdxz3wpg7w4wnmwlzhnylkv7nn58
+
+-- END SRP STANZAS MANAGED BY STANZAMAN --
+
 packages:
     cardano-api
     cardano-api-gen
@@ -56,6 +242,10 @@ constraints:
   -- haskell.nix patch does not work for 1.6.8
   , any.crypton-x509-system < 1.6.8
 
+allow-newer:
+  -- ouroboros-network requires random ^>=1.3 but quickcheck-state-machine bounds are stale
+  , quickcheck-state-machine:random
+
 if impl(ghc >= 9.12)
   allow-newer:
     -- we need newer io-classes: https://github.com/input-output-hk/typed-protocols/tree/coot/io-classes-1.9

cardano-api/cardano-api.cabal

@@ -111,7 +111,6 @@ library
     Cardano.Api.Value
 
   build-depends:
-    FailT,
     aeson >=1.5.6.0,
     aeson-pretty >=0.8.5,
     attoparsec,
@@ -126,17 +125,19 @@ library
     cardano-addresses ^>=4.0.0,
     cardano-binary,
     cardano-crypto,
-    cardano-crypto-class ^>=2.2.3.2,
-    cardano-crypto-wrapper ^>=1.6,
+    cardano-crypto-class ^>=2.3.1.0,
+    cardano-crypto-wrapper ^>=1.7,
     cardano-data >=1.0,
+    cardano-diffusion,
+    cardano-diffusion:api,
     cardano-ledger-allegra >=1.7,
     cardano-ledger-alonzo >=1.13,
-    cardano-ledger-api ^>=1.12.1,
+    cardano-ledger-api ^>=1.13,
     cardano-ledger-babbage >=1.11,
     cardano-ledger-binary >=1.6,
     cardano-ledger-byron >=1.2,
     cardano-ledger-conway >=1.19,
-    cardano-ledger-core >=1.17 && <1.19,
+    cardano-ledger-core >=1.17,
     cardano-ledger-dijkstra >=0.1,
     cardano-ledger-mary >=1.8,
     cardano-ledger-shelley >=1.16,
@@ -158,21 +159,22 @@ library
     groups,
     iproute,
     memory,
+    mempack,
     microlens,
     mono-traversable,
     mtl,
     network,
     network-mux,
     nothunks,
     ordered-containers,
-    ouroboros-consensus ^>=0.30.0.1,
-    ouroboros-consensus-cardano ^>=0.26,
-    ouroboros-consensus-diffusion ^>=0.26,
-    ouroboros-consensus-protocol ^>=0.13,
-    ouroboros-network ^>=0.22.6.0,
-    ouroboros-network-api >=0.15,
-    ouroboros-network-framework,
-    ouroboros-network-protocols >=0.15,
+    ouroboros-consensus ^>=1.0,
+    ouroboros-consensus:cardano,
+    ouroboros-consensus:diffusion,
+    ouroboros-consensus:protocol,
+    ouroboros-network ^>=0.24,
+    ouroboros-network:api,
+    ouroboros-network:framework,
+    ouroboros-network:protocols,
     parsec,
     plutus-core ^>=1.59,
     plutus-ledger-api ^>=1.59,
@@ -326,7 +328,7 @@ library gen
     cardano-api,
     cardano-binary >=1.6 && <1.8,
     cardano-crypto-class,
-    cardano-crypto-test ^>=1.6,
+    cardano-crypto-wrapper:testlib,
     cardano-ledger-alonzo:{cardano-ledger-alonzo, testlib} >=1.8.1,
     cardano-ledger-byron:testlib,
     cardano-ledger-conway:testlib,
@@ -363,13 +365,15 @@ test-suite cardano-api-test
     cardano-binary,
     cardano-crypto,
     cardano-crypto-class,
-    cardano-crypto-tests ^>=2.2,
+    cardano-crypto-class:testlib,
     cardano-crypto-wrapper:testlib,
     cardano-ledger-alonzo,
-    cardano-ledger-api ^>=1.12.1,
+    cardano-ledger-api ^>=1.13,
     cardano-ledger-binary,
     cardano-ledger-conway,
+    cardano-ledger-core,
     cardano-ledger-core >=1.14,
+    cardano-ledger-core:testlib,
     cardano-ledger-mary,
     cardano-ledger-shelley,
     cardano-protocol-tpraos,
@@ -385,7 +389,7 @@ test-suite cardano-api-test
     mtl,
     ordered-containers,
     ouroboros-consensus,
-    ouroboros-consensus-protocol,
+    ouroboros-consensus:protocol,
     raw-strings-qq,
     tasty,
     tasty-hedgehog,
@@ -442,7 +446,7 @@ test-suite cardano-api-golden
     cardano-crypto-class,
     cardano-data >=1.0,
     cardano-ledger-alonzo,
-    cardano-ledger-api ^>=1.12.1,
+    cardano-ledger-api ^>=1.13,
     cardano-ledger-binary,
     cardano-ledger-core >=1.14,
     cardano-ledger-shelley,

cardano-api/gen/Test/Gen/Cardano/Api.hs

@@ -24,8 +24,11 @@ import GHC.Exts (IsList (..))
 
 import Test.Gen.Cardano.Api.Typed (genCostModel, genRational)
 
+import Test.Cardano.Ledger.Alonzo.Arbitrary (genValidCostModel)
+
 import Hedgehog (Gen, Range)
 import Hedgehog.Gen qualified as Gen
+import Hedgehog.Gen.QuickCheck qualified as Q
 import Hedgehog.Internal.Range qualified as Range
 
 genMetadata :: Ledger.Era era => Gen (ShelleyTxAuxData era)
@@ -97,7 +100,12 @@ genAlonzoGenesis :: Gen Alonzo.AlonzoGenesis
 genAlonzoGenesis = do
   coinsPerUTxOWord <- genCoin (Range.linear 0 5)
   -- TODO: Babbage: Figure out how to deal with the asymmetric cost model JSON
-  _costmdls' <- genCostModels
+  plutusV1CostModel <- Q.quickcheck (genValidCostModel Alonzo.PlutusV1)
+  mExtraConfig <-
+    Gen.maybe
+      ( (\mCostModel -> Alonzo.AlonzoExtraConfig{Alonzo.aecCostModels = mCostModel})
+          <$> Gen.maybe genCostModels
+      )
   prices' <- genPrices
   maxTxExUnits' <- genExUnits
   maxBlockExUnits' <- genExUnits
@@ -108,11 +116,12 @@ genAlonzoGenesis = do
   return
     Alonzo.AlonzoGenesis
       { Alonzo.agCoinsPerUTxOWord = Ledger.CoinPerWord coinsPerUTxOWord
-      , Alonzo.agCostModels = mempty
+      , Alonzo.agPlutusV1CostModel = plutusV1CostModel
       , Alonzo.agPrices = prices'
       , Alonzo.agMaxTxExUnits = maxTxExUnits'
       , Alonzo.agMaxBlockExUnits = maxBlockExUnits'
       , Alonzo.agMaxValSize = maxValSize'
       , Alonzo.agCollateralPercentage = collateralPercentage'
       , Alonzo.agMaxCollateralInputs = maxCollateralInputs'
+      , Alonzo.agExtraConfig = mExtraConfig
       }