稀疏默克尔树映射（SMT-Map）

稀疏默克尔树映射（SMT-Map）是一个基于稀疏默克尔树（SMT）的uint到uint的映射，支持使用默克尔证明来证明键的值。特别是它可以证明一个键未设置（从未被设置为非零值或已重置为零）。

默克尔树具有全二叉树的形式。因此，例如，uint256的默克尔树总是有2**256个叶子节点。每个叶子节点对应于SMT-Map中的一个键值对：值存储在节点上，键是从根到叶子的路径的uint表示。

有关更多详细信息，请参阅文档和参考资料。

参考资料

[1] 撤销透明度

[2] 数据可用性证明友好的状态树转换

库状态

预alpha。基本测试和文档。API可能会有变化。

欢迎提交拉取请求和功能请求。