Merkle 树证明

什么是 Merkle 树证明？

Merkle 树证明是一种密码学证明，可在不披露或下载整个数据集的情况下，证明某条特定数据属于更大的数据集。

在加密领域，Merkle 树证明常用于证明某笔交易、某个账户、余额、存储值、NFT 领取资格或钱包地址包含在经过验证的数据集中。

它通过使用 Merkle 树（也称哈希树）中的哈希值来实现。

Merkle 树会将多条数据哈希处理为叶子节点，将这些哈希值两两组合并继续进行哈希，逐层向上，直到只剩下一个最终哈希值。

这个最终哈希值称为 Merkle 根。

如果 Merkle 根可信，用户只需一份简短的证明，而无需检查整个数据集，就能验证其中一项数据。

Bitcoin 开发者指南指出，客户端可以利用区块头中的 Merkle 根以及来自对等节点的中间哈希值，验证某笔交易是否包含在区块中。

因此，Merkle 树证明对于提升区块链效率、轻客户端、代币空投、NFT 白名单、跨链桥、状态证明和数据验证都非常重要。

Merkle 树的工作原理

Merkle 树从树底部的各条独立数据开始。

这些底部数据称为叶子节点。

在区块链中，每个叶子节点可能代表一个交易哈希、账户条目、存储值、钱包地址或领取记录。

每个叶子节点都会经过密码学哈希函数处理。

随后，这些哈希值两两配对并再次进行哈希。

这一过程会逐层持续进行，直到整棵树生成一个顶部哈希值。

这个顶部哈希值就是 Merkle 根。

如果任何一个叶子节点发生变化，其哈希值也会随之改变。

这一变化会沿着树向上传递，最终改变 Merkle 根。

因此，Merkle 根可以作为大型数据集的精简指纹。

Merkle 树证明的工作原理

Merkle 树证明用于证明某个特定叶子节点属于一棵根已知的 Merkle 树。

证明通常包含用于重建从叶子节点到根的路径所需的兄弟哈希值。

验证者从叶子哈希开始。

然后，验证者将其与第一个兄弟哈希值组合，并对组合结果进行哈希。

接着，将该结果与下一个兄弟哈希值组合并再次进行哈希。

这一过程会持续进行，直到验证者计算出最终的根。

如果计算出的根与可信的 Merkle 根一致，证明即有效。

如果计算出的根与可信的 Merkle 根不一致，证明即无效。

这样，无需披露树中的所有叶子节点，也能完成验证。

Merkle 树证明的简单示例

设想一个包含 4 个钱包地址的 NFT 白名单。

每个地址都会经过哈希处理，成为一个叶子节点。

叶子节点 A 和叶子节点 B 经过哈希组合后，生成一个父哈希。

叶子节点 C 和叶子节点 D 经过哈希组合后，生成另一个父哈希。

这两个父哈希再经过哈希组合，生成 Merkle 根。

如果钱包 A 想证明自己在白名单中，无需披露完整名单。

它只需提供自己的叶子节点，以及重建 Merkle 根所需的兄弟哈希值。

如果证明与已存储的根匹配，智能合约就可以验证证明，并允许该钱包领取或铸造 NFT。

Merkle 树证明为何在加密领域如此重要

Merkle 树证明之所以重要，是因为区块链需要高效验证大量数据。

没有 Merkle 证明，用户和应用可能需要下载或信任更多信息。

Merkle 证明让验证所需的数据更少、速度更快，也更易于实际应用。

当存储空间、带宽、Gas 费或设备资源有限时，这一点尤其有用。

轻钱包可以使用证明验证数据，而无需运行完整节点。

智能合约可以使用证明检查白名单，而无需在链上存储数千个地址。

跨链桥和跨链系统可以使用证明验证来自其他链的事件或状态。

数据可用性和 Rollup 系统也可以使用 Merkle 类承诺，帮助证明某条数据属于更大的承诺结构。

Bitcoin 中的 Merkle 树证明

Bitcoin 使用 Merkle 树汇总区块中的交易。

Merkle 根会写入区块头。

轻客户端可以将 Merkle 证明与区块的 Merkle 根进行比对，以验证某笔交易是否包含在区块中。

这支持简化支付验证，通常称为 SPV。

SPV 允许钱包或客户端在无需下载每个完整区块的情况下，验证交易是否包含在区块中。

这并不意味着客户端验证了完整节点验证的所有内容。

这意味着客户端可以依靠区块头和证明数据，更高效地检查交易是否包含在区块中。

Ethereum 中的 Merkle 树证明

Ethereum 使用 Merkle 类认证数据结构验证账户和存储数据。

Ethereum 关于 Merkle Patricia Trie 的文档指出，Ethereum 使用通过密码学哈希链接的树结构，为存储的数据提供完整性保障。

Ethereum 证明可以显示某个账户或存储值属于特定状态根。

EIP-1186 eth_getProof 标准介绍了一种用于生成 Ethereum 账户和存储值 Merkle 证明的 RPC 方法。

