Prevent decoding Version higher than 11

Author: lehins

libs/cardano-ledger-binary/CHANGELOG.md

@@ -1,5 +1,9 @@
 # Version history for `cardano-ledger-binary`
 
+## 1.7.1.0
+
+* Disable decoding version `12` and higher.
+
 ## 1.7.0.0
 
 * Add `Random` instance for `Version`.

libs/cardano-ledger-binary/cardano-ledger-binary.cabal

@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name: cardano-ledger-binary
-version: 1.7.0.0
+version: 1.7.1.0
 license: Apache-2.0
 maintainer: [email protected]
 author: IOHK

libs/cardano-ledger-binary/src/Cardano/Ledger/Binary/Decoding/Decoder.hs

@@ -425,7 +425,10 @@ unlessDecoderVersionAtLeast atLeast decoder = do
 --------------------------------------------------------------------------------
 
 decodeVersion :: Decoder s Version
-decodeVersion = decodeWord64 >>= mkVersion64
+decodeVersion = do
+  v <- decodeWord64 >>= mkVersion64
+  when (v >= natVersion @12) $ fail "Version number 12 and higher are not yet supported"
+  pure v
 {-# INLINE decodeVersion #-}
 
 -- | `Decoder` for `Rational`. Versions variance:

libs/cardano-ledger-binary/testlib/Test/Cardano/Ledger/Binary/Arbitrary.hs

@@ -1,4 +1,5 @@
 {-# LANGUAGE CPP #-}
+{-# LANGUAGE DataKinds #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
@@ -205,7 +206,7 @@ deriving instance Arbitrary SystemStart
 deriving instance Arbitrary BlockNo
 
 instance Arbitrary Version where
-  arbitrary = genVersion minBound maxBound
+  arbitrary = genVersion minBound (natVersion @11)
 
 genVersion :: HasCallStack => Version -> Version -> Gen Version
 genVersion minVersion maxVersion =