Skip to content

fix: verify PREVRANDAO#263

Merged
matthias-wright merged 2 commits into
audit-may-2026from
m/verify-randao
Jun 30, 2026
Merged

fix: verify PREVRANDAO#263
matthias-wright merged 2 commits into
audit-may-2026from
m/verify-randao

Conversation

@matthias-wright

Copy link
Copy Markdown
Collaborator

Builds on #206 (which builds on #191 and #190).

This addresses #209.

Changes:

  • In handle_verify, checks that the prev_randao is zero.
  • Adds unit tests.

@sebastian-osec

Copy link
Copy Markdown

This fix looks good to me.

@matthias-wright matthias-wright changed the base branch from main to audit-may-2026 June 30, 2026 10:26
@matthias-wright matthias-wright merged commit 8389abe into audit-may-2026 Jun 30, 2026
4 checks passed
@matthias-wright matthias-wright deleted the m/verify-randao branch June 30, 2026 11:13
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.

2 participants