什么是 Patricia Trie？以太坊状态树怎么存

结论先说

Patricia Trie（压缩前缀 Merkle 树，以太坊实现常称 “Secure Trie”）是组织链上”键值数据”的核心结构：账户状态、合约存储、区块里的交易/收据，各挂一棵树，树的根哈希（状态根/存储根/收据根）写进区块头。它解决三件事：一，压缩——长公共前缀只存一次（地址/存储槽这种”前缀相近”的键多）；二，可验证——“某个键的值是 X”可以用一条短证明（从叶到根的路径）验证，不需要下载全树；三，整体绑定——任何叶子的任何改动都会改变根哈希（Merkle 性质），根哈希因此担保”整棵树此刻长什么样”。状态根就是建立在这套性质上。

键怎么变成路径

账户/存储槽的键是 32 字节哈希（地址/槽位的 Keccak），树按”十六进制位”逐层分支（每层 16 个分叉，不是二进制的 2 个——32 字节 = 64 个十六进制位 = 最多 64 层）。Patricia 的”压缩”：连续没有分叉的位段合并成一个节点（不逐位建节点）——键”aa1b…”和”aa1c…”共享前缀”aa1”，合并节点存”aa1”，分叉处才开 16 叉节点。节点类型四种（了解即可）：空节点、叶子（剩余路径 + 值）、扩展（共享路径段 + 子指针）、分叉（16 个子指针）。效果：树的深度 ≈ 实际区分位段数（远小于 64），公共前缀的存储只付一次——对”大量键共享前缀”的数据（同合约的存储槽、连续部署的合约）压缩明显。

Merkle 化：每个节点是子树的哈希

每个节点的内容（类型 + 子指针/值 + 路径段）做 Keccak 得到节点哈希，父节点引用子节点哈希——标准的 Merkle 结构，因此：一，改任何叶 → 路径上所有节点哈希变 → 根变（整体绑定）；二，“键 K 的值是 V”的证明 = K 路径上的兄弟节点集合（几十字节到几百字节），验证者沿路径重算哈希到根，比对区块头里的根即确认——不需要全树。这个”包含性证明”（inclusion proof）是轻客户端、跨链验证、L2 状态退出的通用构件：L2 用户提现时提交的”我的余额在某状态”证明，本质就是一条 Merkle 路径。

三棵树：状态、存储、收据

一，世界状态树（world state）：键 = 地址（Keccak），值 = 账户 RLP（nonce、余额、代码哈希、存储根）——“全链所有账户此刻的样子”。二，存储树：每个有存储的合约一棵独立树（根记在该账户里）：键 = 槽位哈希，值 = 存储值——合约的变量存这里（一个合约的存储树独立变化，不影响其它合约的存储树，只影响世界状态里该账户的”存储根”字段）。三，收据树：每个区块一棵，键 = 交易索引，值 = 收据（状态根、日志、gas 用量等）——“这个区块执行结果”的可验证摘要。三棵树层层引用（区块头 → 状态根 → 账户 → 存储根 → 槽位值），每层都可独立出证明——“可验证性”是逐层可用的，不是只有顶层。

修改的局部化：为什么状态更新是”便宜”的

改一个槽位 = 重建”该槽位到存储根”的路径（几十节点），其它分支不动（哈希引用不变）；改一个账户余额 = 重建”该地址到状态根”的路径。状态转换的成本与”树的大小”无关，与”路径深度”相关（对数级）——这是”链上状态可以无限增长而单次操作成本可控”的结构原因（虽然增长带来其它问题，见状态膨胀专题）。同时”局部化”让并行化成为可能：改不同合约的存储树互不干扰（各自路径独立），执行引擎的并行优化（按合约分组并行执行）建立在”树路径不冲突”上——数据结构决定并行边界。

对开发者的实际意义

一，读取成本：读一个存储槽 = 一次存储证明路径（gas 规则里 SLOAD 的冷热区分，部分动机是”热数据缓存 vs 冷数据证明”的成本建模）；二，写入成本：SSTORE 的 gas 按”从什么值改到什么值”分级（空→非空最贵，改已存值便宜，改回空有退款逻辑）——分级背后是”树结构变化量”（新建节点 vs 改叶值）；三，证明用途：跨合约/跨链验证”某状态”时用 EIP-1155/2103 类原语读 Merkle 证明——“链上验证另一棵树的状态”是常见设计（如 L2 验证 L1 锚定状态）；四，调试：浏览器显示的”存储槽值”是这棵树的叶子，“改了某个变量但读出来不对”先查”写的是不是同一个槽位”（编译器布局问题），树结构本身不会”存错位置”。

常见误读

“状态树 = 数据库”——它是”可验证的数据结构”：核心目标不是查询效率（虽然有），是”根哈希担保 + 路径可证明”；普通数据库做不到”几百字节证明一个值”。“改一个值 = 改整棵树”——只有路径上的节点重算（对数个），其它分支的哈希引用不变；“状态根变化”不等于”全部数据重写”。“Merkle 证明 = 零知识证明”——不是，Merkle 证明公开路径上的兄弟哈希（不隐藏键值结构），没有”隐藏性”；它证明”包含”，不证明”不泄露”。

风险提示

状态/存储/收据树的结构是执行规范的一部分（当前为 Patricia 压缩前缀树；注意生态有”状态树替换/扩展”的长期讨论，如透明 Merkle 树类方案），引用具体行为以执行规范当前版本为准。“状态根担保一切”的前提是”区块头可信”（共识层接受）——数据结构的可验证性建立在共识合法性之上，两层信任要分清。本文为结构解释，不构成对任何客户端实现的性能/安全评价。

小结

一句话记忆：Patricia Trie = 压缩前缀 + Merkle 化的键值树；压缩让公共前缀只存一次，Merkle 化让”单值证明 + 整体根担保”成立；状态/存储/收据三棵树层层引用，修改只动路径（对数成本）。理解”路径即证明、根即担保”，就理解了轻客户端、L2 退出、跨链验证共同依赖的地基。