[Dijkstra] Implement legacy-mode for V1-V3 Plutus scripts#1049
Merged
carlostome merged 3 commits intomasterfrom Feb 18, 2026
Merged
[Dijkstra] Implement legacy-mode for V1-V3 Plutus scripts#1049carlostome merged 3 commits intomasterfrom
carlostome merged 3 commits intomasterfrom
Conversation
carlostome
force-pushed
the
carlos/implement-legacy-mode
branch
from
987d393 to
b5c4129
Compare
carlostome
changed the base branch from
master
to
carlos/remove-subutxos-move-state-upd-to-utxo
carlostome
force-pushed
the
carlos/remove-subutxos-move-state-upd-to-utxo
branch
7 times, most recently
from
9a77cbb to
f9fa699
Compare
Base automatically changed from
carlos/remove-subutxos-move-state-upd-to-utxo
to
master
January 30, 2026 15:49
carlostome
force-pushed
the
carlos/implement-legacy-mode
branch
from
b5c4129 to
5608841
Compare
williamdemeo
requested changes
Feb 3, 2026
Member
williamdemeo
left a comment
williamdemeo
left a comment
There was a problem hiding this comment.
This is a great start, and probably even most of the way there. Nice work! Let's talk more about it tomorrow.
| ∙ ∀[ s ∈ p1Scripts ] (hash s ∈ neededScriptHashes → validP1Script witsKeyHashes txVldt s) | ||
| ∙ neededScriptHashes ⊆ mapˢ hash topLevelScripts | ||
| ∙ neededVKeyHashes ⊆ witsKeyHashes | ||
| ∙ neededDataHashes ⊆ txDataHashes |
Member
There was a problem hiding this comment.
I have a concern about this line... but I'll have to think more about it before I can tell if it's worth raising/addressing. (Basically I'm wondering if this inclusion is too strict and we should union the rhs with refInputsDataHashes.)
williamdemeo
reviewed
Feb 3, 2026
Member
williamdemeo
left a comment
williamdemeo
left a comment
There was a problem hiding this comment.
Apparently, I can't suggest replacing the whole Dec-UsesV4Features definition. I guess that's because it's not part of your PR...? Anyway, I think you can see that my intention is to replace that definition with the two new ones provided.
carlostome
force-pushed
the
carlos/implement-legacy-mode
branch
from
5608841 to
1d51fdd
Compare
carlostome
changed the base branch from
master
to
1075-dijkstra-require-guards-in-utxowsubutxow
carlostome
force-pushed
the
1075-dijkstra-require-guards-in-utxowsubutxow
branch
3 times, most recently
from
d5b59a2 to
6be84cb
Compare
carlostome
force-pushed
the
carlos/implement-legacy-mode
branch
2 times, most recently
from
88b2f59 to
bfbc17b
Compare
carlostome
force-pushed
the
1075-dijkstra-require-guards-in-utxowsubutxow
branch
from
6c3a420 to
f96dc0c
Compare
Base automatically changed from
1075-dijkstra-require-guards-in-utxowsubutxow
to
master
February 11, 2026 13:33
carlostome
force-pushed
the
carlos/implement-legacy-mode
branch
2 times, most recently
from
edb74ff to
6044f3a
Compare
williamdemeo
approved these changes
Feb 13, 2026
Member
williamdemeo
left a comment
williamdemeo
left a comment
There was a problem hiding this comment.
One minor suggested change. Otherwise, looks great. Nice work!
carlostome
force-pushed
the
carlos/implement-legacy-mode
branch
from
ad9abb8 to
75c5dfa
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description
Blocked by #1076Closes #1047.
Checklist
CHANGELOG.md