Merkle tree proof

最新推荐文章于 2023-09-11 22:47:17 发布

mutourend

最新推荐文章于 2023-09-11 22:47:17 发布

阅读量3.9k

点赞数

分类专栏：零知识证明文章标签：零知识证明

本文链接：https://blog.csdn.net/mutourend/article/details/121325723

版权

零知识证明专栏收录该内容

349 篇文章

订阅专栏

本文介绍了Merkle Tree的基础概念，包括其在区块链中的应用和Merkle Proof（路径证明）。通过实例展示了如何构建一个包含64个叶节点的Merkle Tree，并解释了如何打开和验证特定叶节点的路径。此外，还提供了多个编程语言的Merkle Tree实现链接以及Python代码示例，用于构建、打开和验证Merkle Proof。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1. 引言

前序博客有：

Merkle tree及其在区块链等领域的应用

推荐直观形象展示Merkle tree的网站。

在这里插入图片描述
Merkle proof又名Merkle path，为重新计算merkle root所需的最小节点数。
如上图，为了证明node2在root hash为65C7C87E2731AE97D0BE89EA3299A544FD28DE6A的Merkle tree中，仅需提供Node 1，Node 34和Node 567，即可生成root Node 1234567。

Merkle tree proof相关代码实现有：

https://github.com/iden3/iden3js（JavaScript）
https://github.com/weijiekoh/semaphore-merkle-tree（TypeScript）
https://github.com/appliedzkp/incrementalquintree（TypeScript）
https://github.com/filecoin-project/merkletree（Rust）
https://github.com/sitano/merkle_light（Rust）
https://github.com/0xProject/OpenZKP/tree/master/crypto/merkle-tree （Rust）
https://github.com/ing-bank/zkrp（Go）
https://github.com/zcash/librustzcash/blob/master/zcash_primitives/src/merkle_tree.rs （Rust）
https://github.com/wealdtech/go-merkletree/（Go）
https://github.com/mit-dci/utreexo（Go），详细参看博客 Utreexo：比特币UTXO merkle tree proof以节约节点存储空间。
https://github.com/aszepieniec/stark-anatomy/blob/master/code/merkle.py（Python）

2. stark-anatomy中merkle proof解析

针对的代码为：

https://github.com/aszepieniec/stark-anatomy/blob/master/code/merkle.py（Python）

详细的merkle proof测试用例见test_merkle()：【运行指定测试文件并显示打印日志pytest test_merkle.py -s。运行指定测试用例并显示打印日志pytest test_merkle.py::test_merkle -s。】
1）构建具有64个leaf的merkle tree：

	n = 64
    leafs = [urandom(int(urandom(1)[0])) for i in range(n)]
    root = Merkle.commit_(leafs)

	H = blake2b

    def commit_( leafs ):
        assert(len(leafs) & (len(leafs)-1) == 0), "length must be power of two"
        if len(leafs) == 1:
            return leafs[0]
        else:
            # 对左右leaf未做hash运算，直接拼接再hash。递归调用。
            return Merkle.H(Merkle.commit_(leafs[:len(leafs)//2]) + Merkle.commit_(leafs[len(leafs)//2:])).digest()

	def commit( data_array ):
		# 对最底层的data分别进行hash运算，生成的为leafs。
        return Merkle.commit_([Merkle.H(bytes(da)).digest() for da in data_array])

2）Open第 $i$ 个leaf的path：

	def open_( index, leafs ):
        assert(len(leafs) & (len(leafs)-1) == 0), "length must be power of two"
        assert(0 <= index and index < len(leafs)), "cannot open invalid index"
        if len(leafs) == 2:
            return [leafs[1 - index]]
        elif index < (len(leafs)/2): # 递归调用。
            return Merkle.open_(index, leafs[:len(leafs)//2]) + [Merkle.commit_(leafs[len(leafs)//2:])]
        else:
            return Merkle.open_(index - len(leafs)//2, leafs[len(leafs)//2:]) + [Merkle.commit_(leafs[:len(leafs)//2])]

    def open( index, data_array ):
        return Merkle.open_(index, [Merkle.H(bytes(da)).digest() for da in data_array])

3）Verify第 $i$ 个leaf的path：

	def verify_( root, index, path, leaf ):
        assert(0 <= index and index < (1 << len(path))), "cannot verify invalid index"
        if len(path) == 1:
            if index == 0: # 区分左右叶子
                return root == Merkle.H(leaf + path[0]).digest()
            else:
                return root == Merkle.H(path[0] + leaf).digest()
        else:
            if index % 2 == 0:
                return Merkle.verify_(root, index >> 1, path[1:], Merkle.H(leaf + path[0]).digest())
            else:
                return Merkle.verify_(root, index >> 1, path[1:], Merkle.H(path[0] + leaf).digest())

    def verify( root, index, path, data_element ):
        return Merkle.verify_(root, index, path, Merkle.H(bytes(data_element)).digest())