Module hpl_utils::merkle_tree
source · Functions
- Returns true if a
leafcan be proved to be a part of a Merkle tree defined byroot. For this, aproofmust 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.