-
Notifications
You must be signed in to change notification settings - Fork 117
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
Fix Orchard implementation, refactor, and add more test vectors #2445
Conversation
b0ac7e8
to
c5cb86c
Compare
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.
Looks good to me, but the crypto parts are out of my current reach 😓
Added some optional suggestions 👍
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.
I have a few comments about the code, but it mostly looks good.
It looks like this PR contains bug fixes or refactors, as well as tests.
Can you rename this PR so the changelog is accurate?
In future, can we split PRs like this into smaller changes?
It helps keep code reviews more focused.
Maybe we could have done the refactors later, or split the changes by module. But I understand that is not always possible.
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.
I've reviewed the code, mainly the crypto parts, and it looks good.
After that I've addressed the issues.
I renamed the PR. |
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.
Addressed comments and synced with main.
While syncing I renamed the test_vectors.rs
added in #2407 (which was renamed to empty_roots.rs
in this PR) to tree.rs
(since it now contains empty roots, commitments and resulting roots)
Co-authored-by: Deirdre Connolly <deirdre@zfnd.org>
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.
Seems good to me!
* ZIPs were updated to remove ambiguity, this was tracked in #1267. * #2105 was fixed by #3039 and #2379 was closed by #3069 * #2230 was a duplicate of #2231 which was closed by #2511 * #3235 was obsoleted by #2156 which was fixed by #3505 * #1850 was fixed by #2944, #1851 was fixed by #2961 and #2902 was fixed by #2969 * We migrated to Rust 2021 edition in Jan 2022 with #3332 * #1631 was closed as not needed * #338 was fixed by #3040 and #1162 was fixed by #3067 * #2079 was fixed by #2445 * #4794 was fixed by #6122 * #1678 stopped being an issue * #3151 was fixed by #3934 * #3204 was closed as not needed * #1213 was fixed by #4586 * #1774 was closed as not needed * #4633 was closed as not needed * Clarify behaviour of difficulty spacing Co-authored-by: teor <teor@riseup.net> * Update comment to reflect implemented behaviour Co-authored-by: teor <teor@riseup.net> * Update comment to reflect implemented behaviour when retrying block downloads Co-authored-by: teor <teor@riseup.net> * Update `TODO` to remove closed issue and clarify when we might want to fix Co-authored-by: teor <teor@riseup.net> * Update `TODO` to remove closed issue and clarify what we might want to change in future Co-authored-by: teor <teor@riseup.net> * Clarify benefits of how we do block verification Co-authored-by: teor <teor@riseup.net> * Fix rustfmt errors --------- Co-authored-by: teor <teor@riseup.net>
Motivation
We want our Orchard code in zebra-chain to conform to the independent Python implementation in zcash-hackworks, for confidence in the correctness (or at least agreement in implementation) of our implementation.
Solution
Pull in generated test vectors for:
Resolves #2079
Review
@conradoplg @upbqdn @jvff @teor2345
Reviewer Checklist
Follow Up Work
Wallet/transaction/proof-creation test vectors are out of scope until we build Zebra Client / wallet functionality.