Included the hash in plutus script translation

Author: Soupstraw

cabal.project

@@ -20,12 +20,12 @@ repository cardano-haskell-packages
 -- $ nix-prefetch-git https://github.com/intersectmbo/formal-ledger-specifications --rev <GIT_SHA> | jq .hash
 source-repository-package
   type: git
-  location: https://github.com/IntersectMBO/formal-ledger-specifications.git
+  location: https://github.com/Soupstraw/exec-spec-temporary.git
   -- !WARNING!:
   -- MAKE SURE THIS POINTS TO A COMMIT IN `MAlonzo-code` BEFORE MERGE!
-  subdir: generated
-  --sha256: sha256-/YE/qwup2ijMB7bo5eWyBIM+gXZ3Z1g0NZyNSfRwoPY=
-  tag: 93041ddbf659e0dbc1981d73fecb439b0209d484
+  --subdir: generated
+  --sha256: sha256-AchcHHnOf63NKnSyfhcPjt+z11PPIjV3olCexvzKKKo=
+  tag: 8cf7321a142917dd0eaf20a83b24a2eed6757969
 
 -- NOTE: If you would like to update the above, look for the `MAlonzo-code`
 -- branch in the `formal-ledger-specifications` repo and copy the SHA of

libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/Orphans.hs

@@ -62,7 +62,9 @@ instance NFData BootstrapAddr
 
 instance NFData Timelock
 
-instance NFData HashedTimelock
+instance NFData HSTimelock
+
+instance NFData HSPlutusScript
 
 instance NFData UTxOState
 
@@ -204,7 +206,9 @@ instance ToExpr BootstrapAddr
 
 instance ToExpr Timelock
 
-instance ToExpr HashedTimelock
+instance ToExpr HSTimelock
+
+instance ToExpr HSPlutusScript
 
 instance ToExpr TxBody
 
@@ -306,7 +310,9 @@ instance FixupSpecRep BootstrapAddr
 
 instance FixupSpecRep Timelock
 
-instance FixupSpecRep HashedTimelock
+instance FixupSpecRep HSTimelock
+
+instance FixupSpecRep HSPlutusScript
 
 instance FixupSpecRep UTxOState
 

libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Base.hs

@@ -201,12 +201,13 @@ instance
   ) =>
   SpecTranslate ctx (Timelock era)
   where
-  type SpecRep (Timelock era) = Agda.HashedTimelock
+  type SpecRep (Timelock era) = Agda.HSTimelock
 
   toSpecRep tl =
-    Agda.HashedTimelock
+    Agda.HSTimelock
       <$> timelockToSpecRep tl
       <*> toSpecRep (hashScript @era $ TimelockScript tl)
+      <*> pure (fromIntegral $ originalBytesSize tl)
     where
       timelockToSpecRep x =
         case x of
@@ -231,9 +232,12 @@ instance
   ) =>
   SpecTranslate ctx (PlutusScript era)
   where
-  type SpecRep (PlutusScript era) = Agda.ScriptHash
+  type SpecRep (PlutusScript era) = Agda.HSPlutusScript
 
-  toSpecRep ps = toSpecRep . hashScript $ PlutusScript @era ps
+  toSpecRep ps =
+    Agda.MkHSPlutusScript
+      <$> toSpecRep (hashScript $ PlutusScript ps)
+      <*> pure (fromIntegral $ originalBytesSize ps)
 
 instance
   ( AlonzoEraScript era
@@ -245,7 +249,7 @@ instance
   type SpecRep (AlonzoScript era) = Agda.Script
 
   toSpecRep (TimelockScript s) = Left <$> toSpecRep s
-  toSpecRep (PlutusScript s) = Right . (,()) <$> toSpecRep s
+  toSpecRep (PlutusScript s) = Right <$> toSpecRep s
 
 instance
   ( EraTxOut era