Append only merkle-tree
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
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.
index the proof is a
path from the leaf at
index to the root.