Skip to content
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.

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

Simplify initial validator check #1725

Open
v0d1ch opened this issue Oct 28, 2024 · 0 comments
Open

Simplify initial validator check #1725

v0d1ch opened this issue Oct 28, 2024 · 0 comments
Assignees
Labels
💬 feature A feature on our roadmap 💭 idea An idea or feature request

Comments

@v0d1ch
Copy link
Contributor

v0d1ch commented Oct 28, 2024

  • Hydra doom people had a question related to one of our checks in the initial validator https://github.com/cardano-scaling/hydra/blob/master/hydra-plutus/src/Hydra/Contract/Initial.hs#L125C9-L126C37 . They have the need to change the values distributed on L2 without using an extra tx on L2 hopefully. The increment validator is making this impossible since it expects that whatever we put in the commit datum to be matching exactly with what we consume in the commit tx and the same needs to be present in the initial redeemer (ViaCommit) . What they would like is to keep the UTxO value check but don't check if the exact inputs are also locked so that they could distribute the UTxO on L2 as they please. Question is: does this affect any security guarantees of a Hydra Head protocol?
@v0d1ch v0d1ch self-assigned this Oct 28, 2024
@v0d1ch v0d1ch added 💬 feature A feature on our roadmap 💭 idea An idea or feature request labels Oct 28, 2024
@noonio noonio assigned ffakenz and unassigned ffakenz Oct 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
💬 feature A feature on our roadmap 💭 idea An idea or feature request
Projects
None yet
Development

No branches or pull requests

2 participants