Remove cost of hashing from tx-cost

The results are not so useful and have been historically recorded in our
reports and in #155

hydra-node/exe/tx-cost/Main.hs

@@ -30,7 +30,6 @@ import TxCost (
   computeCollectComCost,
   computeCommitCost,
   computeFanOutCost,
-  computeHashingCost,
   computeInitCost,
   computeMerkleTreeCost,
   maxCpu,
@@ -83,7 +82,6 @@ writeTransactionCostMarkdown hdl = do
   abortC <- costOfAbort
   fanout <- costOfFanOut
   mt <- costOfMerkleTree
-  let h = costOfHashing
   hPut hdl $
     encodeUtf8 $
       unlines $
@@ -97,7 +95,6 @@ writeTransactionCostMarkdown hdl = do
             , abortC
             , fanout
             , mt
-            , h
             ]
 
 -- NOTE: Github Actions CI depends on the number of header lines, see
@@ -289,37 +286,3 @@ costOfMerkleTree = markdownMerkleTreeCost <$> computeMerkleTreeCost
                 <> " |"
           )
           stats
-
-costOfHashing :: Text
-costOfHashing = markdownHashingCost computeHashingCost
- where
-  markdownHashingCost stats =
-    unlines $
-      [ "##  Cost of on-chain Hashing"
-      , ""
-      ]
-        <> concatMap
-          ( \(n, s, costs) ->
-              [ "###  n = " <> show n <> ", s = " <> show s
-              , ""
-              , "| Algorithm | Cpu  | Mem  | Δcpu | Δmem |"
-              , "| :-------- | ---: | ---: | ---: | ---: |"
-              ]
-                <> fmap
-                  ( \case
-                      Right (algorithm, baseCpu, baseMem, cpu, mem) ->
-                        "| " <> show algorithm
-                          <> " | "
-                          <> show baseCpu
-                          <> " | "
-                          <> show baseMem
-                          <> " | "
-                          <> show (toInteger cpu - toInteger baseCpu)
-                          <> " | "
-                          <> show (toInteger mem - toInteger baseMem)
-                          <> " |"
-                      Left _ -> "| - | - |"
-                  )
-                  costs
-          )
-          stats

hydra-node/exe/tx-cost/TxCost.hs

@@ -1,5 +1,4 @@
 {-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE TypeApplications #-}
 
 module TxCost where
@@ -16,26 +15,11 @@ import Data.Fixed (E2, Fixed)
 import qualified Data.Map as Map
 import Data.Maybe (fromJust)
 import Hydra.Cardano.Api (
-  BuildTxWith (BuildTxWith),
-  ExecutionUnits (..),
   NetworkId (Testnet),
   NetworkMagic (NetworkMagic),
-  PlutusScriptV1,
   UTxO,
-  fromLedgerExUnits,
   fromLedgerValue,
-  fromPlutusScript,
-  lovelaceToValue,
-  mkScriptAddress,
-  mkScriptDatum,
-  mkScriptWitness,
-  mkTxOutDatum,
   modifyTxOutValue,
-  scriptWitnessCtx,
-  toCtxUTxOTxOut,
-  toScriptData,
-  pattern ScriptWitness,
-  pattern TxOut,
  )
 import Hydra.Chain.Direct.Context (
   HydraContext (ctxVerificationKeys),
@@ -58,22 +42,17 @@ import Hydra.Chain.Direct.State (
   getKnownUTxO,
   initialize,
  )
-import qualified Hydra.Contract.Hash as Hash
 import Hydra.Ledger.Cardano (
   adaOnly,
-  addInputs,
-  emptyTxBody,
   genKeyPair,
   genOneUTxOFor,
   genTxIn,
   simplifyUTxO,
-  unsafeBuildTransaction,
  )
 import Hydra.Ledger.Cardano.Evaluate (evaluateTx, pparams)
 import Plutus.MerkleTree (rootHash)
 import qualified Plutus.MerkleTree as MT
 import Plutus.Orphans ()
-import Plutus.V1.Ledger.Api (toBuiltin)
 import qualified Plutus.V1.Ledger.Api as Plutus
 import Test.Plutus.Validator (
   ExUnits (ExUnits),
@@ -288,49 +267,6 @@ executionCostForBuilder utxo =
    in evaluateScriptExecutionUnits mtBuilderValidator (utxo, root) <&> \case
         ExUnits mem cpu -> (mem, cpu)
 
-computeHashingCost :: [(Int, Int, [Either Text (Hash.HashAlgorithm, CpuUnit, MemUnit, CpuUnit, MemUnit)])]
-computeHashingCost =
-  [0 .. 5] <&> \(power :: Integer) ->
-    let n = 8 ^ power
-        s = n `quot` 8
-     in ( n
-        , s
-        , [minBound .. maxBound] <&> \algorithm ->
-            costOfHashingFor n algorithm
-        )
- where
-  costOfHashingFor n algorithm =
-    let ExecutionUnits
-          { executionSteps = baseCpu
-          , executionMemory = baseMem
-          } = either (error . ("unexpected failure evaluating baseline " <>) . show) id $ calculateHashExUnits n Hash.Base
-     in calculateHashExUnits n algorithm <&> \ExecutionUnits{executionSteps = cpu, executionMemory = mem} ->
-          (algorithm, CpuUnit baseCpu, MemUnit baseMem, CpuUnit cpu, MemUnit mem)
-
-calculateHashExUnits :: Int -> Hash.HashAlgorithm -> Either Text ExecutionUnits
-calculateHashExUnits n algorithm =
-  case evaluateTx tx utxo of
-    Left basicFailure ->
-      Left ("Basic failure: " <> show basicFailure)
-    Right report ->
-      case Map.elems report of
-        [Right units] ->
-          Right $ fromLedgerExUnits units
-        _ ->
-          error $ "Too many redeemers in report: " <> show report
- where
-  tx = unsafeBuildTransaction $ emptyTxBody & addInputs [(input, witness)]
-  utxo = UTxO.singleton (input, output)
-  input = generateWith arbitrary 42
-  output = toCtxUTxOTxOut $ TxOut address value (mkTxOutDatum datum)
-  value = lovelaceToValue 1_000_000
-  address = mkScriptAddress @PlutusScriptV1 networkId script
-  witness = BuildTxWith $ ScriptWitness scriptWitnessCtx $ mkScriptWitness script (mkScriptDatum datum) redeemer
-  script = fromPlutusScript @PlutusScriptV1 Hash.validatorScript
-  datum = Hash.datum $ toBuiltin bytes
-  redeemer = toScriptData $ Hash.redeemer algorithm
-  bytes = fold $ replicate n ("0" :: ByteString)
-
 maxMem, maxCpu :: Fixed E2
 Ledger.ExUnits (fromIntegral @_ @(Fixed E2) -> maxMem) (fromIntegral @_ @(Fixed E2) -> maxCpu) =
   Ledger._maxTxExUnits pparams