1.The Merkle Hash Tree.
验证一组数据值的简单解决方案的改进是Merkle哈希树（参见图1），第一次由[1]提出。它解决了最简单的形式的查询认证问题的点查询和数据集查询，可以适合主内存。Merkle哈希树是一棵二叉树，其中每个叶子包含一个数据值的哈希，每个内部节点包含其两个子节点的级联的哈希。数据值的验证是基于树根的哈希值是真实发布的（真实性可以通过数字签名来建立）。为了证明任何数据值的真实性，验证程序所要做的就是除了数据值本身之外，还向验证程序提供存储在从树的根到该值的路径的同级中的值。通过迭代计算树上所有适当的散列，在末尾可以简单地检查他为根计算的散列是否与真实发布的值匹配。
Merkle哈希树的安全性是基于所使用的哈希函数的抗碰撞性：恶意验证器伪造数据值在计算上是不可行的，因为这需要在树的某个地方找到一个散列冲突（因为根保持不变，叶子是不同。因此，在两者之间一定有一个碰撞）。因此，可以以提供和计算log2nlog_{2^n}
来源：CSDN
作者：YSS_33521
链接：https://blog.csdn.net/YSS_33521/article/details/103836708