Ethereum MPT(Merkle Patricia Tries)详解

作者: pseudoyu | 1542 字, 4 分钟 | 评论 | 2021-08-16 | 分类: Develop

blockchain, ethereum

翻译: EN, DE

前言

最近接到了一个工作任务,将项目智能合约状态树中的数据结构从红黑树改为字典树,并对比一下两个数据结构的性能,Trie 主要参照的是 Ethereum 官方的 Java 实现 ethereum/ethereumj,而红黑树则是自己实现,本文则是对两个数据结构的理论和实际表现对比的记录。

数据结构

Red-Black Tree - 红黑树

红黑树是一种近似平衡的二叉查找树,含有红黑结点,能够确保任何一个结点的左右子树高度差小于两倍。

red_black_tree_2

性质

必须满足以下五个性质:

  1. 结点为红色或黑色
  2. 根结点为黑色
  3. 叶子结点(NIL)为黑色
  4. 每个红色节点的两个子结点为黑色
  5. 任意一个结点到每个叶子结点的路径都包含相同数量的黑色结点

红黑树并不是完美平衡的,但是左子树和右子树的层数是相等的,因此,也成为黑色完美平衡。因为是近似平衡的,所以旋转的频次会降低,维护成本下降,时间复杂度维持在 LogN。

操作

红黑树主要通过三种操作来保持自平衡:

  • 左旋
  • 右旋
  • 变色

与 AVL 的对比

  • AVL 提供了更快的查找操作(因为完美平衡)
  • 红黑树提供了更快的插入和删除操作
  • AVL 存储的结点信息更多(平衡因子与高度),因此占存储空间更大
  • 读操作多、写操作少的时候用 AVL 更合适,多用于数据库;当写操作较多时一般使用红黑树,简洁好实现,多用于各类高级语言的库中,如 map、set 等

代码实现

因为红黑树较为复杂,实现代码上传至 GitHub 供学习查看。

pseudoyu/RedBlackTree-Java

Trie - 字典树

Trie 被称为字典树,又称单词查找树或键树,常用于统计和排序大量的字符串,如搜索引擎的文本磁盘统计等。

它能够最大限度减少无谓的字符串比较,查询效率较高。

trie_structure

性质

  1. 结点不存完整单词
  2. 从根结点到某一结点,路径上经过的字符连接起来为该结点对应的字符串
  3. 每个结点的所有子结点路径代表的字符都不相同
  4. 结点可以存储额外信息,如词频等

结点内部实现

trie_nodes

字典树的高度较低,但占用的存储空间较大,核心思想是空间换时间。

利用字符串的公共前缀来降低查询时间的开销以达到提高效率的目的,可以很天然地解决单词联想等业务场景。

代码实现

class Trie {
    private Trie[] children;
    private boolean isEnd;

    public Trie() {
        children = new Trie[26];
        isEnd = false;
    }

    public void insert(String word) {
        Trie node = this;
        for (int i = 0; i < word.length(); i++) {
            char ch = word.charAt(i);
            int index = ch - 'a';
            if (node.children[index] == null) {
                node.children[index] = new Trie();
            }
            node = node.children[index];
        }
        node.isEnd = true;
    }

    public boolean search(String word) {
        Trie node = searchPrefix(word);
        return node != null && node.isEnd;
    }

    public boolean startsWith(String prefix) {
        return searchPrefix(prefix) != null;
    }

    private Trie searchPrefix(String prefix) {
        Trie node = this;
        for (int i = 0; i < prefix.length(); i++) {
            char ch = prefix.charAt(i);
            int index = ch - 'a';
            if (node.children[index] == null) {
                return null;
            }
            node = node.children[index];
        }
        return node;
    }
}

Modified Merkle Patricia Tries

以太坊账户状态存储方式

  1. 使用 Key-Value 的哈希表存储在每次出块时都会有新交易打包进块中,从而改变 merkle tree,但事实上只有一小部分账户发生改变,成本过高
  2. 直接用 merkle tree 存放账户,要改内容时直接改 merkle tree 也不可行,因为 merkle tree 没有提供一个高校的查找和更新方法
  3. 使用 sorted merkle tree 也不可行,因为新增账户产生的账户地址是随机的,需要插入重新排序

MPT 结构

利用了 Trie 结构的特点

  1. 打乱顺序后 Trie 结构不变,天然排序,即使插入新值也不影响,适用于以太坊 account-base 的结构
  2. 具有很好的更新局部性,更新时不用遍历整棵树

但是 Trie 结构比较浪费存储空间,当键值对分布稀疏时效率较低,而以太坊的账户地址是 40 位十六进制数,地址约为 2^160 种,极其稀疏(防止哈希碰撞)。

因此,需要对 Trie 结构进行路径压缩,也就是 Pactricia Trie,经过压缩后,树的高度明显减少,空间和效率都得到提升。

pactricia_trie

Modified MPT 结构

而以太坊真正采用的是 Modified MPT 结构,其结构如下

modified_merkle_pactricia_trie

每次发布新的区块时,状态树中的新节点的值会发生变化,并不是更改原值,而是新建一些分支,保留原来的状态(因此可以实现回滚)。

在以太坊系统中,分叉是常态,orphan block 中的数据都要向前回滚,而由于 ETH 中有智能合约,为了支持智能合约的回滚,必须保持之前的状态。

代码实现

代码参照以太坊的 Java 实现。

ethereum/ethereumj - GitHub

总结

以上就是对Ethereum MPT 与红黑树数据结构的解析,在刷 LeetCode 痛苦的时候想过很多次这些学了也用不到,没想到那么快就有了应用场景,还是要好好理解和实践呀!

参考资料

  1. 30 张图带你彻底理解红黑树
  2. LeetCode 实现 Trie
  3. pseudoyu/RedBlackTree-Java
  4. 以太坊源码分析 – MPT 树
  5. ethereum/ethereumj

相关文章

2022-07-01
通过状态锁在 Solidity 智能合约中实现两阶段提交
2022-06-09
Solidity 智能合约开发 - Hardhat 框架使用
2022-06-08
Solidity 智能合约开发 - 玩转 ethers.js
2022-05-30
Solidity 智能合约开发 - 玩转 Web3.py
2022-05-25
Solidity 智能合约开发 - 基础
pseudoyu

作者

pseudoyu

后端 & 智能合约研发工程师,HKU ECICer。喜欢探索新技术,空闲时也折腾博客搭建、效率工具等。 在 GitHub 关注我。在我的 Telegram 频道了解更多。


Comments