当应用希望验证账户状态，而不是盲目信任数据提供方时，这种证明就很有用。

由于 Ethereum 状态存储在基于 Trie 的结构中，其证明系统比简单的二叉 Merkle 树更复杂。

不过，核心思路相似：通过一份简短的证明，针对可信的根验证一条数据。

NFT 白名单中的 Merkle 树证明

NFT 项目经常使用 Merkle 树证明管理白名单和预售。

项目无需将每个获准的钱包地址直接存储在智能合约中，只需存储一个 Merkle 根。

每位获准用户都会收到一份证明，用以证明自己的钱包地址属于白名单树。

用户领取或铸造时，智能合约会根据已存储的根验证证明。

与存储数千个地址相比，只存储一个根的链上存储成本要低得多。

这也可以提升隐私性，因为无需将完整白名单直接写入合约。

不过，用户仍应确认 Merkle 根由项目官方生成，并确认领取页面不是网络钓鱼网站。

空投中的 Merkle 树证明

空投经常使用 Merkle 树证明验证哪些用户可以领取代币。

项目会创建一个包含符合条件的钱包地址和领取金额的数据集。

每条领取记录都会成为 Merkle 树中的一个叶子节点。

智能合约会存储 Merkle 根。

用户领取时，会提交自己的地址、领取金额和证明。

合约会检查证明是否与已存储的根匹配。

如果证明有效且该钱包尚未领取，合约就可以发放代币。

这种设计有助于项目处理大规模空投，而无需在链上直接存储每条领取记录。

轻客户端中的 Merkle 树证明

轻客户端是一种钱包或节点，无需下载并处理完整区块链的所有数据即可验证区块链数据。

Merkle 树证明帮助轻客户端根据可信的区块头或状态根验证特定数据。

Ethereum 轻客户端文档指出，轻客户端让用户只需使用完整节点所需资源的一小部分，就能验证收到的数据。

这对于移动设备、浏览器、嵌入式系统和带宽有限的用户都很重要。

轻客户端与完整节点并不相同。

轻客户端验证的数据较少，但与完全依赖中心化数据提供方相比，仍有助于提升可信度。

智能合约中的 Merkle 树证明

智能合约可以直接在链上验证 Merkle 树证明。

当合约需要检查某条数据是否属于大型数据集时，这种方式很有用。

OpenZeppelin MerkleProof 文档提供了用于在智能合约中验证 Merkle 证明的工具。

一种常见的合约设计模式是存储 Merkle 根，并在领取、铸造、奖励发放或访问权限检查时验证用户提交的证明。

这样就无需在合约中存储每个符合条件的地址或记录。

主要的权衡在于，必须在链下正确生成证明。

如果树的构建方式、哈希方法、排序规则或叶子编码有误，设计不当的系统可能会导致有效用户无法通过验证，或无效用户通过验证。

Merkle 树证明与 Merkle 根

Merkle 根是代表整棵树的最终哈希值。

Merkle 树证明则是一组哈希值及相关数据，用于证明某个叶子节点属于这棵树。

Merkle 根就像整个数据集的指纹。

证明则是将某条数据与该指纹关联起来的证据。

仅凭根无法得知树中的所有数据。

如果验证者没有可信的根可供比对，单独的证明也没有用。

两者都是完成验证所必需的。

Merkle 树证明与零知识证明

Merkle 树证明和零知识证明是不同的密码学工具。

Merkle 树证明用于证明某条特定数据包含在已承诺的数据集中。

零知识证明可以在不披露底层隐私信息的情况下，证明某个陈述为真。

Merkle 证明通常比许多零知识证明更简单、成本更低，也更容易验证。

零知识证明则可以支持更复杂的隐私和计算应用场景。

在某些系统中，Merkle 证明和零知识证明会结合使用。

例如，零知识电路可以在保护隐私的情况下验证 Merkle 包含证明。

Merkle 树证明与存储证明

存储证明通常是一种 Merkle 类证明，用于验证区块链状态中存储的值。

例如，Ethereum 存储证明可以显示某个智能合约存储槽在特定区块状态根下具有某个值。

Merkle 树证明是一个更广泛的概念。

存储证明是用于证明状态或存储数据的一种特定场景。

这一差异很重要，因为不同区块链使用的数据结构、证明格式和哈希规则可能不同。

用户不应假设某条区块链上的证明与另一条区块链上的证明工作方式相同。

Merkle 树证明的优势

第一项优势是效率。

无需获取整个数据集，也能通过证明验证其中一项数据。

第二项优势是降低链上存储成本。

智能合约可以存储一个根，而不是数千或数百万条记录。

第三项优势是更好的可扩展性。

大型数据集可以通过一个简短的根进行承诺，并通过精简的证明完成验证。

第四项优势是数据完整性。

如果叶子节点或证明哈希发生变化，计算出的根就会不匹配。

第五项优势是部分隐私保护。

