本文档描述了一种Merkle Sum Sparse Merkle Tree (MS-SMT)数据结构，它是稀疏Merkle Tree的增强版本，包含一个在内部分支散列操作期间组合的sum值。这种树允许有效的非包含证明，同时也支持无效的Merkle Sum承诺的有效故障证明。MS-SMT 用于 Taproot 资产协议中，以实现资产所有权转移和多资产交换的验证。
Roasbeef