在深入探讨以太坊的内部运作时,一个常见且重要的问题是：“以太坊的交易树是全局的么？” 简单的“是”或“否”都无法准确回答这个问题，正确的答案是：以太坊的交易树是全局的，但其结构是动态的、分区的，并且其“全局性”是通过一种名为“Merkle Patricia Trie (MPT)”的巧妙数据结构来实现的。
为了彻底理解这一点,我们需要拆解几个核心概念：什么是交易树？它为什么是全局的？以及它如何实现这种“全局性”。
什么是以太坊的交易树？—— 从交易列表到Merkle Patricia Trie
我们需要明确“交易树”在以太坊中的具体所指，它并非我们通常理解的、一个包含所有交易列表的简单树状结构，在以太坊中，“交易树”实际上指的是一个包含了特定区块内所有交易数据的Merkle Patricia Trie（Merkle Patricia树，简称MPT）。
让我们一步步构建这个概念：
-
区块与交易：以太坊是一个由区块组成的链，每个区块都包含一组新的、待处理的交易数据，这些交易被打包成一个列表。
-
哈希：为了确保数据的完整性和防篡改，以太坊使用加密哈希算法（如Keccak-256），任何数据的微小改动都会导致其哈希值发生剧烈变化。
-
Merkle树：这是区块链的核心技术之一，想象一下，我们把一个区块内的所有交易两两配对，分别计算每对交易的哈希值，将这些哈希值再次两两配对，计算新的哈希值，这个过程不断重复，直到最终只剩下一个根哈希值，这个根哈希值就代表了整个区块中所有交易数据的“数字指纹”。
- 优点：通过这个Merkle根，任何人都可以高效地验证某个特定交易是否包含在区块中，而无需下载整个区块的所有交易数据，这极大地提高了轻客户端的效率。
-
Patricia Trie (前缀树)：以太坊在此基础上更进一步，采用了Merkle Patricia Trie，这是一种结合了Merkle树和Patricia Trie（一种用于高效存储字符串键值对的数据结构）的混合体。
- 键值对：在以太坊的交易树中，“键”是交易的索引号（区块中的第一笔交易的键是
0，第二笔是1，以此类推）。“值”则是经过RLP（Recursive Length Prefix）编码后的完整交易数据。 - 优点：与简单的Merkle树相比，Merkle Patricia Trie更加高效，它通过共享公共前缀来压缩存储，减少了数据冗余，并且查找、插入和删除操作的性能更优。
- 键值对：在以太坊的交易树中，“键”是交易的索引号（区块中的第一笔交易的键是
当我们在以太坊语境下谈论“交易树”时，我们指的是一个为特定区块内的所有交易数据构建的、唯一的、由Merkle Patricia Trie结构组织起来的数据集合。
交易树的“全局性”体现在哪里？
现在我们来回答核心问题：为什么说它是“全局的”？
这里的“全局性”有两层含义：
-
全局唯一的标识：每个区块都有一个状态根、一个交易根和一个收据根，这个交易根就是该区块交易树的Merkle根哈希值，这个哈希值是全局唯一的，它像身份证一样，唯一标识了该区块内所有交易数据的集合状态，如果区块中的任何一笔交易被篡改，这个交易根哈希值就会立刻改变，导致整个区块无效，这个根哈希值为整个以太坊网络提供了一个全局、统一、可信的交易数据锚点。
-
全局状态的组成部分：以太坊的全局状态是一个包含了所有账户余额、代码、存储以及合约状态的巨大数据库，这个全局状态本身也是一个巨大的Merkle Patricia Trie，而区块的交易树，正是更新这个全局状态的“操作日志”，每个区块的交易树记录了该区块执行了哪些操作（交易），这些操作共同作用，将旧的全局状态转变为新的全局状态，交易树是连接“过去状态”和“未来状态”的关键桥梁，是维护以太坊全局状态完整性的基石。
从这个角度看,交易树确实是“全局的”，因为它与整个以太坊网络的共识、状态和信任体系紧密相连，是全局状态转换过程中不可或缺的一环。
为什么它又不是“完全全局”的？—— 动态与分区
尽管交易树具有“全局性”，但它并不是一个包含从创世区块至今所有交易的、永不改变的单一巨大树，如果真是这样，这个树将变得无比庞大，严重影响网络性能，以太坊的设计体现了巧妙的分区和动态性：
