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

Monero: expose merkle root function #629

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

Conversation

Boog900
Copy link
Contributor

@Boog900 Boog900 commented Nov 15, 2024

This function is needed in the RPC: https://github.com/monero-project/monero/blob/893916ad091a92e765ce3241b94e706ad012b62a/src/rpc/core_rpc_server.cpp#L2172

I also made a small change to the function signature, taking all leafs in one arg,

Copy link
Member

@kayabaNerve kayabaNerve left a comment

Choose a reason for hiding this comment

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

ACK to the concept. NACK to the implementation which I believe is faulty.

Also, the monero folder has maintained a code freeze pending audit. How should we handle this? Merge this on Serai's next? Merge this into a new branch without the code freeze? Cuprate vendors a version with select patches we roll in post-audit?

networks/monero/src/lib.rs Outdated Show resolved Hide resolved
networks/monero/src/merkle.rs Outdated Show resolved Hide resolved
networks/monero/src/merkle.rs Outdated Show resolved Hide resolved
match leafs.len() {
0 => root,
Copy link
Member

Choose a reason for hiding this comment

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

We used to handle no leaves being passed. Now no hashes falls through to the n-leaves case. Is that correct?

I doubt it as our n-leaf code pads to the nearest power of 2 which is assumed to be 4 as we assumed exceptional handling for 0/1/2.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Ah yeah it will panic, I guess the best thing to do would be to explicitly panic, tree_hash doesn't allow a 0 length input: https://github.com/monero-project/monero/blob/893916ad091a92e765ce3241b94e706ad012b62a/src/crypto/tree-hash.c#L62

Copy link
Member

@kayabaNerve kayabaNerve Nov 15, 2024

Choose a reason for hiding this comment

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

That would've been so easy for me to check if there was a link to tree_hash present :p

*There wasn't such a link prior, I don't legitimately want to hold this against you.

I'd vote we keep the existing explicit argument (potentially renamed from root to first_leaf?) making this unreachable, or return an Option. We can document the panic but I'd consider that a downgrade. Even the Option would be but it isn't such a downgrade I wouldn't agree to it if you believe avoiding these allocations so worthwhile.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

I'll change it to return an option, I don't really like having the first leaf as a separate arg.

@Boog900
Copy link
Contributor Author

Boog900 commented Nov 15, 2024

Also, the monero folder has maintained a code freeze pending audit. How should we handle this?

On Cuprate's end we already vendor monero-serai, so I think the last option, having us vendor a version with select patches until the audit is complete, would probably be best.

Copy link
Member

@kayabaNerve kayabaNerve left a comment

Choose a reason for hiding this comment

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

LGTM, yet won't merge due to code freeze.

@Boog900 Boog900 changed the title Monero: expose merkel root function Monero: expose merkle root function Nov 16, 2024
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.

2 participants