以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

MPT:在以太坊上安裝 “炸彈”

Author:

Time:1900/1/1 0:00:00

本文是講解我在 go-ethereum(Geth)客戶端中發現的 Bug 系列的第二篇。如果你還不了解它,請看第一篇(中文譯本)。

這篇文章要講的 bug 位于 Geth 客戶端的狀態下載器內,它可以用來欺騙下載器,使之不能與主網正確同步。攻擊者可以利用這個 bug 給以太坊區塊鏈設置陷阱、任意觸發硬分叉。

當你想運行一個以太坊節點的時候,首先必須同步上整個網絡,即,下載和計算構建最新區塊時刻的區塊鏈狀態所需的所有數據。根據用戶自身的需要,同步方式可以在安全性和速度之間有所取舍,所以(在撰文之時) Geth 支持兩種同步模式:完全同步和快速同步。

顧名思義,完全同步就是獨立地執行完對以太坊區塊鏈的整個同步過程。這就意味著,你的 Geth 節點會下載和驗證每個區塊的工作量證明(PoW),此外,它還會計算區塊內的每一條事務;由此,節點可以在本地生成區塊鏈的最新狀態,而無需信任其它節點。這種模式更安全,但速度上有很大犧牲。Geth 的完全同步可能要花幾天乃至幾周不等的時間。

但是,有些用戶可能不想等上幾周。也許他們的時間很緊,又或者,他們并不覺得這種犧牲是值得的。因此,Geth 提供了一個模式:在近期的某個區塊(稱為 “pivot 區塊”)之前的所有鏈數據,都用更快的方法來同步,只有 pivot 區塊之后的區塊鏈,才使用更慢的完全同步算法。在快速同步模式中,Geth 會下載區塊,但僅隨機選取一些區塊來驗證工作量證明,而不是每個區塊都驗證;而且,它也將不再自己執行事務,而是從網絡中的其它節點處直接下載狀態樹,以此獲得最終的區塊鏈狀態。

Solana新用戶在以太坊和比特幣網絡交易費上漲后達一年新高:金色財經報道,根據The Block的數據,Solana每日新增地址的平均數量激增至近一年來的最高水平。Layer 1網絡新地址的七天移動平均值在周一達到304,640個,是2022年6月以來的最高數字。數據顯示,5月上半月增加的新地址已經超過了4月整個月的協議。上周以太坊和比特幣網絡的交易費用都達到3個月的高點,因此出現了這種激增。

與此同時,在比特幣網絡上發送或接收資金的活躍地址的數量,已經下降到2021年7月以來的最低水平。[2023/5/17 15:07:13]

當然,Geth 也不會盲目相信其他節點發回的狀態樹數據,因為一個惡意的節點也可以聲稱某個賬戶只有一點點錢(但實際有很多)。要理解 Geth 如何能辨別收到的數據正確與否,我們先要理解默克爾帕特里夏樹(Merkle-Patricia trie)。

默克爾帕特里夏樹(MPT)是 Geth 客戶端中的一種關鍵數據結構,它是默克爾樹和帕特里夏樹兩者的結合。

簡而言之,帕特里夏樹會基于數據的前綴將數據存到一個樹狀結構中。相較于其它技術(如哈希表,hashmap)來說,帕特里夏樹本身非常適合存儲相似的數據,盡管在速度上可能有所犧牲。下面來看看,多個以 r 開頭的單詞是如何存到一棵帕特里夏樹里的。

接著來說說默克爾樹。在一棵默克爾樹上,每個葉節點是數據的哈希值,每個非葉節點是它的兩個子節點的哈希值。如果用戶知道了默克爾樹的默克爾根(即,頂端哈希值),并且想要確認某個數據是否存儲在這棵樹里,他只需要用到這棵樹上的一條路徑,這條路徑所涉及的節點數量只跟葉節點數量的對數(注意不是葉節點數量)成正比。如下圖所示,假設用戶要證明 L2 存儲在這棵樹里,他只需提供 Hash 0-0 和 Hash 1。接著,驗證者生成 Hash 0-1、Hash 0 和 Top Hash,再將 Top Hash 與其所預期的默克爾根進行比較。

