Module hpl_utils::merkle_tree
source · Functions
- Returns true if a
leaf
can be proved to be a part of a Merkle tree defined byroot
. For this, aproof
must be provided, containing sibling hashes on the branch from the leaf to the root of the tree. Each pair of leaves and each pair of pre-images are assumed to be sorted.