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

Update deletion for caching #16

Conversation

Davidson-Souza
Copy link
Collaborator

@Davidson-Souza Davidson-Souza commented Oct 27, 2022

This PR depends on #13 and #15; hence it's marked as draft.

This finalizes the implementation of required support data for proof update, now we also return which nodes have been updated during deletion.
Required for #12.

@Davidson-Souza Davidson-Souza force-pushed the feature/update-deletion-for-caching branch 3 times, most recently from d1d43ff to 812a3f9 Compare October 30, 2022 16:34
@Davidson-Souza Davidson-Souza marked this pull request as ready for review October 30, 2022 16:34
@Davidson-Souza Davidson-Souza changed the title WIP: Update deletion for caching Update deletion for caching Oct 30, 2022
Copy link
Member

@kcalvinalvin kcalvinalvin left a comment

Choose a reason for hiding this comment

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

ACK 812a3f9

Tested the new test cases. While they all pass the first one shouldn't have any proof_hashes. Everything else looks good.

"dbc1b4c900ffe48d575b5da5c638040125f65db0fe3e24494b76ea986457d986",
"084fed08b978af4d7d196a7446a86b58009e636b611db16211b65a9aadff29c5"
],
"proof_hashes": [
Copy link
Member

Choose a reason for hiding this comment

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

The verification for this proof will pass since it needs no proof hashes to verify [0, 1, 2, 3] in a forest with 6 leaves. I'm not sure if we should treat these as a failure but since putting in any hashes here will pass the tests.

But we should really do it the correct way and have nothing here as the proofs.

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

I'm not sure where this hashes came from. I removed them.

Now deletion returns all modified positions, so we can update our proofs
by replacing old positions with their new values.
@Davidson-Souza Davidson-Souza force-pushed the feature/update-deletion-for-caching branch from 812a3f9 to 3ac22ed Compare November 3, 2022 15:35
@kcalvinalvin
Copy link
Member

ACK 3ac22ed

@kcalvinalvin kcalvinalvin merged commit aa6dc82 into mit-dci:main Nov 4, 2022
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