jmt

Module proof

Source
Expand description

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§