拆解以太坊狀態（State）問題：一個鮮為人知的嚴重威脅_ETH

以太坊基金會今日發文披露了一個2019年首次發現的安全漏洞，在上個月的柏林升級之前，該漏洞的嚴重程度為發生攻擊時可能使主網癱瘓。該漏洞的本質是觸發隨機Trie查詢，以太坊開發人員曾試圖用EIP-1884、EIP-2583、EIP-2929、以及快照功能來抵御該漏洞，最終在柏林升級之后該漏洞危險性降低。通過此博客文章，目的是正式披露以太坊平臺所面臨的一個嚴重威脅。在以太坊柏林硬分叉之前，這個威脅是切實存在的。

狀態

讓我們從以太坊和狀態的背景知識開始。

以太坊狀態由一種patricia-merkletrie組成。這篇文章將不做過多的詳細介紹，隨著狀態的增長，這個樹上的樹枝變得越來越密。添加的每個帳戶都是一片葉子。在樹的根和葉本身之間，有許多“中間”節點。

為了在這棵巨大的樹中查找給定的帳戶或“葉子”，需要從根到中間節點來解析大約6-9個哈希的某個位置，以最終解析最后一個哈希hash，該哈希會指向我們正在尋找的數據。

簡而言之：每執行一次Trie查找來查找帳戶，就會執行8-9個解析操作。每個解析操作都是一次數據庫查找，并且每詞數據庫查找可以是任意數量的真實磁盤操作。磁盤操作的次數很難估計，但是由于trie密鑰是加密哈希，因此密鑰是“隨機的”，這對任何數據庫來說都是最糟糕的情況。

韓國最高檢察院舉辦\"監管虛擬資產的法律挑戰\"刑法研討會:金色財經報道，韓國最高人民檢察院8日以\"監管虛擬資產的法律挑戰\"為主題舉辦了第三屆刑法研討會，邀請刑法學者和相關機構官員參加。此次研討會旨在結合近期頒布的《虛擬資產用戶保護法》和首爾南部地方檢察廳虛擬資產犯罪聯合調查組的啟動，討論相關刑事法律問題。

討論中還介紹了一些補充立法，如反映虛擬資產特點的民事執行法案，以及為有效扣押、沒收和保全虛擬資產而引入的系統等。[2023/9/8 13:26:58]

隨著以太坊的增長，有必要提高訪問trie的操作的gas價格。這是在2016年10月區塊高度2,463,000的TangerineWhistle中執行的，其中包括EIP150。EIP150在所謂的“上海攻擊”之后大幅提高了某些操作的gas成本，并進行了一系列更改以防止DoS攻擊。

另一項gas提升同樣在伊斯坦布爾升級中被執行，即2019年12月區塊高度9,069,000。在這次升級中，EIP1884被激活。

EIP1884引入了以下操作成本更改：

SLOAD從200提升到800gas，

BALANCE從400提升到700gas，

EXTCODEHASH從400提升到700gas。

諾獎得主：特斯拉的股票“就像比特幣一樣”，估值全靠炒作和信仰支撐:金色財經報道，諾貝爾經濟學獎得主保羅·克魯格曼在他的專欄中“炮轟”馬斯克和特斯拉，認為特斯拉的股票“就像比特幣一樣”，估值全靠炒作和信仰支撐，除此之外并沒有多少重大的意義。

克魯格曼認為，特斯拉沒有受益于強大的網絡外部性（用戶越多，用戶得到的效用就越多），這一點使其遠不能與蘋果、微軟這些長期盈利的公司相比。在克魯格曼看來，蘋果擁有一個由設備、應用程序和服務組成的生態系統，用戶很難離開，而微軟的Word和Excel仍然是企業的默認選擇，因為它們是用戶最熟悉的，也是行業標準。相比之下，特斯拉在電動汽車領域不僅面臨著來自通用汽車和福特等傳統汽車制造商日益激烈的競爭，而且電動汽車并不是一個擁有顯著網絡外部性的業務。

克魯格曼還指出，特斯拉的受歡迎很大程度上源于人們對馬斯克“是一個很酷的人”的印象，但這一形象在他收購推特后的一系列事件后已經開始消退。[2022/12/29 22:14:52]

問題

2019年3月，MartinSwende對EVM操作碼性能進行了一些測量。這次調查之后促成創建了EIP-1884。在EIP-1884上線之前的幾個月，《BrokenMeter》論文正式發表。

兩位以太坊安全研究人員與該論文的一位作者DanielPerez合作“武器化”了一個漏洞，他們將漏洞提交給了以太坊賞金計劃。這是在2019年10月4日。

