Skip to content

Conversation

@tcoratger
Copy link
Collaborator

πŸ—’οΈ Description

@MegaRedHand Can you confirm this solves the problem?

πŸ”— Related Issues or PRs

Should close #387

βœ… Checklist

  • Ran tox checks to avoid unnecessary CI fails:
    uvx tox
  • Considered adding appropriate tests for the changes.
  • Considered updating the online docs in the ./docs/ directory.

@tcoratger tcoratger added bug Category: bug fix specs Scope: Changes to the specifications tests Scope: Changes to the spec tests labels Feb 11, 2026
@tcoratger tcoratger added this to the pq-devnet-3 milestone Feb 11, 2026
Copy link
Contributor

@MegaRedHand MegaRedHand left a comment

Choose a reason for hiding this comment

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

LGTM. I left a simplification suggestion

@tcoratger tcoratger merged commit 2997030 into leanEthereum:main Feb 11, 2026
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Category: bug fix specs Scope: Changes to the specifications tests Scope: Changes to the spec tests

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Attestation validation doesn't sanity check head vote

2 participants