Consistency returns the information on how to fetch and construct a consistency proof between the two given tree sizes of a log Merkle tree.

Inclusion returns the information on how to fetch and construct an inclusion proof for the given leaf index in a log Merkle tree of the given size.

RootFromInclusionProof calculates the expected root hash for a tree of the given size, provided a leaf index and hash with the corresponding inclusion proof.

VerifyConsistency checks that the passed-in consistency proof is valid between the passed in tree sizes, with respect to the corresponding root hashes.

VerifyInclusion verifies the correctness of the inclusion proof for the leaf with the specified hash and index, relatively to the tree of the given size and root hash.

Nodes contains information on how to construct a log Merkle tree proof.

RootMismatchError occurs when an inclusion proof fails.