以太坊把状态树从十六进制 Patricia Trie 换成 Verkle 承诺的设想，目标是让状态证明更小更恒定。本文讲换树的动机、与无状态路线的绑定，以及它为何一再延期。

OP_RETURN 让比特币交易携带一小段“永久可查、不可花费”的数据。本文讲它的设计初衷、随 Bitcoin Core 版本演进的数据上限策略，以及为什么节点会拒绝更大的输出。

轻节点不可能下载全部区块再逐条比对，布隆过滤器用几十字节的位图把“肯定不在”和“可能在这里”分开。本文解释位数组与多哈希原理、假阳性为何可控、它在以太坊回执和早期 SPV 里的用法与局限。

区块头用 32 字节默克尔根承诺块内全部交易，这条承诺链曾经栽在“最后一个叶子的兄弟是谁”这种细节上。本文重走默克尔树的构造规则、重复叶子的攻击面与 BIP30/34 的封堵路径，并给出包含证明的实操。

从二进制路径、容器字段树深度和列表长度mix-in入手，推导SSZ广义索引，并按兄弟节点顺序复算Merkle证明，附常见错位检查，并说明何时必须回到SSZ schema重新定位。

本文解释 Patricia Trie（前缀树/Merkle 结构）如何组织以太坊的状态、存储、收据三棵树：键值如何编码路径、修改如何局部化、以及“状态根”为什么能担保全部数据。

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