1. 引言

前序博客有：

• Merkle tree及其在区块链等领域的应用
• Merkle tree proof

2. Merkle tree

Merkle tree可看成是对一组数据的密码学承诺，类似：

2.1 Merkle tree包含证明

如需证明A包含在上述树中，仅需要发送A, H(B), H(H(H(C)+H(D)))，验证root哈希能否匹配即可。

2.2 Merkle tree不包含证明

Merkle tree很容易进行包含证明，但不容易实现“不包含”证明，除非公开整棵树的内容，但这违背了使用Merkle tree的初衷。

3. Sparse Merkle tree

参考资料

[1] 2018年博客 What’s a Sparse Merkle Tree?