Skip to content

xmss: scaffolding for the signature spec#9

Merged
tcoratger merged 9 commits into
leanEthereum:mainfrom
tcoratger:xmss-spec
Aug 20, 2025
Merged

xmss: scaffolding for the signature spec#9
tcoratger merged 9 commits into
leanEthereum:mainfrom
tcoratger:xmss-spec

Conversation

@tcoratger

Copy link
Copy Markdown
Collaborator

No description provided.

@b-wagn b-wagn left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

This is an initial review. I will probably do another one later.

Comment thread src/lean_spec/subspecs/xmss/interface.py Outdated
Comment thread src/lean_spec/subspecs/xmss/interface.py Outdated
Comment thread src/lean_spec/subspecs/xmss/interface.py
Comment thread src/lean_spec/subspecs/xmss/interface.py Outdated
hash function an additional $w - 1 - x_i$ times to arrive at the
one-time public key component `otpk_{ep,i}`.

3. **Compute Merkle Leaf**: The verifier hashes the reconstructed one-time

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Note: in a future impl I would maybe use the same sub-algorithms as in either the rust code or in the paper, and then maybe even point to the pages of the paper.

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

Ok that's fine, maybe once done, we can just modify the doc here to point to this.

Comment thread src/lean_spec/subspecs/xmss/constants.py
Comment thread src/lean_spec/subspecs/xmss/structures.py Outdated
Comment thread src/lean_spec/subspecs/xmss/structures.py Outdated
Comment thread src/lean_spec/subspecs/xmss/structures.py Outdated
Comment thread src/lean_spec/subspecs/xmss/structures.py Outdated
Comment thread src/lean_spec/subspecs/xmss/structures.py Outdated
@tcoratger tcoratger merged commit af1fe7b into leanEthereum:main Aug 20, 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.

3 participants