拆解 Iron Fish 的机制：以工作量证明出块、每笔交易默认加密并用零知识证明隐藏收付双方与金额、区块头用票据承诺树与 nullifier 树两棵全局默克尔树背书、以查看密钥选择性披露交易历史；并说明它为何仍选 PoW 与屏蔽的边界。

支持布隆过滤器的轻客户端请求过滤版区块时，节点回的是 merkleblock 消息——一棵只保留命中交易与必要分支的部分默克尔树。本文按 v31.0 源码 src/merkleblock.h 拆解它的字段构成、尺寸界与 coinbase 断言细节。

Aptos 的状态根不是逐层二分的二叉树算出来的。本文按实现文档与 2021 年设计论文拆解 Jellyfish Merkle Tree：一个内部节点顶四层、空子树整块折叠、节点键带版本号，以及证明为什么更短。

简化支付验证依赖默克尔证明，常规证明要把兄弟哈希一路带到根。BIP-98 提出快速默克尔树：用零哈希约定与跳过规则，让证明省略可复原的空子树分支。本文拆解常规证明的体积账、压缩成立的数学条件、边界情况的坑，以及这条草案至今没有部署的原因。

Metaplex Bubblegum 用默克尔树把海量 NFT 压进少数链上账户，把铸造成本降了几个数量级，也改变了“资产在链上”的查看与转移方式。本文解释压缩 NFT 的存储结构、证明式所有权与认领机制。

本文解释默克尔树与默克尔证明的工作原理：区块头只存根哈希，任何一条交易的真实性都可以用一条短证明路径验证，并说明它如何支撑轻客户端、区块浏览器和 L2 状态验证。