Skip to content

Conversation

@carlostome
Copy link
Collaborator

@carlostome carlostome commented Dec 22, 2025

Description

This PR fixes a bug in neededVKeyHashes in UTXOW, in which the set of reqSignerHashes was not being checked against the witnesses provided in a transaction (see Fig. 11 in alonzo).

Blocked by #1030

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 changed the title Add reqSignerHashes to neededVKeyHashes Add reqSignerHashes to neededVKeyHashes Dec 22, 2025
@carlostome carlostome requested a review from WhatisRT December 22, 2025 12:46
@williamdemeo williamdemeo moved this to In Progress in Dijkstra formal spec Jan 9, 2026
@williamdemeo williamdemeo added bug Something isn't working and removed era: dijkstra labels Jan 13, 2026
@carlostome carlostome force-pushed the carlos/validate-reqSignerHashes branch 3 times, most recently from 0dc1058 to 3eea3e3 Compare January 14, 2026 15:38
Copy link
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.

Good catch! LGTM!!

@carlostome carlostome force-pushed the carlos/validate-reqSignerHashes branch from 3eea3e3 to 9ba4379 Compare January 14, 2026 16:40
@williamdemeo williamdemeo merged commit 73f12ab into master Jan 15, 2026
28 of 33 checks passed
@williamdemeo williamdemeo deleted the carlos/validate-reqSignerHashes branch January 15, 2026 03:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants