-
Notifications
You must be signed in to change notification settings - Fork 0
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
receipt inclusion proof #25
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The work looks great but I think we want to start following the forrestrie-examples
pattern for examples like the test here.
Make sure to rebase commits so there are no typos!
7ed8122
to
f79d611
Compare
…ofs in trie, sort dependencies alphabetically
…branch these are different topics and proof generation was already achieved in this branch
c933454
to
3afe47b
Compare
3afe47b
to
6badc7f
Compare
I'm adding the example into another PR this is another task that relies on this. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for all the changes!
Couple of wishes for the future:
- go with creating tickets/issues instead of leaving
TODO
notes to self in the code. - unless they take too long, wait for the authors of comments to resolve them themselves.
- use
git rebase
to squash your commits down to a reasonable number. Should 5 or less commits per PR usually. It depends.
…-note-on-crates-to-repo-readme docs(README): add section on workspace crates
…on-proof receipt inclusion proof
BACK-20
This was reviewed previously in this PR from Forrestrie
What does it all do?
It covers the basic receipt proofs we need for the execution layer data, using the data extracted from firehose.
To be more precise, from this diagram of nozzle, it contains the functions defined in the diagram:
receipts_trie(Header,Receipts)
merkle_proof(Trie, Receipt)
Verify(Log, Header, Receipt)