Merkle 树

什么是 Merkle 树？

Merkle 树是一种密码学数据结构，可将多条数据组织成由哈希值构成的树。

在加密领域，Merkle 树帮助区块链高效验证交易、余额、账户、存储值、空投领取记录、NFT 白名单及其他大型数据集。

Merkle 树也称为哈希树，因为树的每一层都由密码学哈希值构成。

最底层包含各条独立数据，称为叶子节点。

每个叶子节点都会经过哈希处理，与另一个哈希值配对，再次进行哈希以生成下一层。

这一过程会持续进行，直到顶部只剩下一个最终哈希值。

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

Bitcoin 开发者指南指出，交易哈希会两两配对并反复进行哈希，直到区块头中只剩下一个 Merkle 根。

核心思路很简单：一个简短的根就能代表一个大型数据集。

如果数据集中的任何一项发生变化，其上层哈希也会发生变化，进而改变 Merkle 根。

Merkle 树的工作原理

Merkle 树从交易、钱包地址、账户记录或领取条目等原始数据开始。

每条数据都会经过密码学哈希函数处理，生成叶子哈希。

两个叶子哈希组合后进行哈希，生成父哈希。

父哈希随后两两配对并再次进行哈希，生成更高层的哈希值。

这一过程会持续进行，直到只剩下一个哈希值。

这个最终哈希值就是 Merkle 根。

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

如果数据未发生变化，采用相同的建树方法应当生成相同的根。

如果一笔交易、一个地址、一个余额或一笔领取金额发生变化，最终的根也应随之改变。

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

Merkle 树之所以重要，是因为区块链必须验证大量数据，同时又不能要求每位用户始终处理所有数据。

一个区块中可能包含许多笔交易。

一次代币空投可能涉及数千或数百万个符合条件的钱包。

区块链状态数据库可能包含账户、余额、合约存储和代码。

Merkle 树让系统可以用一个根对大型数据集作出承诺，同时仍支持之后验证其中的单条数据。

这可以提升效率、可扩展性和数据完整性。

它还可以降低许多加密应用对存储和带宽的需求。

如果没有 Merkle 树或类似的认证数据结构，许多区块链验证任务会更慢、更繁重、成本也更高。

Merkle 根

Merkle 根是 Merkle 树顶部的最终哈希值。

它代表其下方的所有数据。

在区块链区块中，Merkle 根可以汇总该区块中包含的所有交易。

在空投合约中，Merkle 根可以汇总所有符合条件的钱包地址和领取金额。

在状态树中，根可以汇总许多账户或存储值。

根本身不会披露完整的数据集。

它只是对该数据集作出的密码学承诺。

用户仍需具备正确的证明和验证规则，才能确认某条数据属于这棵树。

Merkle 树的叶子节点和分支

叶子节点是 Merkle 树最底层的哈希值。

每个叶子节点通常代表一条数据。

例如，一个叶子节点可以代表交易哈希、钱包地址、领取记录、NFT 铸造权限或账户值。

分支是叶子节点和根之间的中间哈希值。

分支将各个叶子节点连接到最终的 Merkle 根。

Merkle 证明使用这些分支哈希值证明某个叶子节点属于这棵树。

这种设计无需展示或下载其他所有叶子节点即可完成验证。

Merkle 树证明

Merkle 树证明是一组兄弟哈希值，用于证明某个叶子节点属于一棵根已知的树。

验证者从目标叶子节点开始，按照正确顺序将其与证明哈希值组合。

如果最终计算出的哈希与可信的根匹配，证明即有效。

如果最终计算出的哈希与可信的根不匹配，证明即无效。

OpenZeppelin MerkleProof 文档介绍了用于智能合约的工具，可验证某个叶子节点能否证明属于由某个根定义的 Merkle 树。

因此，Merkle 树适用于链上白名单、领取、奖励和访问权限检查。

Bitcoin 中的 Merkle 树

Bitcoin 使用 Merkle 树组织区块中的交易。

每笔交易都会经过哈希处理，然后交易哈希两两配对并逐层向上进行哈希，直到生成一个 Merkle 根。

Merkle 根存储在区块头中。

这有助于 Bitcoin 节点检测交易数据是否被篡改。

Merkle 树也支持轻量级交易验证。

轻客户端可以使用 Merkle 证明检查某笔交易是否包含在区块中，而无需下载该区块中的所有交易。

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

SPV 的验证不如完整节点全面，但对资源有限的设备和钱包来说效率更高。