福布斯：審計機構Armanino或將停止為加密貨幣客戶服務:金色財經報道，據福布斯援引消息人士報道，審計機構Armanino正在結束其加密審計業務并放棄相關領域客戶。消息人士透露，針對加密客戶的審計服務業務可能會在 Armanino 的非加密客戶的壓力下關停，其它領域客戶擔心公司聲譽受損而使其審計結果受到質疑。今年 11 月，Armanino 就因未能在 FTX.US 2021 年執行交易平臺審計時發現違規行為而在集體訴訟中被點名。

據悉，Armanino 于 2014 年開始為加密行業提供支持，其行業內客戶包括Gate.io、OKX、Kraken 以及 Nexo 等。[2022/12/16 21:49:22]

我們建議您完整閱讀那次提交的內容，這是一份精心撰寫的報告。

在專門用于討論跨客戶端安全性的頻道上，當天，來自Geth，Parity和Aleth的開發人員被告知了有關提交的信息。

該漏洞的本質是觸發隨機trie查詢。一個非常簡單的變體是：

在他們的報告中，研究人員通過eth_call對同步到主網的節點執行了此有效負載，這些是在使用10Mgas時執行的數量：

使用EXTCODEHASH?發動10Mgas攻擊

Uniswap宣布正式上線NFT聚合服務:金色財經報道，據官方消息，Uniswap宣布正式上線NFT聚合服務。據悉，UniswapNFT聚合器將為用戶提供更好的價格、更快的索引，以及更安全的智能合約，在發布初期，Uniswap將支持OpenSea、X2Y2、LooksRare、Sudoswap、LarvaLabs、Foundation、NFT20和NFTX。

此外，Uniswap表示正在向某些Genie歷史用戶空投約500萬USDC，以表達其對長期Genie用戶的感謝，具體空投規則將根據2022年4月15日00:00 UTC拍攝的快照進行，用戶可在未來12個月內在app.uniswap.org上申領空投。[2022/12/1 21:13:44]

Parity:?~90s

Geth:?~70s

使用EXTCODESIZE?發動10Mgas攻擊

Parity:?~50s

Geth:?~38s

顯而易見，EIP1884引入的更改確實在降低攻擊方面產生了影響，但遠遠不夠。

在大阪Devcon大會之前確實如此。在Devcon期間，主網客戶端開發人員之間共享了該問題的知識。我們還與Hubert和Mathias以及GregMarkou進行了會面。ETC開發人員也收到了這份報告。

KILT Protocol將從Kusama中繼鏈遷移到Polkadot中繼鏈:8月16日消息，Kusama 生態身份協議 KILT Protocol 主要開發商BOTLabs GmbH宣布計劃將KILT區塊鏈從Kusama中繼鏈遷移到Polkadot中繼鏈，所有 KILT代幣余額將自動遷移到新Polkadot平行鏈上。上周，BOTLabs GmbH贏得第24次Polkadot平行鏈插槽拍賣。

BOTLabs將于9月中旬發起遷移治理提案，若獲得批準，將在 10 月初實施遷移。KILT 是一種區塊鏈身份協議，用于發布自主、匿名、可驗證的憑證和去中心化標識符（DID）。[2022/8/16 12:29:22]

隨著2019年臨近尾聲，我們知道我們遇到的問題比我們之前預期的要大，惡意交易可能導致區塊時間間隔增加到分鐘級。更糟的是，開發人員已經對EIP-1884感到不滿意，因為EIP-1884中斷了某些合約程序，而用戶和礦工們都為提高gas限制而著急。

此外，僅兩個月后的2019年12月，ParityEthereum宣布退出以太坊工作，而OpenEthereum接管了代碼庫的維護工作。

之后一個新的客戶端協調頻道被創建，在該頻道中，Geth，Nethermind，OpenEthereum和Besu開發人員繼續進行協調。

解決方案

我們意識到，我們必須采取兩種方法來解決這些問題。一種方法是使用以太坊協議，并以某種方式在協議層解決該問題。最好不要違反合約，最好不要懲罰“良好”行為，但仍要設法防止攻擊。

第二種方法是通過軟件工程，通過更改客戶端中的數據模型和結構。

協議層工作

如何處理這些類型的攻擊的第一個迭代升級可以在這里查看。2020年2月，該解決方案以EIP2583的形式正式發布。其背后的想法是，每當一次Trie查找導致遺漏時，簡單地增加一個罰款。

但是，Peter為這個想法找到了一種解決方法——“屏蔽中繼”攻擊——將這種懲罰的有效范圍設定一個上限。

對于miss所導致的罰款的問題在于，首先需要進行查找，以確定必須施加罰款。但是，如果剩余的gas不足以進行罰款，則表明已執行了未付費用。即使確實導致拋出異常，也可以將這些狀態讀取包裝到嵌套調用中。允許外部調用者繼續重復攻擊而無需支付罰款。

