1. 引言

Merkle tree相关前序博客有：

Merkle tree及其在区块链等领域的应用
Merkle tree proof【基于Merkle tree的membership proof，或existenceProof】

基于Merkle tree的non-membership proof或NonExistenceProof 相关代码实现见：

github.com/confio/ics23

//
//NonExistenceProof takes a proof of two neighbors, one left of the desired key,
//one right of the desired key. If both proofs are valid AND they are neighbors,
//then there is no valid proof for the given key.
type NonExistenceProof struct {Key   []byte          `protobuf:"bytes,1,opt,name=key,proto3" json:"key,omitempty"`Left  *ExistenceProof `protobuf:"bytes,2,opt,name=left,proto3" json:"left,omitempty"`Right *ExistenceProof `protobuf:"bytes,3,opt,name=right,proto3" json:"right,omitempty"`
}

基于Merkle tree的membership proof复杂度为O(log⁡n)O(\log n)O(logn)。
若Merkle tree未排序，则证明non-membership proof的复杂度为O(n)O(n)O(n)，但是，若采用sorted Merkle tree，则可仅查找non-element相邻的2个叶子节点，并证明这2个叶子节点是邻居，即可证明non-element不再该sorted Merkle tree中。

2. Merkle tree

以对数字集{6,3,9,0,8,4,7,2}\{6,3,9,0,8,4,7,2\}{6,3,9,0,8,4,7,2}的Merkle tree为例：

            R/       \N12          N34/ \           / \N1    N2     N3     N4/  \   / \    / \    / \
6   3   9  0  8   4  7   2

N为Merkle tree中的节点，每个节点为其底层2个节点的拼接值哈希，有 N=hash(N_left | N_right)。R为该Merkle tree的root hash，可作为该数据集的commitment值发布。
为了证明某元素在该数据集内，仅需要公开某些哈希值。如证明0在该数据集内：

           R/       \N12           N34/ \N1     N2/ \9   0

proof中仅需包含9、N1、N34即可重构出root hash R。【仅公开一个该数据集内的一个元素和相应的一个branch】

3. Sorted Merkle tree

将第2节中的数据集先排序构建的的即为Sorted Merkle tree，可用于证明某元素不在该数据集内。
仍然以对数字集{6,3,9,0,8,4,7,2}\{6,3,9,0,8,4,7,2\}{6,3,9,0,8,4,7,2}为例，相应的Sorted Merkle tree为：

            R/       \N12          N34/ \           / \N1     N2     N3    N4/  \   / \    / \    / \
0   2   3  4  6   7  8   9

为证明1不在该数据集内：

            R/       \N12          N34/ \           N1     N2    /  \
0   2

proof中仅需包含0、2、N2、N34，由于0<1<2，且0和2相邻，因此可证明1不在该数据集内。【最佳情况下是仅公开该数据集内的2个元素和相应的一个branch】

当证明5不在该数据集内时：【最差情况下，需公开该数据集内的4个元素和相应的2个branch。】

           R/       \N12        N34/ \         / \N1   N2      N3  N4/ \   / \3   4 6   7

参考资料

[1] Sorted merkle tree as solution to issue #693
[2] Proof of membership and non-membership in Merkle tree (Hash-tree)

Merkle tree for non-membership proof相关推荐

Solidity实现默克尔树 Merkle Tree
Merkle Tree,也叫默克尔树或哈希树,是区块链的底层加密技术,被BTC和Ethereum区块链广泛采用.Merkle Tree是一种自下而上构建的加密树,每个叶子是对应数据 ...
Merkle Tree（梅克尔树）算法解析
Merkle Tree概念 Merkle Tree,通常也被称作Hash Tree,顾名思义,就是存储hash值的一棵树.Merkle树的叶子是数据块(例如,文件或者文件的集合)的hash值.非叶 ...
Merkle Tree（默克尔树）原理解析
Merkle Tree(默克尔树)原理解析一.Merkle Tree 1.1 Merkle Tree的特点二.Hash list 三.Merkle tree VS Hash list 四.Merk ...
以太坊Eth2 deposit merkle tree
1. 引言以太坊2.0(Eth2)采用sharded PoS协议,在早期阶段(名为Phase 0),与现有的PoW链(名为Eth1链)并行运行.Eth1由miners驱动,而PoS链(又名Beaco ...
Sparse Merkle Tree
1. 引言前序博客有: Merkle tree及其在区块链等领域的应用 Merkle tree proof 2. Merkle tree Merkle tree可看成是对一组数据的密码学承诺,类似: ...
什么是Merkle Tree（默克尔树）
强迫症居中了图片哈哈哈~~~ 觉得这篇文章写得很清晰,也转载分享给大家看看mua~ Merkle Tree概念 Merkle Tree,通常也被称作Hash Tree,顾名思义,就是存储hash值的一 ...
【区块链 | Merkle】使用Merkle Tree空投，白名单验证
Merkle Tree在高效验证数据的同时减少了链上计算和存储,因为非常适合基于区块链的白名单验证,空投,IDO等需要验证数据的业务. Merkle Tree介绍默克尔树,在区块链出现前,曾广泛用于 ...
Polygon zkEVM中的Merkle tree
1. 引言前序博客有: Merkle tree及其在区块链等领域的应用以https://github.com/0xPolygonHermez/pil-stark为例,Polygon zkEVM中实 ...
Merkle Tree 实现细节及（不）存在性证明
Merkle Tree in BitCoin & BitCoin Cash Merkel Tree是Bitcoin的核心组件,其相关资料已经非常丰富,所以本文档偏重于介绍Merkle Tree ...
理解区块链背后的Merkle Tree
你可以在Github上获取最新的源代码(C#) 目录简介本文中的术语 Merkle Tree被应用在哪里? 数字货币全球供应链保健行业资本市场 Git 和 Mercurial 为什么使用Me ...

Merkle tree for non-membership proof

1. 引言

2. Merkle tree

3. Sorted Merkle tree

参考资料

Merkle tree for non-membership proof相关推荐

最新文章

热门文章