Module smtree::index [−][src]
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
The index of a tree node includes the height (the root with height 0), and the path from the root to the node.
Constants
The maximum height of a SMT is 256 (not including the root node),
so the maximum number of leaves is 2^256
.