Append only merkle-tree tree
A node node is a field element on the elliptic curve
Hash of leaf up to certain depth root(tree, depth), hash the leafs including the empty nodes up to given depth,
Authentication path to given depth, and bridge frontier, or position.
Is a merkle-tree with leafs stored in a search tree, has advantage over merkle-tree that is a allow non-inclusion proof, through membership proof to index of data in the search tree.
Given index the proof is a path from the leaf at index to the root.