因此，這個EIP被棄置，而我們正在尋找更好的替代方案。

阿列克謝·阿克胡諾夫探索了Oil的概念，它是“gas”的第二種來源，但與gas本質上不同，因為執行層看不到它，并可能導致交易全局還原。

Martin在2020年5月提出了一個類似提案，關于Karma的。

在迭代這些計劃時，VitalikButerin建議僅增加gas成本，并維持訪問名單。2020年8月，Martin和Vitalik開始迭代，也就是后來的EIP-2929及EIP-2930。

EIP-2929有效地解決了許多以前的問題。

與EIP-1884相反，它僅針對尚未訪問的內容增加成本。這導致凈成本僅增加了不足百分之一。

此外，它與EIP-2930一樣，不會破壞任何合約流

而且，可以通過提高gas成本來進一步調整它。

2021年4月15日，它們都隨著柏林升級而上線。

開發工作

2019年10月，Peter嘗試解決此問題的方法是進行動態狀態快照。

快照是一種二級數據結構，用于以平面格式存儲以太坊狀態，在Geth節點的實時運行期間，可以完全在線構建。

照的好處在于，它充當狀態訪問的一種加速結構：

快照無需提供O磁盤讀取來訪問帳戶/存儲插槽，而是可以提供直接的O訪問時間。

快照支持每項條目O復雜度的帳戶和存儲迭代，這使遠程節點可以比以前便宜得多地檢索順序狀態數據。

快照的存在還實現了更多奇特的用例，例如離線修剪狀態Trie或遷移到其他數據格式。

快照的缺點是原始帳戶和存儲數據實際上是重復的。對于主網，這意味著要使用額外的25GBSSD空間。

動態快照的想法已經在2019年中期開始，主要目的是成為snap同步的推動者。當時，Geth團隊正在開展許多“大項目”。

離線狀態修剪

動態快照snap同步

通過分片狀態進行的LES狀態分布

但是，最后決定完全優先考慮快照，暫時將其他項目推遲。這些奠定了后來成為snap/1同步算法的基礎。于2020年3月合并到主網。

隨著“動態快照”功能的發布，我們有了一些喘息的空間。如果以太坊網絡受到攻擊，那將是痛苦的，是的，但是至少有可能通知用戶有關啟用快照的信息。整個快照生成將花費大量時間，并且尚無法同步快照，但是網絡至少可以繼續運行。

在2021年3月至4月，snap/1協議在geth中推出，從而可以使用基于快照的新算法進行同步。盡管仍然不是默認的同步模式，但這是使快照不僅可用作攻擊防護，而且對于用戶來說是一項重大改進。

在協議方面，柏林升級在2021年4月正式執行。

以下是在我們的AWS監控環境中制定的一些基準測試：

柏林升級前，無快照，25Mgas：14.3s

柏林升級前，有快照，25Mgas：1.5s

柏林升級后，無快照，25Mgas：~3.1s

柏林升級后，有快照，25Mgas：~0.3s

數字表示，柏林升級將攻擊的效率降低了5倍，快照將攻擊的效率降低了10倍，總共將攻擊影響降低了50倍。

我們估計，目前在主網上，在沒有快照的情況下，創建區塊可能需要2.5-3s在一個geth節點上執行。隨著狀態的增長，該數字將繼續惡化。

如果使用refund來增加一個區塊內的有效gas使用量，則可以進一步提高2x倍。使用EIP1559，區塊gas限制將具有更高的彈性，并允許在臨時爆發中再增加2倍。

至于實施這種攻擊的可行性；攻擊者購買一個完整的區塊所需的成本約為幾個ETH。

為什么現在披露這個威脅？

長期以來，這種威脅一直是“公開秘密”，實際上至少有一次被無意間地公開披露，并且在ACD電話會議中多次被提及，但沒有明確的細節。

由于柏林升級現在已經過去，并且默認情況下，geth節點正在使用快照，因此我們估計這個威脅的危險程度非常低，可以公開了，現在該對此前的開發者幕后工作進行全面披露。

至關重要的是，社區必須有機會了解對用戶體驗產生負面影響的變更背后的原因，例如增加gas成本和限制refund。

這篇文章是由馬丁·霍爾斯特·斯文德和彼得·西拉吉2021-04-23撰寫的。在2021-04-26與其他基于以太坊的項目共享，并在2021-05-18公開披露。

Tags：GASETH以太坊GETHVEGASYu-Gi-Eth!以太坊幣最新價格行情分析togetherbnb全部攻略

抹茶交易所