Ethereum 中的 Merkle 树

Ethereum 使用一种相关的认证数据结构，称为 Merkle Patricia Trie。

Ethereum Merkle Patricia Trie 文档指出，Ethereum 的结构具有确定性，并可通过密码学进行验证。

这种结构帮助 Ethereum 表示账户状态、存储和其他键值数据。

如果状态发生变化，状态根也会发生变化。

这样，Ethereum 客户端和应用就能根据已知的根验证状态数据。

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

Ethereum 的结构与简单的二叉 Merkle 树不同，但两者都采用通过哈希链接来验证数据的核心思路。

空投中的 Merkle 树

加密货币空投经常使用 Merkle 树管理大型领取名单。

项目可以创建一份包含符合条件的钱包地址和代币数量的名单。

每组地址和金额都会成为 Merkle 树中的一个叶子节点。

项目只需在智能合约中存储 Merkle 根。

用户领取空投时，会提交 Merkle 证明。

合约会验证该钱包和金额是否属于已存储根所代表的树。

这样可以节省 Gas 费，因为合约无需在链上直接存储每个符合条件的钱包。

这也让大规模领取活动更易于执行。

NFT 白名单中的 Merkle 树

NFT 项目经常使用 Merkle 树管理白名单、预售和提前铸造资格。

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

每个获准的钱包都会收到一份证明，用于表明该钱包属于白名单。

铸造时，智能合约会根据已存储的根检查证明。

如果证明有效，该钱包就可以按照白名单规则进行铸造。

这样可以降低链上存储成本，并提高白名单验证效率。

用户仍应确认铸造页面、合约地址和 Merkle 根均来自官方渠道。

轻客户端中的 Merkle 树

轻客户端使用精简的验证方法，减少需要下载的区块链数据量。

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

这对于移动钱包、浏览器以及存储或带宽有限的设备很有用。

轻客户端提供的安全模型与完全验证节点不同。

不过，与盲目信任单一数据提供方相比，基于 Merkle 的验证可以提供更强的保障。

因此，Merkle 树是打造更易用的加密基础设施的重要组成部分。

区块链游戏和元宇宙应用中的 Merkle 树

区块链游戏和元宇宙应用可以使用 Merkle 树验证大量资产、奖励、玩家或权限名单。

游戏可以使用 Merkle 根承诺某个赛季的奖励领取资格。

元宇宙应用可以使用 Merkle 根验证活动徽章领取资格或虚拟土地权限。

NFT 项目可以使用 Merkle 树管理特征揭晓或白名单访问权限。

这样，应用可以将大型数据集保留在链下，同时仍能在链上验证特定条目。

其结果可能是成本更低、可扩展性更好。

相应的权衡是，链下建树过程必须透明且正确。

Merkle 树与数据完整性

Merkle 树通过让数据变化易于检测，帮助保护数据完整性。

如果某个叶子节点发生变化，其哈希值也会改变。

这一变化会影响父哈希、再上一层的父哈希，最终传递到 Merkle 根。

因此，验证者可以通过比较根来检测数据集是否一致。

Merkle 树并不能阻止他人创建虚假数据集。

它有助于证明数据是否与特定的已承诺根相符。

因此，根必须来自可信来源或经过共识验证的来源。

Merkle 树与哈希列表

哈希列表是一个简单的哈希值列表。

Merkle 树则是结构化的哈希树，支持生成精简证明。

使用哈希列表时，验证某一项可能需要从完整列表中获取更多数据。

使用 Merkle 树时，验证者通常只需要目标叶子节点和少量兄弟哈希值。

因此，对于大型数据集，Merkle 树效率更高。

数据集越大，这种效率优势就越明显。

Merkle 树与 Merkle Patricia Trie

Merkle 树是基于哈希的通用树形数据结构。

Merkle Patricia Trie 则是用于键值数据的一种更专门的结构。

Ethereum 使用经过修改的 Merkle Patricia Trie，以高效存储和验证状态。

简单的 Merkle 树常用于验证交易是否包含在区块中、NFT 白名单和空投领取记录。

如果数据需要按键查找，例如账户地址或存储槽，Trie 更为合适。

这两种结构都使用密码学哈希，使数据篡改能够被检测出来。

Merkle 树与 Verkle 树

Verkle 树是一种较新的认证数据结构，使用向量承诺，而不只是哈希值配对。

Verkle 树经常被视为区块链状态系统未来的改进方向，因为它可以缩小某些证明的体积。

