本文档描述了一种Merkle Sum Sparse Merkle Tree (MS-SMT)数据结构，它是稀疏Merkle Tree的增强版本，包含一个在内部分支散列操作期间组合的sum值。这种树允许有效的非包含证明，同时也支持无效的Merkle Sum承诺的有效故障证明。MS-SMT 用于 Taproot 资产协议中，以实现资产所有权转移和多资产交换的验证。
这篇文章详细介绍了稀疏Merkle树的概念及其应用。文章首先回顾了Merkle树的基本原理，然后解释了稀疏Merkle树的特性，特别是在内容包括性和不包括证明方面的优势。最后，讨论了稀疏Merkle树在区块链中的实际应用，尤其是在Plasma Cash中的用例，和未来可能在以太坊中的采用。
Roasbeef
kelvinfichter