hacl-star / merkle-tree

A verified Merkle Tree, built as a standalone project on top of EverCrypt
6 stars 5 forks source link

Merkle proofs without the tree #6

Open eozturk1 opened 4 years ago

eozturk1 commented 4 years ago

Is it possible to verify Merkle proofs using only the (1) path of the node and (2) root node without needing to have the complete tree?

Normally, this should be possible but as I understand it the current API does not support it. Is there a way to verify Merkle proofs without the full tree?

One way I can think of is getting the hashes from the path and and manually verifying up to the root node? Are there any pitfalls in this approach?