Tokensoft已在以太坊和Avalanche上部署Tokensoft V2:7月12日消息,代幣銷售平臺Tokensoft已在以太坊和Avalanche上部署了Tokensoft V2,用戶數達13637名。同時它希望今年年底前在十條鏈上實現部署,目前已經獲得Avalanche和Polygon等區塊鏈的初步授權批準。(CoinDesk)[2022/7/12 2:07:02]

默克爾帕特里夏樹將帕特里夏樹基于前綴的存儲結構與默克爾樹相結合,創造出了一種新的數據結構,不僅支持密碼學驗證方式,而且還能保持良好的運行時性能。

在默克爾帕特里夏樹中,鍵和值都是任意的字節串。要想獲得一個鍵的值,我們首先要將這個鍵轉換成一個十六進制字符序列,即,將每個字節變成兩個十六進制字符。然后,我們要先根據序列中的第一個字符,向根節點查詢下一個節點是什么;得到此子節點后,再根據第二個字符向下查詢節點,依次類推,直至找到最后一個節點,獲得最后一個字符。

在下面這個例子中,我們可以看到默克爾帕特里夏樹實際上包含三種不同的節點。擴展節點(在 Geth 代碼庫中又被稱為短節點)是經過優化的,負責存儲一連串字符。在下圖所示案例中,根節點存儲了所有以 a7 開頭的鍵,無需使用兩個不同的節點來代表 a 和 7。分支節點(或稱 “完整節點”)包含每個可能字符的指針以及一個額外的空檔來存儲當前節點的值。最后,葉節點(又稱值節點)的 key-end 字段必然與其所存儲的 key 的后綴相匹配 1 。

Pax Treasury在以太坊網絡銷毀超628萬枚PAX:金色財經報道,Whale Alert數據顯示,北京時間12月12日03:11,Pax Treasury在以太坊網絡上銷毀6,284,855枚PAX,銷毀哈希為:0x31463be2bb0f65a05e7c2e2cb517100ee33fd01861d43d7834c1d1206a9de037。[2020/12/12 14:58:55]

既然我們已經知道默克爾帕特里夏樹是如何運作的了,我們可以開始探究什么是全局狀態樹。

區塊鏈的絕大部分數據都存儲在全局狀態樹中。雖然將狀態樹作為獨一無二的實體包含在每個區塊內這個設想看似便利,但實際上每個區塊都要復制完整的狀態樹是極其低效的,因為每個區塊之間的狀態樹只有細微差別。Geth 采用了不同的方案。你可以想象一下,Geth 維護了一個 MPT 節點池。每個區塊的狀態樹只是整個池的子集。每當有新的區塊被挖出或導入,就會有新的 MPT 節點被添加到池中。

要想識別節點池中的根節點,我們必須查詢區塊頭。每個區塊都包含一個指向 stateRoot 的字段,該字段指向 MPT 的根節點(而該 MPT存儲以賬戶地址 ?2 作為鍵的賬戶數據)。這樣一來,Geth 就可以使用我們上文描述的算法查詢賬戶信息,如任意地址的 nonce 或余額。

Tether在以太坊網絡增發1.2億枚USDT(已授權未發行):金色財經報道,Whale Alert數據顯示,北京時間08月15日01:43,Tether在以太坊網絡增發1.2億枚USDT,交易哈希為:86a141ff8b5ce1532e0b50f5e4dcefceea0acfde330fd5ec464cf9c2ff26e0fe。對此,Bitfinex首席技術官Paolo Ardoino表示,以太坊網絡補充了1.2億枚USDT的庫存。請注意,這是一筆已授權但未發行的交易,這意味著該金額將用作下一次發行請求的庫存。[2020/8/15]

請注意,如果是合約的話,賬戶狀態將包含一個非空的 storageRoot 字段和 codeHash 字段。storageRoot 字段指向另一個根節點。但是,此時所涉及的 MPT 的用途是存儲該合約的存儲項數據;該 MPT 會將存儲空檔(storage slot)作為鍵,將原始數據作為值。

