This repository has been archived by the owner on Feb 27, 2023. It is now read-only.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fetch values immediately, updates #39
Fetch values immediately, updates #39
Changes from 5 commits
3006128
60ac120
465f21c
65a53c3
d374f94
738728c
49a51bb
e02b89f
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
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.
Why would someone try to get a key that wasn't added with AddBranch? In what circumstances would that succeed?
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.
From #39 (comment)
☝️ that exact case. When a key in the original SMT has a non-default value, but wasn't added via
AddBranch
to the DSMST, then was queried. This happens when a malicious fraud proof doesn't provide enough pre-state. You don't want to returndefaultValue
in that case because the key doesn't actually have default value; it has a non-default value but that value wasn't proven.In other words, with an untrusted fraud proof, only
GetDescend
andHasDescend
should be used with the DSMST.