Expand description
This module provides definitions of tree index in an SMT, and operations to get the index of the parent/sibling/child/etc. of a given tree node.
Structs§
- Tree
Index - The index of a tree node includes the height (the root with height 0), and the path from the root to the node.
Constants§
- MAX_
HEIGHT - The maximum height of a SMT is 256 (not including the root node),
so the maximum number of leaves is
2^256
.