PlutusV2 -> PlutusV3

hydra-cardano-api/src/Hydra/Cardano/Api.hs

@@ -11,7 +11,7 @@
 -- also get rid of era witnesses.
 --
 -- NOTE: This module also uses the **latest plutus version** available
--- (currently 'PlutusScriptV2'). So make sure that you give it a plutus script
+-- (currently 'PlutusScriptV3'). So make sure that you give it a plutus script
 -- of the right version (e.g. when compiling and serializing plutus-tx).
 module Hydra.Cardano.Api (
   -- * Common type-alias
@@ -230,7 +230,7 @@ pattern ShelleyKeyWitness{shelleyKeyWitness} <-
 
 -- ** PlutusScript
 
-type PlutusScript = Cardano.Api.PlutusScript PlutusScriptV2
+type PlutusScript = Cardano.Api.PlutusScript PlutusScriptV3
 {-# COMPLETE PlutusScriptSerialised #-}
 
 pattern PlutusScriptSerialised :: ShortByteString -> PlutusScript
@@ -242,31 +242,31 @@ pattern PlutusScriptSerialised{plutusScriptSerialised} <-
 
 -- ** Script
 
-type Script = Cardano.Api.Script PlutusScriptV2
+type Script = Cardano.Api.Script PlutusScriptV3
 {-# COMPLETE PlutusScript #-}
 
 pattern PlutusScript :: PlutusScript -> Script
 pattern PlutusScript{plutusScript} <-
   Cardano.Api.Shelley.PlutusScript _ plutusScript
   where
     PlutusScript =
-      Cardano.Api.Shelley.PlutusScript PlutusScriptV2
+      Cardano.Api.Shelley.PlutusScript PlutusScriptV3
 
 -- ** ScriptInEra
 
 type ScriptInEra = Cardano.Api.ScriptInEra Era
 
 -- ** ScriptLanguage
 
-type ScriptLanguage = Cardano.Api.ScriptLanguage PlutusScriptV2
+type ScriptLanguage = Cardano.Api.ScriptLanguage PlutusScriptV3
 {-# COMPLETE PlutusScriptLanguage #-}
 
 pattern PlutusScriptLanguage :: ScriptLanguage
 pattern PlutusScriptLanguage <-
   Cardano.Api.Shelley.PlutusScriptLanguage _
   where
     PlutusScriptLanguage =
-      Cardano.Api.Shelley.PlutusScriptLanguage PlutusScriptV2
+      Cardano.Api.Shelley.PlutusScriptLanguage PlutusScriptV3
 
 -- ** ScriptWitness
 
@@ -287,7 +287,7 @@ pattern PlutusScriptWitness
   } <-
   Cardano.Api.PlutusScriptWitness
     _
-    PlutusScriptV2
+    PlutusScriptV3
     (PScript plutusScriptWitnessScript)
     plutusScriptWitnessDatum
     plutusScriptWitnessRedeemer
@@ -296,7 +296,7 @@ pattern PlutusScriptWitness
     PlutusScriptWitness =
       Cardano.Api.PlutusScriptWitness
         scriptLanguageInEra
-        PlutusScriptV2
+        PlutusScriptV3
         . PScript
 
 -- ** Tx

hydra-cardano-api/src/Hydra/Cardano/Api/AddressInEra.hs

@@ -9,13 +9,13 @@ import Cardano.Ledger.Credential qualified as Ledger
 import Cardano.Ledger.Hashes qualified as Ledger
 import Cardano.Ledger.Keys qualified as Ledger
 import Hydra.Cardano.Api.Network (Network)
-import PlutusLedgerApi.V2 (
+import PlutusLedgerApi.V3 (
   Address (..),
   Credential (..),
   StakingCredential (StakingHash, StakingPtr),
   fromBuiltin,
  )
-import PlutusLedgerApi.V2 qualified as Plutus
+import PlutusLedgerApi.V3 qualified as Plutus
 
 -- * Extras
 

hydra-cardano-api/src/Hydra/Cardano/Api/Hash.hs

@@ -7,7 +7,7 @@ import Cardano.Ledger.Plutus.TxInfo (transKeyHash)
 import Cardano.Ledger.SafeHash (unsafeMakeSafeHash)
 import Cardano.Ledger.Shelley.Scripts qualified as Ledger
 import Data.ByteString qualified as BS
-import PlutusLedgerApi.V2 qualified as Plutus
+import PlutusLedgerApi.V3 qualified as Plutus
 
 -- * Type conversions
 

hydra-cardano-api/src/Hydra/Cardano/Api/PolicyId.hs

@@ -8,7 +8,7 @@ import Cardano.Ledger.Alonzo.Plutus.TxInfo qualified as Ledger
 import Cardano.Ledger.Hashes qualified as Ledger
 import Cardano.Ledger.Mary.Value qualified as Ledger
 import Hydra.Cardano.Api.ScriptHash ()
-import PlutusLedgerApi.V2 (CurrencySymbol, fromBuiltin, unCurrencySymbol)
+import PlutusLedgerApi.V3 (CurrencySymbol, fromBuiltin, unCurrencySymbol)
 
 -- * Orphans
 

hydra-cardano-api/src/Hydra/Cardano/Api/ReferenceScript.hs

@@ -3,14 +3,14 @@ module Hydra.Cardano.Api.ReferenceScript where
 import Hydra.Cardano.Api.Prelude
 
 import Hydra.Cardano.Api.PlutusScript (fromPlutusScript)
-import PlutusLedgerApi.V2 qualified as Plutus
+import PlutusLedgerApi.V3 qualified as Plutus
 
 -- | Construct a 'ReferenceScript' from any given Plutus script.
 --
--- NOTE: The script is treated as a 'PlutusScriptV2'
+-- NOTE: The script is treated as a 'PlutusScriptV3'
 mkScriptRef :: Plutus.SerialisedScript -> ReferenceScript Era
 mkScriptRef =
   ReferenceScript babbageBasedEra
     . toScriptInAnyLang
-    . PlutusScript PlutusScriptV2
+    . PlutusScript PlutusScriptV3
     . fromPlutusScript

hydra-cardano-api/src/Hydra/Cardano/Api/ScriptData.hs

@@ -13,7 +13,7 @@ import Data.Aeson (Value (String), withText)
 import Data.ByteString qualified as BS
 import Data.ByteString.Base16 qualified as Base16
 import Data.Map qualified as Map
-import PlutusLedgerApi.V2 qualified as Plutus
+import PlutusLedgerApi.V3 qualified as Plutus
 import Test.QuickCheck (arbitrarySizedNatural, choose, oneof, scale, sized, vector)
 
 -- * Extras

hydra-cardano-api/src/Hydra/Cardano/Api/ScriptHash.hs

@@ -26,4 +26,4 @@ hashScriptInAnyLang (ScriptInAnyLang _ script) =
 
 instance Arbitrary ScriptHash where
   arbitrary = do
-    hashScript . PlutusScript PlutusScriptV2 <$> arbitrary
+    hashScript . PlutusScript PlutusScriptV3 <$> arbitrary

hydra-cardano-api/src/Hydra/Cardano/Api/Tx.hs

@@ -203,6 +203,7 @@ convertConwayTx tx =
     Ledger.PlutusScript ps -> case ps of
       ConwayPlutusV1 p1 -> Just . Ledger.PlutusScript $ BabbagePlutusV1 p1
       ConwayPlutusV2 p2 -> Just . Ledger.PlutusScript $ BabbagePlutusV2 p2
+      -- FIXME: PlutusV3 support
       ConwayPlutusV3{} -> Nothing
 
   translateRdmrs ::

hydra-cardano-api/src/Hydra/Cardano/Api/TxBody.hs

@@ -18,7 +18,7 @@ import Data.Map qualified as Map
 import Hydra.Cardano.Api.PlutusScript (fromLedgerScript)
 import Hydra.Cardano.Api.PolicyId (toLedgerPolicyID, toLedgerScriptHash)
 import Hydra.Cardano.Api.TxIn (toLedgerTxIn)
-import PlutusLedgerApi.V2 qualified as Plutus
+import PlutusLedgerApi.V3 qualified as Plutus
 
 -- | Find and deserialise from 'ScriptData', a redeemer from the transaction
 -- associated to the given input.

hydra-cardano-api/src/Hydra/Cardano/Api/TxIn.hs

@@ -4,13 +4,14 @@ module Hydra.Cardano.Api.TxIn where
 
 import Hydra.Cardano.Api.Prelude
 
+import Cardano.Ledger.BaseTypes (txIxToInt)
 import Cardano.Ledger.BaseTypes qualified as Ledger
 import Cardano.Ledger.Binary qualified as Ledger
-import Cardano.Ledger.Plutus (transTxIn)
+import Cardano.Ledger.Plutus (transSafeHash)
 import Cardano.Ledger.TxIn qualified as Ledger
 import Data.ByteString qualified as BS
 import Data.Set qualified as Set
-import PlutusLedgerApi.V2 qualified as Plutus
+import PlutusLedgerApi.V3 qualified as Plutus
 import Test.QuickCheck (choose, vectorOf)
 
 -- * Extras
@@ -54,7 +55,11 @@ fromPlutusTxOutRef (Plutus.TxOutRef (Plutus.TxId bytes) ix) =
 
 -- | Convert a cardano-api 'TxIn' into a plutus 'TxOutRef'.
 toPlutusTxOutRef :: TxIn -> Plutus.TxOutRef
-toPlutusTxOutRef = transTxIn . toLedgerTxIn
+toPlutusTxOutRef txIn =
+  -- XXX: The upstream 'transTxIn' works only with the the PlutusV1 type, so we
+  -- needed to vendor its definition here.
+  let (Ledger.TxIn (Ledger.TxId safe) txIx) = toLedgerTxIn txIn
+   in Plutus.TxOutRef (Plutus.TxId $ transSafeHash safe) (toInteger $ txIxToInt txIx)
 
 -- * Arbitrary values
 

hydra-cardano-api/src/Hydra/Cardano/Api/TxOut.hs

@@ -14,8 +14,8 @@ import Hydra.Cardano.Api.Hash (unsafeScriptDataHashFromBytes)
 import Hydra.Cardano.Api.Network (Network)
 import Hydra.Cardano.Api.ScriptData (toScriptData)
 import Hydra.Cardano.Api.Value (fromPlutusValue, minUTxOValue)
-import PlutusLedgerApi.V2 (OutputDatum (..), fromBuiltin)
-import PlutusLedgerApi.V2 qualified as Plutus
+import PlutusLedgerApi.V3 (OutputDatum (..), fromBuiltin)
+import PlutusLedgerApi.V3 qualified as Plutus
 
 -- * Extras
 

hydra-cardano-api/src/Hydra/Cardano/Api/Value.hs

@@ -10,8 +10,8 @@ import Data.Word (Word64)
 import Hydra.Cardano.Api.CtxUTxO (ToUTxOContext (..))
 import Hydra.Cardano.Api.PolicyId (fromPlutusCurrencySymbol)
 import PlutusLedgerApi.V1.Value (flattenValue)
-import PlutusLedgerApi.V2 (adaSymbol, adaToken, fromBuiltin, unTokenName)
-import PlutusLedgerApi.V2 qualified as Plutus
+import PlutusLedgerApi.V3 (adaSymbol, adaToken, fromBuiltin, unTokenName)
+import PlutusLedgerApi.V3 qualified as Plutus
 
 -- * Extras
 

hydra-cluster/config/devnet/genesis-shelley.json

@@ -22,15 +22,15 @@
         "keyDeposit": 0,
         "maxBlockBodySize": 65536,
         "maxBlockHeaderSize": 1100,
-        "maxTxSize": 16384,
+        "maxTxSize": 24334,
         "minFeeA": 44,
         "minFeeB": 155381,
         "minPoolCost": 0,
         "minUTxOValue": 0,
         "nOpt": 100,
         "poolDeposit": 0,
         "protocolVersion": {
-            "major": 7,
+            "major": 9,
             "minor": 0
         },
         "rho": 0.1,