Skip to content

Allow V4 Plutus scripts in legacy mode#1193

Merged
carlostome merged 4 commits into
masterfrom
1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode
May 11, 2026
Merged

Allow V4 Plutus scripts in legacy mode#1193
carlostome merged 4 commits into
masterfrom
1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode

Conversation

@carlostome
Copy link
Copy Markdown
Collaborator

@carlostome carlostome commented May 11, 2026

Description

This PR refactors the logic about Plutus scripts use in normal and legacy mode.

In particular it refactors the allowedLanguage logic to take into account transaction features for both modes of operation.

It also adds a explicit (and redundant) precondition to SUBUTXO to check that all needed phase-2 scripts languages' are V4.

Closes #1192.

Checklist

  • Commit sequence broadly makes sense and commits have useful messages
  • Any semantic changes to the specifications are documented in CHANGELOG.md
  • Code is formatted according to CONTRIBUTING.md
  • Self-reviewed the diff

@carlostome carlostome linked an issue May 11, 2026 that may be closed by this pull request
@carlostome carlostome marked this pull request as ready for review May 11, 2026 13:44
@carlostome carlostome force-pushed the 1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode branch from f3fdb4d to 4ca5d33 Compare May 11, 2026 13:46
@carlostome carlostome requested a review from williamdemeo May 11, 2026 13:57
Comment thread src/Ledger/Dijkstra/Specification/Utxow.lagda.md Outdated
Copy link
Copy Markdown
Member

@williamdemeo williamdemeo left a comment

Choose a reason for hiding this comment

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

Awesome! LGTM!!

@carlostome carlostome enabled auto-merge (squash) May 11, 2026 15:04
@carlostome carlostome merged commit 568366f into master May 11, 2026
11 of 12 checks passed
@carlostome carlostome deleted the 1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode branch May 11, 2026 15:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Dijkstra] Allow V4 Plutus scripts in legacy mode

2 participants