Mempool: reject txs that don't fit in an empty mempool

Author: amesgen

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/Update.hs

@@ -189,7 +189,17 @@ pureTryAddTx cfg txSize wti tx is
   , let curTotalRefScriptSize = isTotalRefScriptSize is
         newTxRefScriptSize    = txRefScriptSize cfg (isLedgerState is) tx
         maxTotalRefScriptSize = 1024 * 1024 -- 1MiB
-  , curTotalRefScriptSize + newTxRefScriptSize Prelude.<= maxTotalRefScriptSize
+        mempoolStaysBelowCapacity =
+          curTotalRefScriptSize + newTxRefScriptSize Prelude.<= maxTotalRefScriptSize
+        -- In case the tx exceeds the per-tx limit, let it be rejected by tx
+        -- validation (such that we are not blocked here forever/for a long
+        -- time).
+        --
+        -- For Babbage, this is 100KiB (see @totalRefScriptsSizeLimit@ in
+        -- "Ouroboros.Consensus.Shelley.Eras"), and for Conway, this is 200KiB
+        -- (see @maxRefScriptSizePerTx@ in "Cardano.Ledger.Conway.Rules.Ledger").
+        txRefScriptSizeTooLarge = newTxRefScriptSize Prelude.> 200 * 1024
+  , mempoolStaysBelowCapacity || txRefScriptSizeTooLarge
   =
   case eVtx of
       -- We only extended the ValidationResult with a single transaction