默克尔树和稀疏默克尔树

        最近在密码学方面学了这两个比较重要的数据结构，于是便打算记录一下。下面的文字主要是当做自己的复习，如果有错，还希望大家能指正。

---------------------------------------------------------------------------------------------------------------------------------

默克尔树

        默克尔树（Merkel Tree）的基本结构如下（本图仅有四个节点，真实情况肯定会比这个更加复杂）。它的基本流程如下：

1.用户将自己的数据经过哈希函数加密之后得到子结点。

2.每相邻两个字结点再次进行计算。（这里有两个点需要说明：（1）两个相邻节点是直接字符拼接后再进行哈希运算的，类似于c语言中的strcat；（2）如果只有一个节点，那么直接对其进行哈希运算即可）

3.如此计算，最终得到最后的Root值。

图1-默克尔树基本框架

        在默克尔树中，由于哈希函数的单向性，该结构只能由下方节点推出Root值，无法由Root值推算出用户数据。并且在这个结构中，任何一个节点数据的微小变动都会导致最终的Root值发生巨大改变（这是由哈希函数的性质造成的）。

        基于此特点，默克尔树便天然的可以用来检验数据的真实性。当我们对用户某数据质疑时，我们可以要求用户打开某结点，以及要求附近所需要的哈希值。正如前文所说，如果数据错误，则得到的最终的Root_1值是无法于之前的Root相同的，并且由于哈希函数的单向性，检验的过程中，我们无法得到其他节点的信息，所以整个过程是零知识的。

 图2-默克尔树对数据真实性的检验

        默克尔树在区块链中应用广泛，它通常被用于区块链中某个节点中的信息的检验。（我并没有系统的学习过区块链，这里就仅仅提一下）

        默克尔树可以对数据的真实性进行检验，但它也存在有缺陷——它难以检验数据是否存在。于是我们便利用稀疏默克尔树。

稀疏默克尔树

        稀疏默克尔树基本结构与默克尔树相似，其特别之处就在于在它的某些节点中，并没有存放数据，这也就是它被称为稀疏的原因。

 图3-稀疏默克尔树的基本框架

        在这张图中，表示该节点存在数据，表示该节点为空结点。当我们需要对某个节点的数据其进行存在证明时，我们将数据和空结点分别带入就能得出结论。在验证阶段，我们根据Bauer提出了一种显式修剪树结构来选择需要的哈希值。即其中所有非空属性都通过其祖先向上提升，当到达包含单个非空叶的子树的根时，向上提升停止，并且丢弃这些根的所有后代。

图4-稀疏默克尔树的检验