譯文出自:登鏈翻譯計劃
譯者: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。。
前Moonbirds COO:NFT基金121G已獲得超1.4萬枚以太坊的投資承諾:金色財經消息,前Moonbirds COORyan Carson在Twitter上表示,NFT基金121G已獲得超1.4萬枚以太坊(約4000萬美元)的投資承諾,并將于7月開始部署資金。[2022/5/4 2:49:27]
上述測試案例通過了,并且表明如果我們將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,我們實際上是以十六進制字符串的形式存儲以下鍵值對。
(80,f8ab81a5852e90edd00083012bc294a3bed4e1c75d00fa6f4e5e6922db7261b5e9acd280b844a9059cbb0000000000000000000000008bda8b9823b8490e8cf220dc7b91d97da1c54e250000000000000000000000000000000000000000000000056bc75e2d6310000026a06c89b57113cf7da8aed7911310e03d49be5e40de0bd73af4c9c54726c478691ba056223f039fab98d47c71f84190cf285ce8fc7d9181d6769387e5efd0a970e2e9)(01,f8ab81a6852e90edd00083012bc294a3bed4e1c75d00fa6f4e5e6922db7261b5e9acd280b844a9059cbb0000000000000000000000008bda8b9823b8490e8cf220dc7b91d97da1c54e250000000000000000000000000000000000000000000000056bc75e2d6310000026a0d77c66153a661ecc986611dffda129e14528435ed3fd244c3afb0d434e9fd1c1a05ab202908bf6cbc9f57c595e6ef3229bce80a15cdf67487873e57cc7f5ad7c8a)(02,f86d8229f185199c82cc008252089488e9a2d38e66057e18545ce03b3ae9ce4fc360538702ce7de1537c008025a096e7a1d9683b205f697b4073a3e2f0d0ad42e708f03e899c61ed6a894a7f916aa05da238fbb96d41a4b5ec0338c86cfcb627d0aa8e556f21528e62f31c32f7e672)(03,f86f826b2585199c82cc0083015f9094e955ede0a3dbf651e2891356ecd0509c1edb8d9c8801051fdc4efdc0008025a02190f26e70a82d7f66354a13cda79b6af1aa808db768a787aeb348d425d7d0b3a06a82bd0518bc9b69dc551e20d772a1b06222edfc5d39b6973e4f4dc46ed8b196)
機構分析:以太坊期貨表現將優于比特幣:加密貨幣在5月份的劇烈波動之后正在平靜下來,這將使以太坊期貨的表現超過比特幣合約。雖然兩者都從上個月的低點反彈,但持倉量的相對變化有利于以太坊。比特幣未平倉合約的飆升與價格的下跌同時發生,這表明新的空頭正在增加。相比之下,以太坊期貨的信號則較為中性。相對能源消耗已經成為比特幣的一個負面話題,比特幣在加密貨幣總市值中所占份額的大幅下降反映了這一點。(金十)[2021/6/2 23:04:26]
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個交易的值。
Darwinia PC2在Rococo-V1中成功中繼以太坊Ropsten網絡區塊頭:據官方消息,Darwinia PC2在Rococo-V1中成功中繼以太坊Ropsten網絡區塊頭,標志著以太坊和波卡生態實現了通過達爾文網絡,波卡生態橋中心,實現了連通的第一步。Rococo-V1中首筆異構鏈間跨鏈轉賬在Darwinia PC2上完成,波卡的測試網Rococo和以太坊測試網Ropsten網絡實現了跨鏈轉賬,標志著波卡主網未來將可以通過達爾文實現與以太坊完成異構鏈跨鏈轉賬。[2021/4/1 19:35:31]
而現在根節點正指向新的分支節點(BranchNode)。
添加第三筆交易
添加第3個交易將使左側的葉節點(LeafNode)變成一個分支節點(BranchNode),與添加第2個交易的過程類似。雖然根節點沒有改變,但它的根哈希值已經改變了,因為它的0分支指向了不同的節點,有不同的哈希值。
添加第四筆交易
添加最后一個交易與添加第三個交易類似。現在我們可以驗證根哈希值是否與區塊中包含的transactionRoot相同。
獲得第三筆交易的默克爾證明
第3筆交易的Merkle證明只是通往存儲第3筆交易值的葉節點(LeafNode)的路徑。在驗證證明時,可以從根哈希值開始,解碼Node,匹配nibbles,然后重復,直到找到匹配所有剩余nibbles的Node。如果找到了,那么這個值就是與密鑰配對的那個值;如果沒有找到,那么Merkle證明就無效了。
更新trie的規則
在上面的例子中,我們已經建立了一個有3種類型節點的trie。空節點、葉節點和分支節點。然而,我們沒有機會使用擴展節點(ExtensionNode)。請找到其他使用ExtensionNode的測試案例。
加密分析師:比特幣、以太坊和山寨幣都將在未來一個月大幅上漲:加密分析師Nicholas Merten表示,未來一個月左右,比特幣和以太坊將會大幅上漲。他稱,“我認為您將看到比特幣價格高于10,000美元,也將看到以太坊價格高于300美元,并且在這種情況下,您將看到大量的山寨幣在在8月份持續不斷的產生兩位數的回報。”(The Daily Hodl)[2020/7/14]
一般來說,該規則是:
當停在一個空節點時,用一個新的葉子節點替換它的剩余路徑。
當停在一個葉節點(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
紐約再現加密貨幣犯罪大案 價值180萬美元以太坊被盜:紐約地方檢察官辦公室對一名男子提起武裝搶劫和綁架指控:嫌疑人涉嫌盜竊超過180萬美元的以太坊加密貨幣。據檢察官表示:Meza認識受害者,知道受害者有以太坊財產,并在會議結束之后,為他們安排了一輛車。在起訴書中提及:一名與該起犯罪相關的人藏匿在車輛中,持槍威脅受害者,要求他們交出手機、錢包、鑰匙等。據檢察官辦公室說:隨后,Meza去了受害者的公寓,并偷走了他們所有的以太坊。[2017/12/14]
代碼庫: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社區的運作機制
尊敬的用戶: 錢包升級已完成,WBF交易所已恢復KSM、DOT、FIS的充提功能,暫停期間給您帶來的不便.
1900/1/1 0:00:00據News.bitcoin6月29日消息,根據Mybroadband的一份報告,南非政府間金融科技工作組(IFWG)最近發布的常見問題文件中包含了對南非外匯管制的新解釋.
1900/1/1 0:00:00最近fil的幣價引發了各界的熱議,很多投資者和曠工都很關注fil價格什么時候會迎來上行,根據最新的成交數據,fil依舊牢牢穩居全球前十.
1900/1/1 0:00:00每周交易領取空投! 作者AAXManager本周已更新如果您正在閱讀此文章,您將有機會參與活動并獲得每周空投!如您的賬戶AAB持幣達到一定數量.
1900/1/1 0:00:006月29日凌晨,美聯儲監管副主席RandalK.Quarles發表了一篇主題為「降落傘褲和央行數字貨幣」的演講.
1900/1/1 0:00:00鏈聞消息,北京樂酷達網絡科技有限公司宣布決議解散,清算組負責人與成員均為法人徐明星,登記機關為北京市海淀區市場監督管理局.
1900/1/1 0:00:00