Skip to content

Conversation

@unnawut
Copy link
Collaborator

@unnawut unnawut commented Jan 19, 2026

🗒️ Description

🔗 Related Issues or PRs

Relates to #222

✅ 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.

@unnawut unnawut requested a review from tcoratger January 19, 2026 11:03
@unnawut unnawut added the specs Scope: Changes to the specifications label Jan 19, 2026
Copy link
Collaborator

@tcoratger tcoratger left a comment

Choose a reason for hiding this comment

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

Thanks for the fix, just a minor comment.

Comment on lines 72 to 77
(0, 0),
(1, 4),
(2, 8),
(5, 20),
(10, 40),
(25, 100),
Copy link
Collaborator

Choose a reason for hiding this comment

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

Here in the computations instead of having the hardcoded numbers, can't we use INTERVALS_PER_SLOT so that this will resist changes in the constant?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Sounds good. Also made it property-based now so it doesn't stick to just the same slots: bad1d29

@tcoratger tcoratger merged commit fbbacbe into leanEthereum:main Jan 19, 2026
10 checks passed
@unnawut unnawut deleted the fix-intervals branch January 19, 2026 13:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

specs Scope: Changes to the specifications

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants