Propagate HashableScriptData in bench folder

Author: Jimbo4350

Diff for: bench/tx-generator/src/Cardano/Benchmarking/Script/Aeson.hs

@@ -79,10 +79,10 @@ instance FromJSON ProtocolParametersSource where
 
 -- Orphan instance used in the tx-generator
 instance ToJSON ScriptData where
-  toJSON = scriptDataToJson ScriptDataJsonNoSchema
+  toJSON = scriptDataToJson ScriptDataJsonNoSchema . unsafeHashableScriptData
 instance FromJSON ScriptData where
   parseJSON v = case scriptDataFromJson ScriptDataJsonNoSchema v of
-    Right r -> return r
+    Right r -> return $ getScriptData r
     Left err -> fail $ show err
 
 instance ToJSON Generator where

Diff for: bench/tx-generator/src/Cardano/Benchmarking/Script/Core.hs

@@ -402,10 +402,10 @@ makePlutusContext ScriptSpec{..} = do
 
   (scriptData, scriptRedeemer, executionUnits) <- case scriptSpecBudget of
     StaticScriptBudget sDataFile redeemerFile units withCheck -> do
-      sData <- liftIOSafe $ readScriptData sDataFile
-      redeemer <-liftIOSafe $ readScriptData redeemerFile
+      sData <- liftIOSafe (readScriptData sDataFile)
+      redeemer <- liftIOSafe (readScriptData redeemerFile)
       when withCheck $ do
