Skip to content

Conversation

@tcoratger
Copy link
Collaborator

No description provided.

Copy link

@b-wagn b-wagn left a comment

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.

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

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

@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