Sparse Merkle tree variant optimized for key value state with efficient updates and proofs, used in Diem and Aptos style blockchains.