Module jmt::proof

Merkle proof types.

Structs

• SparseMerkleLeafNode
• SparseMerkleProof
  A proof that can be used to authenticate an element in a Sparse Merkle Tree given trusted root hash. For example, TransactionInfoToAccountProof can be constructed on top of this structure.
• SparseMerkleRangeProof
  Note: this is not a range proof in the sense that a range of nodes is verified! Instead, it verifies the entire left part of the tree up to a known rightmost node. See the description below.
• UpdateMerkleProof

Constants

• INTERNAL_DOMAIN_SEPARATOR
• LEAF_DOMAIN_SEPARATOR