区块链数据结构概述(MT、MPT)
Ethereum Foundation Blog
https://blog.ethereum.org/2015/11/15/merkling-in-ethereum/
以太坊的一篇博客对MT做了一个简单的描述:
Merkle trees是区块链的基本组成部分。虽然理论上完全可以不使用Merkle trees来构建区块链,直接通过创建巨大头部来处理每一笔交易,但这样做会带来巨大的可扩展性挑战,从长远来看,除了最强大的计算机之外,其他所有计算机都无法可靠地使用区块链。
由于有了Merkle trees,我们就有可能在所有大大小小的电脑和笔记本电脑、智能手机、甚至物联网设备上构建以太节点。
最简单的Merkle Tree的形式是下图展示的这种二叉树。每个节点有两个孩子, 叶子节点是数据的哈希值。
Merkle Proofs
这种结构可以提供一种叫Merkle Proofs的机制。使用默克尔证明能够实现轻节点的扩展。
默克尔证明指的是一个轻节点向一个全节点发起一次证明请求,询问全节点完整的默克尔树中,是否存在某个指定的节点;全节点向轻节点返回一个默克尔证明路径,由轻节点进行计算,验证存在性。
首先Merkle树的根是公开的、受信任的。Merkle Proofs包含三部分: 一个待验证的块数据的哈希(如图中的9Dog:64), 一个根哈希(如图中的6c0a)以及验证路径(图中黄色部分: 1FXq:18, ec20, 8f74)。
具体的验证过程如图所示:一颗 merkle tree,如果某个轻节点想要验证图中绿色的这个节点是否存在,只需要向全节点发送该请求,全节点会返回一个如图中黄色块显示的路径。得到路径之后,轻节点依次求哈希,最后将得到的结果与本地维护的根哈希相比,判断其是否相等。
Merkle Proofs in Bitcoin
Merkle Proofs最早应用在比特币中, 如图所示比特币用所有交易的哈希构造了一颗Merkle Tree, 而Merkle Tree的根哈希写在区块头中:
这种设计可以支持SPV(简单支付验证): 当验证一笔交易的时候,它不需要下载所有区块和交易信息, 只需下载80字节左右的区块头就可以了。区块头包含:前一个区块头的哈希值、工作量证明nonce以及 该区块中所有交易组成的Merkle Tree的根哈希和一个时间戳。
如果客户端想验证一笔交易的可靠性, 只需要按照前面说的Merkle Proofs过程提供交易哈希和路径, 再经过一系列哈希运算后比对根哈希就可以了。
这样客户端避免了下载所有区块数据进行交易验证的噩梦, 我们称这种客户端为轻客户端。
Merkle Proofs in Ethereum
以太坊中的区块头包含三颗Merkle Tree, 分别是: 交易树, 单据树, 状态树。
这