Skip to content

Poseidon2 spec: fix round constants#6

Merged
tcoratger merged 3 commits intoleanEthereum:mainfrom
tcoratger:round-constants
Aug 25, 2025
Merged

Poseidon2 spec: fix round constants#6
tcoratger merged 3 commits intoleanEthereum:mainfrom
tcoratger:round-constants

Conversation

@tcoratger
Copy link
Copy Markdown
Collaborator

Should close #4

@tcoratger tcoratger merged commit 9d8bfe8 into leanEthereum:main Aug 25, 2025
6 checks passed
@unnawut unnawut added the specs Scope: Changes to the specifications label Oct 28, 2025
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.

Feat: Add Canonical Round Constants for Poseidon2 KoalaBear Spec

2 participants