Added non-zero check for nOpts in ppuWellFormed

Author: Soupstraw

eras/conway/impl/src/Cardano/Ledger/Conway/PParams.hs

@@ -108,7 +108,7 @@ import Cardano.Ledger.BaseTypes (
   NonNegativeInterval,
   NonZero,
   PositiveInterval,
-  ProtVer (ProtVer),
+  ProtVer (..),
   ToKeyValuePairs (..),
   UnitInterval,
   integralToBounded,
@@ -119,6 +119,7 @@ import Cardano.Ledger.Binary (
   DecCBOR (..),
   EncCBOR (..),
   encodeListLen,
+  natVersion,
  )
 import Cardano.Ledger.Binary.Coders
 import Cardano.Ledger.Coin (Coin (Coin), CompactForm (..), compactCoinOrError, partialCompactCoinL)
@@ -932,6 +933,8 @@ instance ConwayEraPParams ConwayEra where
       , hardforkConwayBootstrapPhase pv
           || isValid ((/= zero) . unCoinPerByte) ppuCoinsPerUTxOByteL
       , ppu /= emptyPParamsUpdate
+      , pvMajor pv < natVersion @11
+          || isValid (/= 0) ppuNOptL
       ]
     where
       isValid ::

eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/PParams.hs

@@ -541,6 +541,7 @@ instance ConwayEraPParams DijkstraEra where
       , isValid (/= zero) ppuDRepDepositL
       , isValid ((/= zero) . unCoinPerByte) ppuCoinsPerUTxOByteL
       , ppu /= emptyPParamsUpdate
+      , isValid (/= 0) ppuNOptL
       ]
     where
       isValid ::