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

SHA3: clean up round functions #141

Merged
merged 8 commits into from
Sep 30, 2024
Merged

Conversation

marsella
Copy link
Contributor

Addresses part of #138.

This brings the round functions into closer alignment with the spec. I found that the implementation was significantly (> 8x) slower than before, so I added hardcoded versions (and equivalence properties!) for two of the functions that involved constants. This addressed most of the slowdown.

I don't think there's anything crazy happening here; I'm just looking for general gold-standard review.

Copy link

@b13decker b13decker left a comment

Choose a reason for hiding this comment

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

Great comments and commit decomposition. That made the review very smooth. I didn't see any issues. I agree that the functions better match the specs now, and the properties to prove equivalence with the hardcoded fast versions are excellent. No changes requested.

@marsella marsella merged commit 7468d17 into master Sep 30, 2024
2 checks passed
@marsella marsella deleted the 138-clarify-round-functions branch September 30, 2024 13:41
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