-        unitsPreRun <- preExecuteScriptAction protocolParameters script sData redeemer
+        unitsPreRun <- preExecuteScriptAction protocolParameters script (getScriptData sData) (getScriptData redeemer)
         unless (units == unitsPreRun) $
           throwE $ WalletError $ concat [
               " Stated execution Units do not match result of pre execution. "
@@ -428,16 +428,16 @@ makePlutusContext ScriptSpec{..} = do
         autoBudget = PlutusAutoBudget
           { autoBudgetUnits = budget
           , autoBudgetDatum = ScriptDataNumber 0
-          , autoBudgetRedeemer = scriptDataModifyNumber (const 1_000_000) redeemer
+          , autoBudgetRedeemer = unsafeHashableScriptData $ scriptDataModifyNumber (const 1_000_000) (getScriptData redeemer)
           }
       traceDebug $ "Plutus auto mode : Available budget per Tx input / script run: " ++ show budget
                    ++ " -- fraction of protocolParamMaxTxExUnits budget: 1/" ++ show budgetFraction
 
       case plutusAutoBudgetMaxOut protocolParameters script autoBudget of
         Left err -> liftTxGenError err
         Right PlutusAutoBudget{..} -> do
-          preRun <- preExecuteScriptAction protocolParameters script autoBudgetDatum autoBudgetRedeemer
-          return (autoBudgetDatum, autoBudgetRedeemer, preRun)
+          preRun <- preExecuteScriptAction protocolParameters script autoBudgetDatum (getScriptData autoBudgetRedeemer)
+          return (unsafeHashableScriptData autoBudgetDatum, autoBudgetRedeemer, preRun)
 
   let msg = mconcat [ "Plutus Benchmark :"
                     , " Script: ", scriptSpecFile
@@ -470,7 +470,7 @@ makePlutusContext ScriptSpec{..} = do
                               (ScriptDatumForTxIn scriptData)
                               scriptRedeemer
                               executionUnits
-      in return (ScriptWitness ScriptWitnessForSpending scriptWitness, script, scriptData, scriptFee)
+      in return (ScriptWitness ScriptWitnessForSpending scriptWitness, script, getScriptData scriptData, scriptFee)
     _ ->
       liftTxGenError $ TxGenError "runPlutusBenchmark: only Plutus scripts supported"
 
@@ -481,7 +481,7 @@ preExecuteScriptAction ::
   -> ScriptData
   -> ActionM ExecutionUnits
 preExecuteScriptAction protocolParameters script scriptData redeemer
-  = case Plutus.preExecutePlutusScript protocolParameters script scriptData redeemer of
+  = case Plutus.preExecutePlutusScript protocolParameters script scriptData (unsafeHashableScriptData redeemer) of
       Left err -> throwE $ WalletError ( "makePlutusContext preExecuteScript failed: " ++ show err )
       Right costs -> return costs
 

Diff for: bench/tx-generator/src/Cardano/TxGenerator/PlutusContext.hs

@@ -20,9 +20,9 @@ import           Cardano.TxGenerator.Types
 
 
 -- | load serialized ScriptData, filling in an empty value if no .json file is given
-readScriptData :: FilePath -> IO (Either TxGenError ScriptData)
+readScriptData :: FilePath -> IO (Either TxGenError HashableScriptData)
 readScriptData ""
-  = pure $ Right $ ScriptDataNumber 0             -- TODO: make sure this is an adequate empty value
+  = pure $ Right $ unsafeHashableScriptData $ ScriptDataNumber 0             -- TODO: make sure this is an adequate empty value
 readScriptData jsonFilePath
   = runExceptT $ do
     sData :: Aeson.Value <-
@@ -41,16 +41,16 @@ plutusAutoBudgetMaxOut :: ProtocolParameters -> ScriptInAnyLang -> PlutusAutoBud
 plutusAutoBudgetMaxOut protocolParams script pab@PlutusAutoBudget{..}
   = do
     redeemer' <- toLoopArgument <$> binarySearch isInLimits 0 searchUpperBound
-    pure $ pab {autoBudgetRedeemer = redeemer'}
+    pure $ pab {autoBudgetRedeemer = unsafeHashableScriptData redeemer'}
   where
     -- The highest loop counter that is tried - this is about 10 times the current mainnet limit.
     searchUpperBound = 20000
 
-    toLoopArgument n = scriptDataModifyNumber (+ n) autoBudgetRedeemer
+    toLoopArgument n = scriptDataModifyNumber (+ n) $ getScriptData autoBudgetRedeemer
 
     isInLimits :: Integer -> Either TxGenError Bool
     isInLimits n = do
-      used <- preExecutePlutusScript protocolParams script autoBudgetDatum (toLoopArgument n)
+      used <- preExecutePlutusScript protocolParams script autoBudgetDatum (unsafeHashableScriptData $ toLoopArgument n)
       pure $ executionSteps used <= executionSteps autoBudgetUnits && executionMemory used <= executionMemory autoBudgetUnits
 
 -- modifies the first ScriptDataNumber encountered during traversal to the value provided

Diff for: bench/tx-generator/src/Cardano/TxGenerator/Setup/Plutus.hs

@@ -81,7 +81,7 @@ preExecutePlutusV1 protocolParameters (PlutusScript _ (PlutusScriptSerialised sc
         hoistEither $
           snd $ PlutusV1.evaluateScriptCounting protocolVersion PlutusV1.Verbose evaluationContext script
             [ toPlutusData datum
-            , toPlutusData redeemer
+            , toPlutusData (getScriptData redeemer)
             , PlutusV1.toData dummyContext
             ]
 
@@ -134,7 +134,7 @@ preExecutePlutusV2 protocolParameters (PlutusScript _ (PlutusScriptSerialised sc
         hoistEither $
           snd $ PlutusV2.evaluateScriptCounting protocolVersion PlutusV2.Verbose evaluationContext script
             [ toPlutusData datum
-            , toPlutusData redeemer
+            , toPlutusData (getScriptData redeemer)
             , PlutusV2.toData dummyContext
             ]
 

Diff for: bench/tx-generator/src/Cardano/TxGenerator/UTxO.hs

@@ -70,7 +70,7 @@ mkUTxOScript networkId (script, txOutDatum) witness value
     Just tag -> TxOut
                   plutusScriptAddr
                   (lovelaceToTxOutValue v)
-                  (TxOutDatumHash tag $ hashScriptData txOutDatum)
+                  (TxOutDatumHash tag $ hashScriptDataBytes $ unsafeHashableScriptData txOutDatum)
                   ReferenceScriptNone
 
   mkNewFund :: Lovelace -> TxIx -> TxId -> Fund

Diff for: bench/tx-generator/test/ApiTest.hs

@@ -127,11 +127,11 @@ checkPlutusBuiltin
 
     protocolParameters <- readProtocolParametersOrDie
     forM_ bArgs $ \bArg -> do
-      let apiData = toApiData bArg
+      let apiData = unsafeHashableScriptData $ toApiData bArg
       putStrLn $ "* executing with mode: " ++ show (fst bArg)
       putStrLn "* custom script data in Cardano API format:"
       BSL.putStrLn $ encode $ scriptDataToJson ScriptDataJsonDetailedSchema apiData
-      case preExecutePlutusScript protocolParameters script apiData apiData of
+      case preExecutePlutusScript protocolParameters script (getScriptData apiData) apiData of
         Left err -> putStrLn $ "--> execution failed: " ++ show err
         Right units -> putStrLn $ "--> execution successful; got budget: " ++ show units
   where
@@ -161,9 +161,9 @@ checkPlutusLoop (Just PlutusOn{..})
       Left err -> die (show err)
       Right redeemer -> do
         putStrLn $ "--> read redeemer: " ++ redeemerFile
-        return $ scriptDataModifyNumber (+ count) redeemer
+        return $ scriptDataModifyNumber (+ count) $ getScriptData redeemer
 
-    case preExecutePlutusScript protocolParameters script (ScriptDataNumber 0) redeemer of
+    case preExecutePlutusScript protocolParameters script (ScriptDataNumber 0) (unsafeHashableScriptData redeemer) of
       Left err -> putStrLn $ "--> execution failed: " ++ show err
       Right units -> putStrLn $ "--> execution successful; got budget: " ++ show units
 
@@ -174,7 +174,7 @@ checkPlutusLoop (Just PlutusOn{..})
         autoBudget = PlutusAutoBudget
           { autoBudgetUnits = budget
           , autoBudgetDatum = ScriptDataNumber 0
-          , autoBudgetRedeemer = scriptDataModifyNumber (const 1_000_000) redeemer
+          , autoBudgetRedeemer = unsafeHashableScriptData $ scriptDataModifyNumber (const 1_000_000) redeemer
           }
     putStrLn $ "--> " ++ show (plutusAutoBudgetMaxOut protocolParameters script autoBudget)