Fix script procedure

Author: kderme

cardano-db-sync/src/Cardano/DbSync/Fix/PlutusDataBytes.hs

@@ -37,6 +37,7 @@ import Control.Monad.Trans.Control (MonadBaseControl)
 import Control.Monad.Trans.Reader (ReaderT)
 import Data.ByteString (ByteString)
 import qualified Data.ByteString.Short as SBS
+import Data.Either.Extra (mapLeft)
 import Data.Foldable (toList)
 import Data.Int (Int64)
 import Data.Map (Map)
@@ -108,7 +109,7 @@ getWrongPlutusData tracer = do
       (fmap f . DB_V_13_0.querydatumInfo . entityKey)
       (DB_V_13_0.datumHash . entityVal)
       (Just . getDatumBytes)
-      (hashPlutusData . getDatumBytes)
+      (mapLeft Just . hashPlutusData . getDatumBytes)
   redeemerDataList <-
     findWrongPlutusData
       tracer
@@ -118,7 +119,7 @@ getWrongPlutusData tracer = do
       (fmap f . DB_V_13_0.queryRedeemerDataInfo . entityKey)
       (DB_V_13_0.redeemerDataHash . entityVal)
       (Just . getRedeemerDataBytes)
-      (hashPlutusData . getRedeemerDataBytes)
+      (mapLeft Just . hashPlutusData . getRedeemerDataBytes)
   pure $ FixData datumList redeemerDataList
   where
     f queryRes = do
@@ -144,7 +145,7 @@ findWrongPlutusData ::
   (a -> m (Maybe CardanoPoint)) -> -- get previous block point
   (a -> ByteString) -> -- get the hash
   (a -> Maybe ByteString) -> -- get the stored bytes
-  (a -> Either String ByteString) -> -- hash the stored bytes
+  (a -> Either (Maybe String) ByteString) -> -- hash the stored bytes
   m [FixPlutusInfo]
 findWrongPlutusData tracer tableName qCount qPage qGetInfo getHash getBytes hashBytes = do
   liftIO $
@@ -197,7 +198,8 @@ findWrongPlutusData tracer tableName qCount qPage qGetInfo getHash getBytes hash
 
     checkValidBytes :: a -> m Bool
     checkValidBytes a = case hashBytes a of
-      Left msg -> do
+      Left Nothing -> pure True
+      Left (Just msg) -> do
         liftIO $
           logWarning tracer $
             Text.concat ["Invalid Binary Data for hash ", textShow actualHash, ": ", Text.pack msg]

cardano-db-sync/src/Cardano/DbSync/Fix/PlutusScripts.hs

@@ -109,11 +109,18 @@ findWrongPlutusScripts tracer =
       prevPoint <- convertToPoint (SlotNo prevSlotNo) prevBlockHsh
       Just prevPoint
 
+    hashPlutusScript :: DB_V_13_0.Script -> Either (Maybe String) ByteString
     hashPlutusScript dbScript = do
-      bytes <- maybeToEither "No bytes found for plutus script" id $ DB_V_13_0.scriptBytes dbScript
-      let script :: AlonzoScript StandardAlonzo = PlutusScript (AlonzoPlutusV1 (Plutus $ PlutusBinary $ SBS.toShort bytes))
-      let hsh :: Ledger.ScriptHash StandardCrypto = Ledger.hashScript @StandardAlonzo script
-      Right $ Generic.unScriptHash hsh
+      bytes <- maybeToEither (Just "No bytes found for plutus script") id $ DB_V_13_0.scriptBytes dbScript
+      case DB_V_13_0.scriptType dbScript of
+        PlutusV1 -> do
+          -- The bug only affected Alonzo script
+          let script :: AlonzoScript StandardAlonzo = PlutusScript (AlonzoPlutusV1 (Plutus $ PlutusBinary $ SBS.toShort bytes))
+          let hsh :: Ledger.ScriptHash StandardCrypto = Ledger.hashScript @StandardAlonzo script
+          Right $ Generic.unScriptHash hsh
+        PlutusV2 -> Left Nothing
+        PlutusV3 -> Left Nothing
+        _ -> Left $ Just "Non plutus script found where it shouldn't."
 
 fixPlutusScripts :: MonadIO m => Trace IO Text -> CardanoBlock -> FixPlutusScripts -> ReaderT SqlBackend m ()
 fixPlutusScripts tracer cblk fpss = do