smt_map (cargo): A uint-to-uint map backed by Sparse Merkle Tree (SMT), which supports generating Merkle Proofs of key-values. 
Keywords: tree|merkle|data-structure|map|merkle-tree