Module index

Source
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§

TreeIndex
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.