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

add: stateless utilities to achieve full statelessness #19

Draft
wants to merge 68 commits into
base: develop
Choose a base branch
from

Conversation

agnxsh
Copy link
Collaborator

@agnxsh agnxsh commented Feb 26, 2024

Adds the Stateless Tree types as well helper functions that allow nim-eth-verkle to do the following things:

  • build a prestate tree from the Verkle Proof (root hash)
  • build a poststate tree from the State Diff
  • construct the path for the partial view of the trie
  • be able to verify that the partial view is correct using IPA and Multiproof, using the Verkle Cryptography backend added in Constantine.

Types may get refactored while implementing. Tried to make the most meaningful function names to avoid confusion.

Documentation is not yet ready, but I have tried to add in-line comments as much as possible

@advaita-saha
Copy link
Collaborator

@agnxsh
I think this should be better if shifted from inside the eth-verkle/tree/ipa to eth-verkle/ipa
Since the part we are going to add, helps in statelessness and not exactly core tree operation.

What's your suggestion ?

@agnxsh
Copy link
Collaborator Author

agnxsh commented Feb 27, 2024

@agnxsh I think this should be better if shifted from inside the eth-verkle/tree/ipa to eth-verkle/ipa Since the part we are going to add, helps in statelessness and not exactly core tree operation.

What's your suggestion ?

okay makes sense

@agnxsh
Copy link
Collaborator Author

agnxsh commented Feb 27, 2024

looks ok to merge

@agnxsh agnxsh changed the title add: ipa tree types add: stateless utilities Feb 28, 2024
@agnxsh agnxsh marked this pull request as draft February 28, 2024 19:36
@agnxsh
Copy link
Collaborator Author

agnxsh commented Mar 24, 2024

Ready for review, 1 verkle error file consisting of verkle error types, maybe needed in future for integration. Tests pending, will do in next passes, and subsequent fixes whenever needed.

@agnxsh agnxsh marked this pull request as draft April 3, 2024 10:32
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.

None yet

3 participants