[][src]Crate smt_map

Structs

MerkleProof

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.

Type Definitions

Hash256
Key
Value