為了將 MPT 存儲在磁盤上,Geth 選擇使用 LevelDB 作為數據庫。然而,LevelDB 是只支持字符串到字符串映射的鍵值數據庫,MPT 不是字符串到字符串映射。為了解決這個問題,Geth 將每個節點編寫成鍵值對,從而實現全局狀態樹的扁平化:將節點的哈希值作為鍵,將序列化的節點作為值。這樣一來,Geth 就能查詢任意區塊的狀態樹,因為區塊頭中的 stateRoot 字段就是鍵,可以用來查找 LevelDB 中的序列化 MPT 節點(譯者注:即一棵 MPT 的根節點)。

2000萬枚USDC在以太坊鏈上轉移,價值2000萬美元:Whale Alert監測數據顯示,北京時間3月14日10:00,以太坊鏈上2000萬枚USDC從USDC Treasury(0x55fe002開頭地址)轉入0x28c5b0開頭地址,按當前價格計算,價值約2000萬美元,交易哈希為:0x4969f81659811e4c3b7fce7960340c1d3ad3afcd6208214fc08ae1b23d75154e。[2020/3/14]

因此,假設你啟動了一個 Geth 節點,并使用快速同步模式連接到網絡。Geth 將快速下載所有區塊數據,但是不執行任何事務。不久之后,你將得到一個沒有狀態信息的區塊鏈。此時,Geth 通過狀態下載器從 pivot 區塊的 stateRoot 開始進行同步。

狀態下載器會向對等節點請求與 MPT 節點鍵對應的 MPT 節點數據。收到結果后,狀態下載器會對節點數據進行哈希計算,驗證得到的哈希值是否與節點鍵相同。如果相同,狀態下載器就知道這個 MPT 節點是正確的,然后就會發送更多請求,請求該 MPT 節點的每個子節點。

如果遇到葉節點(包含序列化的賬戶狀態),賬戶的代碼和狀態樹將排隊等待被獲取。

請注意同步子樹和原始條目之間的區別。雖然二者都下載任意的數據塊,但是如果同步器預期要同步的是原始樹,它會將該數據解析為樹節點,并開始同步其子節點。另一方面,如果同步器預期要同步的是原始條目,它會將數據塊寫入數據庫并終止。

另外還要注意的是,Geth 想要多次向同一個節點發送請求的情況并不少見。例如,如果兩個合約存儲相同的數據,那它們的 stateRoot 可能相同,也有可能出現兩個賬戶擁有同樣的賬戶狀態。在這些情況下,Geth 不想讓網絡充斥這些請求,因此會將它們合并。

然而,同步器不會合并請求的 raw 屬性。這意味著,如果已經有了一個未決的原始條目請求,但是同步器又安排了一個具有相同哈希值的子樹請求,后者將被合并,最終結果還是只有一個原始條目請求。

請記住,原始條目請求不會為了同步子節點而處理節點(不像子樹請求)。這意味著,如果我們能以某種方式在原始條目和子樹節點之間引發沖突,我們就能讓 Geth 同步一個不完整的狀態樹。另外,遇到一個本地不存在的樹節點時,Geth 不會退出(報錯),這等于是假設,如果下載器報告同步成功,這種(本地缺失狀態數據的)情況就不會發生。這就意味著,缺少一個樹節點的 Geth 節點在行為上與其它完全同步樹的節點截然不同。

那么,如何引發沖突呢?事實證明非常簡單:我們只需用我們控制的某個合約的序列化狀態根部署另一個合約,因此該合約代碼的哈希值必定與(我們所控制的合約的)狀態根哈希值相同,這就意味著如果合約代碼先同步,另一個合約的狀態樹不會被全部下載下來。

如果有人利用這個漏洞作惡,需完成要多個步驟并等待很長時間。

首先,我們部署一個合約(我們會利用漏洞將這個合約的狀態樹覆蓋掉)。這個合約應該有一個獨一無二的 stateRoot,從而避免與這個 stateRoot 相關的 MPT 節點提前同步。

