https://github.com/adamchen0510/merkletree.git
请参考上述git,在一个base git基础上添加了获取merkle path。
merkle path的作用是给定一个叶子节点和叶子节点的merkle path和root,可以验证叶子节点在这个merkle tree中,作为存在性证明,在区块链里用于验证某个交易是否存在。
以上图为例,有四个交易A、B、C和D,他们的Hash分别为H0、H1、H2、H3,Merkle root Hash为顶端的Root。
如何验证交易B存在于交易列表中呢,那么需要知道root hash,以及交易B和交易B的merkle path(图中蓝色的H0和M1)。
计算过程如下:
1 根据交易B算出交易B的Hash:H1
2 根据merkle path,先拿出H0,计算H0和H1的父节点Hash:M0
然后再从merkle path中拿出M1,M0和M1计算出父节点Hash:TempRoot
3 TempRoot与已知的Root对比,相等则证明交易B存在于merkle tree中。