用户可以在不披露数据集中其他所有条目的情况下证明数据包含关系。

风险与局限

第一项风险是树构建错误。

如果项目构建 Merkle 树的方式有误，证明可能无法通过验证，或产生意外结果。

第二项风险是叶子编码薄弱。

如果叶子节点编码不够严谨，不同输入可能造成令人困惑或不安全的证明行为。

第三项风险是排序假设不正确。

有些 Merkle 证明系统要求对哈希对进行排序，另一些则取决于左右顺序。

第四项风险是根不可信。

有效证明只能证明数据包含在该根所代表的数据集中，因此根本身必须来自可信或经过验证的来源。

第五项风险是重放或重复领取问题。

如果领取只能进行一次，空投和领取合约必须跟踪证明是否已经使用。

第六项风险是网络钓鱼。

诈骗者可能创建虚假的领取页面，要求用户提交证明或签署危险交易。

如何验证 Merkle 树证明

首先，准备需要验证的叶子数据。

使用构建原始树时所用的相同方法对叶子进行哈希处理。

将叶子哈希与证明中的第一个兄弟哈希组合。

对组合后的值进行哈希。

对剩余的每个兄弟哈希重复这一过程。

将最终计算出的哈希与可信的 Merkle 根进行比对。

如果两个根匹配，证明即有效。

如果不匹配，证明即无效。

对于智能合约，验证代码通常会自动完成同样的过程。

对用户来说，最重要的一步是确认根、合约、领取页面和来源均为官方信息。

关于 Merkle 树证明的常见误解

一种常见误解是，Merkle 树证明能在所有意义上证明数据为真。

它只能证明数据包含在特定根所代表的数据集中。

另一种误解是，Merkle 证明会披露整个数据集。

它通常只会披露目标叶子节点和验证所需的兄弟哈希值。

第三种误解是，所有 Merkle 证明都使用相同格式。

不同系统可能使用不同的哈希函数、排序规则、树形结构和证明编码方式。

第四种误解是，Merkle 证明可以消除所有信任需求。

它们可以降低对数据传输环节的信任需求，但用户仍需要可信的根和正确的验证规则。

第五种误解是，Merkle 证明只用于交易。

它们还可以用于验证白名单、空投、账户状态、存储值、Rollup 数据、跨链消息和数字身份声明。

常见问题

什么是 Merkle 树证明？

Merkle 树证明是一种密码学证明，用于证明某条数据属于由 Merkle 根代表的更大数据集。

什么是 Merkle 根？

Merkle 根是 Merkle 树顶部的最终哈希值，可作为整个数据集的精简指纹。

Merkle 证明如何验证数据？

验证者会将目标叶子与证明中的兄弟哈希值进行哈希处理，并检查最终结果是否与可信的 Merkle 根一致。

区块链为何使用 Merkle 树证明？

区块链使用 Merkle 树证明高效验证数据，无需每位用户或应用都下载完整数据集。

Merkle 证明如何用于空投？

空投合约可以存储一个 Merkle 根，并允许用户提交证明，以表明其钱包和领取金额包含在符合条件的数据集中。

Merkle 证明如何用于 NFT 白名单？

NFT 项目可以使用 Merkle 证明验证某个钱包是否在白名单中，而无需在链上直接存储所有获准地址。

Merkle 树证明是否具有隐私性？

Merkle 树证明可提供部分隐私，因为无需披露完整数据集，但目标叶子节点和证明数据仍可能被看到。

Merkle 树证明与零知识证明相同吗？

不相同。Merkle 证明用于验证数据是否包含在数据集中，而零知识证明可以在不披露隐私输入的情况下证明更广泛的陈述。

Merkle 证明可以造假吗？

如果验证者使用正确的哈希规则，并将证明与正确且可信的根进行比对，伪造的证明就会验证失败。

使用 Merkle 证明领取页面前，用户应检查什么？

用户应检查官方合约、官方网站、可信的 Merkle 根、钱包提示、领取规则，以及页面是否安全。

结论

Merkle 树证明是加密领域最重要的验证工具之一。

用户、钱包、智能合约和应用可以借助它证明某条数据属于更大的数据集，而无需下载或存储整个数据集。

这让区块链系统更高效、更具可扩展性，也更便于实际应用。

Merkle 树证明用于验证交易是否包含在区块中、轻客户端、空投、NFT 白名单、账户状态、存储证明、跨链桥和 Rollup 系统。

其核心思路很简单：可信的 Merkle 根代表数据集，而证明会重建从某个叶子节点到该根的路径。

如果计算出的根匹配，数据就包含在该数据集中。

如果不匹配，证明就会验证失败。

Merkle 树证明可以降低对数据提供方的信任需求，但无法消除所有风险。

用户和开发者仍需确保哈希规则正确、智能合约安全、根可信、证明生成无误，并防范网络钓鱼。

设计得当时，Merkle 树证明可以让加密系统更轻量、成本更低，也更易于验证。