現在我們就大功告成了。當新的 Geth 節點使用快速同步加入網絡時,它們會先請求 Exploit 合約,同步其狀態子樹及代碼。當 Exploit 合約的代碼被同步時,它會創建一個看起來與 Discrepancy 的狀態根請求完全相同的原始條目請求,但它不會被當作子樹請求處理。這意味著,該節點永遠不會下載 Discrepancy 的狀態 trie,因此未來讀取 magic 的請求將返回 0 而非 1。

經過足夠長的時間后,我們要做的就是調用 Hardfork.hardfork(discrepancy)。每個正確同步整個網絡的節點都會看到一個回滾交易,而每個使用快速同步加入網絡的 Geth 節點都會看到一個成功的交易。這將導致一個區塊產生兩個不同的狀態根,也就是說我們可以隨心所欲地觸發鏈分裂。

Geth 團隊通過處理 PR #21039 中的樹讀取錯誤快速解決了該攻擊,然后通過區分 PR #21080 中的代碼部分和樹部分完全修復了這個漏洞。

這是一個非常有趣的漏洞,它可以讓攻擊者在以太坊網絡上設置一個 “炸彈”,并隨時引爆,從而導致所有使用快速同步的 Geth 節點從主網中分叉。這個陷阱利用的是 Geth 的同步和數據存儲代碼中極其復雜的邏輯,這或許是它很長時間來都沒有引起人們注意的原因。

敬請期待本系列的第三篇也是最后一篇文章。在這篇文章中,我們將探索 Geth 客戶端的最新 bug,具體細節不便透露。

從技術層面來說,Geth 中的值節點不包含后綴。你可以將其理解成一個后面跟著值節點(只包含原始數據)的擴展節點。

實際上,Geth 使用的是 “安全的 trie”,即,通過 SHA-3 算法對所有鍵進行哈希計算,從而確保所有鍵都是固定長度。

原文鏈接: https://samczsun.com/booby-trapping-the-ethereum-blockchain/

作者: samczsun

翻譯&校對: 閔敏 & 阿劍

Tags:ETHGETGETHMPTETH價格HedgeTradetogetherbnb幾個女主Pumptopia

萊特幣價格
以太坊:從四個維度重新認識以太坊

以太坊是近期加密市場最關注的話題,EIP 1559 和 ETH 2.0使得以太坊的敘事即將迎來根本性轉折.

1900/1/1 0:00:00
數字資產:三談比特幣:數字資產交易的銀行頭寸問題

在人民幣頭寸退出后,比特幣等加密資產交易價格走勢的看多看空,一是看監管風險,二是看市場反應。關鍵是美元頭寸的常備量.

1900/1/1 0:00:00
SEC:比特幣突然跳水下破34000美元 疑與美國司法部和特朗普有關

受MicroStrategy將發行4億美元債券以購買更多比特幣的消息影響,比特幣周一(6月7日)日內曾逆轉周末頹勢小幅走高,然而北京時間周二(6月8日)凌晨05:15左右,比特幣突然跳水.

1900/1/1 0:00:00
比特幣:?論現行規則下虛擬貨幣的法律地位轉變

隨著區塊鏈技術的發展,虛擬貨幣也引起了廣泛討論,尤其是近期以狗狗幣、SHIB為代表幣種價格的劇烈波動再次把虛擬貨幣推向了風口浪尖。作為區塊鏈技術的主要應用之一,虛擬貨幣的法律地位不盡相同.

1900/1/1 0:00:00
Swarm:技術周刊|Kusama已上線第1條公益平行鏈Statemine

本周技術周刊包含以太坊、Kusama、Filecoin、zkSync、Swarm五個網絡的技術類新聞.

1900/1/1 0:00:00
LAR:金色觀察丨一文讀懂什么是完全圖靈完備協議

金色財經 區塊鏈6月1日訊? 目前,存在于公共區塊鏈中的75%的市值無法以可靠的方式在智能合約中使用,這對整個行業的構建是至關重要的.

1900/1/1 0:00:00
ads