Structs§
- Merkle
Proof - Merkle proof of a certain triple (SMT-merkle-root, key, value).
- SmtMap256
- SmtMap256 is Sparse Merkle Tree Map from 256-bit keys to 256-bit values, and supports generating 256-bit merkle proofs. Initially every of the 2**256 possible keys has a default value of zero.
Functions§
- check_
merkle_ proof - Check the merkle proof of a key-value pair in a SMT-Map (specified by its merkle root). Returns whether the proof is valid.