Rename tx cost benchmark decommit -> decrement

cardano-scaling · Jul 9, 2024 · 5c28382 · 5c28382
1 parent aafde9f
commit 5c28382
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 15 deletions.
diff --git a/hydra-node/bench/tx-cost/Main.hs b/hydra-node/bench/tx-cost/Main.hs
@@ -30,7 +30,7 @@ import TxCost (
   computeCollectComCost,
   computeCommitCost,
   computeContestCost,
-  computeDecommitCost,
+  computeDecrementCost,
   computeFanOutCost,
   computeInitCost,
  )
@@ -77,7 +77,7 @@ writeTransactionCostMarkdown hdl = do
   initC <- costOfInit
   commitC <- costOfCommit
   collectComC <- costOfCollectCom
-  decommitC <- costOfDecommit
+  decrementC <- costOfDecrement
   closeC <- costOfClose
   contestC <- costOfContest
   abortC <- costOfAbort
@@ -92,7 +92,7 @@ writeTransactionCostMarkdown hdl = do
             [ initC
             , commitC
             , collectComC
-            , decommitC
+            , decrementC
             , closeC
             , contestC
             , abortC
@@ -231,12 +231,12 @@ costOfCollectCom = markdownCollectComCost <$> computeCollectComCost
           )
           stats
 
-costOfDecommit :: IO Text
-costOfDecommit = markdownDecommitCost <$> computeDecommitCost
+costOfDecrement :: IO Text
+costOfDecrement = markdownDecrementCost <$> computeDecrementCost
  where
-  markdownDecommitCost stats =
+  markdownDecrementCost stats =
     unlines $
-      [ "## Cost of Decommit Transaction"
+      [ "## Cost of Decrement Transaction"
       , ""
       , "| Parties | Tx size | % max Mem | % max CPU | Min fee ₳ |"
       , "| :------ | ------: | --------: | --------: | --------: |"

diff --git a/hydra-node/bench/tx-cost/TxCost.hs b/hydra-node/bench/tx-cost/TxCost.hs
@@ -140,8 +140,8 @@ computeCollectComCost =
     let spendableUTxO = getKnownUTxO stInitialized
     pure (fold committedUTxOs, unsafeCollect cctx headId (ctxHeadParameters ctx) utxoToCollect spendableUTxO, getKnownUTxO stInitialized <> getKnownUTxO cctx)
 
-computeDecommitCost :: IO [(NumParties, TxSize, MemUnit, CpuUnit, Coin)]
-computeDecommitCost = do
+computeDecrementCost :: IO [(NumParties, TxSize, MemUnit, CpuUnit, Coin)]
+computeDecrementCost = do
   interesting <- catMaybes <$> mapM compute [1, 2, 3, 5, 10]
   limit <- maybeToList . getFirst <$> foldMapM (fmap First . compute) [50, 49 .. 11]
   pure $ interesting <> limit
@@ -189,10 +189,10 @@ computeContestCost = do
   genContestTx numParties = do
     ctx <- genHydraContextFor numParties
     utxo <- arbitrary
-    let (inHead, toDecommit) = splitUTxO utxo
-    (closedSnapshotNumber, inHead', toDecommit', stClosed@ClosedState{headId}) <- genStClosed ctx inHead (Just toDecommit)
+    let (inHead, toDecremenetC) = splitUTxO utxo
+    (closedSnapshotNumber, inHead', toDecremenetC', stClosed@ClosedState{headId}) <- genStClosed ctx inHead (Just toDecremenetC)
     cctx <- pickChainContext ctx
-    snapshot <- genConfirmedSnapshot headId (succ closedSnapshotNumber) 0 inHead' toDecommit' (ctxHydraSigningKeys ctx)
+    snapshot <- genConfirmedSnapshot headId (succ closedSnapshotNumber) 0 inHead' toDecremenetC' (ctxHydraSigningKeys ctx)
     pointInTime <- genPointInTimeBefore (getContestationDeadline stClosed)
     let cp = ctxContestationPeriod ctx
     let contestUtxo = getKnownUTxO stClosed <> getKnownUTxO cctx
@@ -248,17 +248,17 @@ computeFanOutCost = do
     utxo <- genUTxOAdaOnlyOfSize numOutputs
     ctx <- genHydraContextFor numParties
     (_committed, stOpen@OpenState{headId, seedTxIn}) <- genStOpen ctx
-    let (inHead, toDecommit) = splitUTxO utxo
+    let (inHead, toDecremenetC) = splitUTxO utxo
     let version = 1
-    snapshot <- genConfirmedSnapshot headId 1 version inHead (Just toDecommit) [] -- We do not validate the signatures
+    snapshot <- genConfirmedSnapshot headId 1 version inHead (Just toDecremenetC) [] -- We do not validate the signatures
     cctx <- pickChainContext ctx
     let cp = ctxContestationPeriod ctx
     (startSlot, closePoint) <- genValidityBoundsFromContestationPeriod cp
     let closeTx = unsafeClose cctx (getKnownUTxO stOpen) headId (ctxHeadParameters ctx) snapshot startSlot closePoint version
         stClosed = snd . fromJust $ observeClose stOpen closeTx
         deadlineSlotNo = slotNoFromUTCTime systemStart slotLength (getContestationDeadline stClosed)
         utxoToFanout = getKnownUTxO stClosed <> getKnownUTxO cctx
-    pure (utxo, unsafeFanout cctx utxoToFanout seedTxIn inHead (Just toDecommit) deadlineSlotNo, getKnownUTxO stClosed <> getKnownUTxO cctx)
+    pure (utxo, unsafeFanout cctx utxoToFanout seedTxIn inHead (Just toDecremenetC) deadlineSlotNo, getKnownUTxO stClosed <> getKnownUTxO cctx)
 
 newtype NumParties = NumParties Int
   deriving newtype (Eq, Show, Ord, Num, Real, Enum, Integral)