Skip to content

Add Plutus V4 support in the Dijkstra era #1359

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
carbolymer merged 1 commit into from
Oct 9, 2026
Merged

Add Plutus V4 support in the Dijkstra era #1359

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions .changes/plutus-v4-dijkstra-script-language-in-era.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
project: cardano-api
pr: 1359
kind:
- feature
- compatible
description: |
`scriptLanguageSupportedInEra` and `toScriptInEra` now accept Plutus V4 in the Dijkstra era.
Plutus V4 scripts can be used as reference scripts in transaction outputs and as auxiliary scripts.
2 changes: 2 additions & 0 deletions cardano-api/src/Cardano/Api/Plutus/Internal/Script.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -666,6 +666,8 @@ scriptLanguageSupportedInEra era lang =
Just PlutusScriptV2InDijkstra
(ShelleyBasedEraDijkstra, PlutusScriptLanguage PlutusScriptV3) ->
Just PlutusScriptV3InDijkstra
(ShelleyBasedEraDijkstra, PlutusScriptLanguage PlutusScriptV4) ->

@Jimbo4350 Jimbo4350 Oct 9, 2026

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We gotta kill this module after we release V12.

@carbolymer carbolymer Oct 9, 2026

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

totally

Just PlutusScriptV4InDijkstra
_ -> Nothing

languageOfScriptLanguageInEra
Expand Down
39 changes: 39 additions & 0 deletions cardano-api/test/cardano-api-test/Test/Cardano/Api/Transaction/Body/Plutus/Scripts.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE NumericUnderscores #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
Expand Down Expand Up @@ -38,6 +39,8 @@ import Data.Map.Strict qualified as Map
import Data.Proxy (Proxy (..))
import Data.Text qualified as Text
import Data.Word (Word32)
import GHC.Exts (IsList (..))
import Lens.Micro ((^.))

import Test.Gen.Cardano.Api.Experimental qualified as Exp
import Test.Gen.Cardano.Api.Typed
Expand Down Expand Up @@ -294,6 +297,39 @@ prop_createTransactionBody_rejects_unsupported_reference_script_language = prope
(Api.AnyCardanoEra Api.ConwayEra)
)

-- | The same PlutusV4 reference script in a Dijkstra output is accepted and
-- kept on the ledger output.
prop_createTransactionBody_accepts_supported_reference_script_language :: Property
prop_createTransactionBody_accepts_supported_reference_script_language = property $ do
srcTxIn <- forAll genTxIn
destAddress <- forAll $ genAddressInEra Api.ShelleyBasedEraDijkstra
v4PlutusScript <- forAll $ genPlutusScript Script.PlutusScriptV4
let v4Script = Script.PlutusScript Script.PlutusScriptV4 v4PlutusScript
refScript =
Script.ReferenceScript Api.BabbageEraOnwardsDijkstra $
Script.ScriptInAnyLang (Script.PlutusScriptLanguage Script.PlutusScriptV4) v4Script
txBodyContent =
Api.defaultTxBodyContent Api.ShelleyBasedEraDijkstra
& Api.setTxIns [(srcTxIn, Api.BuildTxWith (Api.KeyWitness Api.KeyWitnessForSpending))]
& Api.setTxOuts
[ Api.TxOut
destAddress
(Api.lovelaceToTxOutValue Api.ShelleyBasedEraDijkstra 10_000_000)
Api.TxOutDatumNone
refScript
]
& Api.setTxFee (Api.TxFeeExplicit Api.ShelleyBasedEraDijkstra 2_000_000)

Api.ShelleyTxBody _ ledgerBody _ _ _ _ <-
H.leftFail $ Api.createTransactionBody Api.ShelleyBasedEraDijkstra txBodyContent

case toList (ledgerBody ^. L.outputsTxBodyL) of
[ledgerTxOut] ->
H.assertWith (ledgerTxOut ^. L.referenceScriptTxOutL) $ \case
L.SJust _ -> True
L.SNothing -> False
outs -> annotateShow outs >> failure

-- | 'toPlutusScriptPurposeIndex' classifies ledger redeemer pointers the same
-- way as the older 'Api.toScriptIndex', for every purpose category the two
-- share, at every era with plutus scripts. 'GuardingScript' (Dijkstra's new
Expand Down Expand Up @@ -392,6 +428,9 @@ tests =
, testProperty
"prop_createTransactionBody_rejects_unsupported_reference_script_language"
prop_createTransactionBody_rejects_unsupported_reference_script_language
, testProperty
"prop_createTransactionBody_accepts_supported_reference_script_language"
prop_createTransactionBody_accepts_supported_reference_script_language
, testProperty "prop_getAnyWitnessRedeemerPointerMap" prop_getAnyWitnessRedeemerPointerMap
, testProperty "prop_toAnyWitness" prop_toAnyWitness
, testProperty
Expand Down
Loading