Ethereum 文档指出，Ethereum 计划未来从当前的 Merkle Patricia Trie 结构迁移到 Verkle 树结构。

这并不意味着 Merkle 树会过时。

Merkle 树仍被广泛使用，因为它简单、可靠且易于理解。

对于空投和白名单等许多用途，Merkle 树仍然实用且高效。

Merkle 树的优势

第一项优势是验证效率高。

用户无需下载完整数据集即可验证其中一项数据。

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

底层数据的任何变化都会改变其上层哈希。

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

智能合约可以存储一个根，而不是许多单独的记录。

第四项优势是可扩展性。

大型数据集可以用一个精简的根来表示。

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

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

Merkle 树的风险与局限

第一项风险是根不正确。

Merkle 证明只能证明数据包含在该根代表的数据集中，因此必须信任或验证该根。

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

如果项目使用了错误的哈希方法、编码方式、排序规则或叶子格式，证明可能无法通过验证或存在安全隐患。

第三项风险是重放或重复领取错误。

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

第四项风险是网络钓鱼。

诈骗者可能创建虚假的领取网站，假装使用 Merkle 证明，却要求用户签署有害交易。

第五项风险是误解。

Merkle 树能证明数据包含关系，但无法证明某个项目诚实、有价值或安全。

如何评估 Merkle 树系统

首先，检查 Merkle 根是否来自官方来源或经过共识验证的来源。

查看叶子节点的编码方式。

检查使用了哪种哈希函数。

确认该树使用排序后的哈希对，还是固定的左右顺序。

检查证明是否由官方工具或开源代码生成。

对于智能合约，应检查证明验证函数和领取记录逻辑。

对于空投和 NFT 白名单，在提交证明或签署交易前，应确认官方合约地址。

设计良好的 Merkle 树系统应清楚说明根、规则和验证流程。

关于 Merkle 树的常见误解

一种常见误解是，Merkle 树会将所有数据存储在链上。

在许多加密应用中，只有 Merkle 根存储在链上，完整数据集则在链下构建和存储。

另一种误解是，Merkle 根会披露完整数据集。

根只是哈希承诺，本身不会显示所有叶子节点。

第三种误解是，有效的 Merkle 证明能从道德或法律层面证明用户理应获得奖励。

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

第四种误解是，所有 Merkle 树都以相同方式构建。

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

常见问题

简单来说，什么是 Merkle 树？

Merkle 树是一种哈希树，用户可以通过一份简短的证明，验证某条数据是否属于大型数据集。

什么是 Merkle 根？

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

区块链为何使用 Merkle 树？

区块链使用 Merkle 树高效验证大型数据集、减少数据需求，并检测交易或状态数据是否发生变化。

Bitcoin 如何使用 Merkle 树？

Bitcoin 使用 Merkle 树汇总区块中的交易，并将 Merkle 根存储在区块头中。

Ethereum 如何使用 Merkle 结构？

Ethereum 使用经过修改的 Merkle Patricia Trie 存储和验证账户状态及合约存储数据。

什么是 Merkle 树证明？

Merkle 树证明是一组兄弟哈希值，用于证明某个特定叶子节点属于一棵 Merkle 根已知的树。

Merkle 树如何用于空投？

空投合约可以存储一个 Merkle 根，并使用 Merkle 证明验证用户领取资格，而无需在链上存储每个符合条件的钱包。

Merkle 树如何用于 NFT 白名单？

NFT 项目可以使用 Merkle 根代表获准的钱包，并在铸造时通过证明验证每个钱包。

Merkle 树是否具有隐私性？

Merkle 树可以提供部分隐私，因为用户可以在不披露完整数据集的情况下证明数据包含关系。

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

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

结论

Merkle 树是加密领域的核心数据结构，可让大型数据集更易于验证。

它将多条数据转换为一棵哈希树，并生成一个最终的 Merkle 根。

该根可以代表交易、余额、地址、领取记录、存储值或其他区块链数据。

Merkle 树非常重要，因为它支持高效验证、降低存储成本、保护数据完整性，并应用于轻客户端、空投、NFT 白名单和区块链状态证明。

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

Ethereum 使用相关的 Merkle Patricia Trie 结构处理账户和存储状态。

只要加密应用需要证明某条数据属于大型数据集，同时又不将整个数据集放到链上，就可以使用 Merkle 树。

Merkle 树功能强大，但依赖正确的哈希处理、安全的编码、可信的根和安全的证明验证。

使用得当时，它们可以让加密系统更轻量、成本更低，也更易于验证。