ION:以太坊 Merkle Patricia Trie 是如何工作的

译文出自：登链翻译计划

译者：aisiji

校对：Tiny熊

介绍

MerklePatriciaTrie是以太坊存储层的关键数据结构之一。我希望了解它到底是如何工作的，于是遍寻资料进行了深入研究，实现了这个算法。

在这篇博文里，我将分享我所学到的东西。解释MerklePatriciaTrie究竟是如何工作的，并展示一个Merkle证明生成和验证的demo。

算法的源代码和本博文中使用的例子都是开源的:https://github

funcTestTransactionRootAndProof(t*testing.T){trie:=NewTrie()txs:=TransactionsJSON(t)fori,tx:=rangetxs{//keyistheencodingoftheindexastheunsignedintegertypekey,err:=rlp.EncodeToBytes(uint(i))require.NoError(t,err)transaction:=FromEthTransaction(tx)//valueistheRLPencodingofatransactionrlp,err:=transaction.GetRLP()require.NoError(t,err)trie.Put(key,rlp。//thetransactionrootforblock10467135//https://api.etherscan.io/api?module=proxy&action;=eth_getBlockByNumber&tag;=0x9fb73f&boolean;=true&apikey;=YourApiKeyTokentransactionRoot,err:=hex.DecodeString("bb345e208bda953c908027a45aa443d6cab6b8d2fd64e83ec52f1008ddeafa58")require.NoError(t,err)t.Run("merkleroothashshouldmatchwith10467135'stransactionRoot",func(t*testing.T){//transactionrootshouldmatchwithblock10467135'stransactionRootrequire.Equal(t,transactionRoot,trie.Hash()。)t.Run("amerkleproofforacertaintransactioncanbeverifiedbytheofficaltrieimplementation",func(t*testing.T){key,err:=rlp.EncodeToBytes(uint(30))require.NoError(t,err)proof,found:=trie.Prove(key)require.Equal(t,true,found)txRLP,err:=VerifyProof(transactionRoot,key,proof)require.NoError(t,err)//verifythatiftheverificationpasses,itreturnstheRLPencodedtransactionrlp,err:=FromEthTransaction(txs).GetRLP()require.NoError(t,err)require.Equal(t,rlp,txRLP。。

以太坊开发者：扩容解决方案EIP-4844的Devnet 3推迟到下周发布:12月1日消息，以太坊开发者、Arbitrum研发团队的terence.eth在社交媒体上称，扩容解决方案EIP-4844的Devnet 3推迟到下周发布，此前原定于11月30日发布。

terence.eth解释称，CL（共识层）团队需要更多时间来处理规范测试和同步协议。EL（执行层）团队需要通过时间戳机制在分叉之上对4844个更改进行rebase。正在就配置和预设使用主网值达成共识，以便与KZG库的字段元素大小和每个blob大小兼容。[2022/12/1 21:15:35]

上述测试案例通过了，并且表明如果我们将10467135区块的所有193个交易加入到trie中，那么trie的哈希值与该区块中公布的transactionRoot相同。而由我们的trie生成的索引为30的交易的merkle证明，被官方的golangtrie认为是有效的实现。

深入MerklePatriciaTrie-Trie节点

现在，让我们来看看Trie的内部实现。

在内部，trie有4种类型的节点。空节点(EmptyNode)、叶节点(LeafNode)、分支节点(BranchNode)和扩展节点(ExtensionNode)。每个节点将被编码并作为键值对存储在键值存储中。

让我们以主网的区块10593417为例，来说明一个TransactionTrie是如何建立的，以及它是如何存储的。

Block10593417只有4个Roothash交易。0xab41f886be23cd786d8a69a72b0f988ea72e0b2e03970d0798f5e03763a442cc.因此，为了将4个交易存储到一个trie，我们实际上是以十六进制字符串的形式存储以下键值对。

以太坊信标链质押量突破1440万，验证者突破45万:10月25日消息，据欧科云链OKLink多链浏览器显示，以太坊信标链上质押数已突破1440万枚ETH，截至目前为14,431,447枚，占当前以太坊总流通量的12.06%，验证者总量为450,531。按当前市场计算，信标链质押ETH总价值已逾193亿美元。[2022/10/25 16:38:13]

(80,f8ab81a5852e90edd00083012bc294a3bed4e1c75d00fa6f4e5e6922db7261b5e9acd280b844a9059cbb0000000000000000000000008bda8b9823b8490e8cf220dc7b91d97da1c54e250000000000000000000000000000000000000000000000056bc75e2d6310000026a06c89b57113cf7da8aed7911310e03d49be5e40de0bd73af4c9c54726c478691ba056223f039fab98d47c71f84190cf285ce8fc7d9181d6769387e5efd0a970e2e9)(01,f8ab81a6852e90edd00083012bc294a3bed4e1c75d00fa6f4e5e6922db7261b5e9acd280b844a9059cbb0000000000000000000000008bda8b9823b8490e8cf220dc7b91d97da1c54e250000000000000000000000000000000000000000000000056bc75e2d6310000026a0d77c66153a661ecc986611dffda129e14528435ed3fd244c3afb0d434e9fd1c1a05ab202908bf6cbc9f57c595e6ef3229bce80a15cdf67487873e57cc7f5ad7c8a)(02,f86d8229f185199c82cc008252089488e9a2d38e66057e18545ce03b3ae9ce4fc360538702ce7de1537c008025a096e7a1d9683b205f697b4073a3e2f0d0ad42e708f03e899c61ed6a894a7f916aa05da238fbb96d41a4b5ec0338c86cfcb627d0aa8e556f21528e62f31c32f7e672)(03,f86f826b2585199c82cc0083015f9094e955ede0a3dbf651e2891356ecd0509c1edb8d9c8801051fdc4efdc0008025a02190f26e70a82d7f66354a13cda79b6af1aa808db768a787aeb348d425d7d0b3a06a82bd0518bc9b69dc551e20d772a1b06222edfc5d39b6973e4f4dc46ed8b196)

数据：以太坊Gas价格短时飙升，单个区块奖励超200ETH:据欧科云链链上大师数据显示，以太坊Gas均价短时一度飙升至7,228.54Gwei，单个区块奖励达216 ETH。[2021/10/18 20:36:35]

80是无符号整数0的RLP编码结果的十六进制形式：RLP(uint(0))。01是RLP(uint(1))的结果，以此类推。

密钥80的值是第一个交易的RLP编码的结果。键值01是第二个交易的值，以此类推。

因此，我们将把上述4个键值对添加到trie中，让我们看看添加每一个键值对时，trie的内部结构如何变化。

为了更直观，我将用一些图来解释它的工作原理。你也可以通过在测试案例中添加日志来检查每一步的状态。

EmptyTrie

trie结构只包含一个根字段，指向一个根节点。而节点类型是一个接口，它可以是4种类型的节点之一。

typeTriestruct{rootNode}

当一个trie被创建时，根节点指向一个EmptyNode。

添加第一笔交易

当添加第一个交易的键值对时，一个叶节点(LeafNode)被创建，交易数据存储在其中。根节点被更新以指向该叶节点(LeafNode)。

添加第二笔交易

当添加第2个交易时，根部的叶节点(LeafNode)将变成一个分支节点(BranchNode)，有两个分支指向2个叶节点(LeafNode)。左边的叶节点(LeafNode)持有剩余的nibbles-1，以及第2个交易的值。

而现在根节点正指向新的分支节点(BranchNode)。

添加第三笔交易

动态 | Jimmy Song和Joseph Lubin就以太坊未来打超过50万美元:据coindesk报道，今日在CoinDesk 2019纽约共识大会上，Jimmy Song和以太坊联合创始人Joseph Lubin终于就以太坊未来发展的打达成了一致。如果以太坊在四年后发展更好，Song将支付Lubin（或他的受益人）810.8 ETH。如果DApp经济到时有所下滑，Lubin将支付Song 69.74 BTC。Lubin若想获胜，以太坊需要拥有15个独特的DApp，这些DApp需在任何六个日历月中每日活跃用户数达到10,000，在任何12个日历月（包括2023年5月23日）中每月活跃用户数达到100,000。两人在2018年5月14日首次打时，BTC交易价格为8577美元。因此，Lubin实际上根据当时的价格下注了598190美元。按今天的价格计算，这是564307美元。[2019/5/15]

添加第3个交易将使左侧的叶节点(LeafNode)变成一个分支节点(BranchNode)，与添加第2个交易的过程类似。虽然根节点没有改变，但它的根哈希值已经改变了，因为它的0分支指向了不同的节点，有不同的哈希值。

添加第四笔交易

添加最后一个交易与添加第三个交易类似。现在我们可以验证根哈希值是否与区块中包含的transactionRoot相同。

获得第三笔交易的默克尔证明

第3笔交易的Merkle证明只是通往存储第3笔交易值的叶节点(LeafNode)的路径。在验证证明时，可以从根哈希值开始，解码Node，匹配nibbles，然后重复，直到找到匹配所有剩余nibbles的Node。如果找到了，那么这个值就是与密钥配对的那个值；如果没有找到，那么Merkle证明就无效了。

动态 | 瑞士食品制造商将使用以太坊区块链来追踪食品生产过程:据coincryptorama消息，成立于1923年的瑞士食品制造商Gustav Gerig将采用以太坊分布式分类帐技术用于食品生产过程。在11月28日星期三的新闻发布会上，该公司宣布与全球金鱼营销公司Pacifical C.V.合作。[2018/11/30]

更新trie的规则

在上面的例子中，我们已经建立了一个有3种类型节点的trie。空节点、叶节点和分支节点。然而，我们没有机会使用扩展节点(ExtensionNode)。请找到其他使用ExtensionNode的测试案例。

一般来说，该规则是：

当停在一个空节点时，用一个新的叶子节点替换它的剩余路径。

当停在一个叶节点(LeafNode)时，将其转换为一个ExtensionNode并添加一个新的分支和一个新的叶节点(LeafNode)。

当停在一个扩展节点时，将其转换为另一个具有较短路径的扩展节点，并创建一个新的分支节点指向该扩展节点。

有相当多的细节，如果你有兴趣，你可以阅读源代码。

摘要

MerklePatriciaTrie是一个存储键值对的数据结构，就像一个地图。除此之外，它还允许我们验证数据的完整性和键值对的包容性。

本翻译由CellNetwork赞助支持。

来源：https://medium.com/@chiqing/merkle-patricia-tri-explained-ae3ac6a7e123

参考资料

登链翻译计划:https://github.com/lbc-team/Pioneer

aisiji:https://learnblockchain.cn/people/3291

Tiny熊:https://learnblockchain.cn/people/15

代码库:https://github.com/zhangchiqing/merkle-patricia-trie

代码库:https://github.com/zhangchiqing/merkle-patricia-trie

主网10467135区块:https://etherscan.io/block/10467135

transactions.json:https://github.com/zhangchiqing/merkle-patricia-trie/blob/master/transactions.json

10593417:https://etherscan.io/block/10593417

Block10593417:https://etherscan.io/block/10593417

0xab41f886be23cd786d8a69a72b0f988ea72e0b2e03970d0798f5e03763a442cc:https://api.etherscan.io/api?module=proxy&action;=eth_getBlockByNumber&tag;=0xa1a489&boolean;=true&apikey;=YourApiKeyToken

源代码:https://github.com/zhangchiqing/merkle-patricia-trie/blob/master/trie.go#L62

CellNetwork:https://www.cellnetwork.io/?utm_souce=learnblockchain

免责声明：作为区块链信息平台，本站所发布文章仅代表作者个人观点，与链闻ChainNews立场无关。文章内的信息、意见等均仅供参考，并非作为或被视为实际投资建议。

本文来源于非小号媒体平台：

登链社区

现已在非小号资讯平台发布105篇作品，

非小号开放平台欢迎币圈作者入驻

入驻指南：

/apply_guide/

本文网址：

/news/10117827.html

免责声明：

1.资讯内容不构成投资建议，投资者应独立决策并自行承担风险

2.本文版权归属原作所有，仅代表作者本人观点，不代表非小号的观点或立场

上一篇：

简析三个典型DAO模型，揭示DAO社区的运作机制

标签：TRIIONODERANMetrix CoinmationchainDECODETRANSPARENT币

USDC热门资讯