比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > TRX > Info

GAS:拆解以太坊狀態(State)問題:一個鮮為人知的嚴重威脅_以太坊硬幣交易所交易時間

Author:

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

以太坊基金會今日發文披露了一個2019年首次發現的安全漏洞,在上個月的柏林升級之前,該漏洞的嚴重程度為發生攻擊時可能使主網癱瘓。該漏洞的本質是觸發隨機Trie查詢,以太坊開發人員曾試圖用EIP-1884、EIP-2583、EIP-2929、以及快照功能來抵御該漏洞,最終在柏林升級之后該漏洞危險性降低。

通過此博客文章,目的是正式披露以太坊平臺所面臨的一個嚴重威脅。在以太坊柏林硬分叉之前,這個威脅是切實存在的。

狀態

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

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

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

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

AGI跌破0.4美元,24小時跌超45%:金色財經報道,行情數據顯示,LSD 協議 Agility Token AGI 跌破 0.4 美元,現報價 0.3928 美元,24 小時跌超 45%,行情波動較大,請做好風險控制。此外,該 Token 頁面附有提醒:智能合約持有者可以制造新的 Token,請謹慎操作。[2023/4/20 14:16:21]

隨著以太坊的增長,有必要提高訪問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。

問題

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

以太坊側鏈Gnosis Chain集成Balancer:3月23日消息,以太坊側鏈Gnosis Chain的生態系統團隊Gnosis Builders宣布集成DeFi協議Balancer。這一集成為Gnosis Chain帶來了深度流動性,并將允許用戶使用Balancer App和DeFi收益率助推器Aura等應用程序部署資金。

GnosisDAO與Karpatkey合作推動了集成,并將成為流動性池的第一個采用者。(PR Web)[2023/3/23 13:20:26]

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

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

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

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

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

RTFKT&Clones加入耐克Web3生態系統平臺“.Swoosh”:金色財經報道,據加密時尚潮牌 RTFKT 在社交媒體宣布,RTFKT&Clones 已加入耐克最新推出的 Web3 生態系統平臺“.Swoosh”,Clone X 持有者現在可以通過 RTFKT 官網獲取唯一代碼來申領自己的“.Swoosh ID”,每個 Clone X 持有者/錢包有資格獲得 1 個代碼,目前已于美國東部時間 2023 年 2 月 3 日上午 9:10 完成錢包快照。[2023/2/8 11:53:59]

使用EXTCODEHASH?發動10Mgas攻擊

Parity:?~90s

Geth:?~70s

使用EXTCODESIZE?發動10Mgas攻擊

Parity:?~50s

Geth:?~38s

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

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

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

Fuse Capital推出5000萬美元專注于Web 3的新基金:金色財經報道,總部位于巴西的Fuse Capital已經開始募集Fuse Capital Fund II,其核心主題是投資拉美的下一代Web 3創業公司。該計劃是在他們的第一個基金成功投資區塊鏈和加密初創公司之后提出的,該基金的論文采用不可知論的方法。目標是籌集5000萬美元。

Fuse Capital Fund II將針對解決傳統世界問題的公司,這些問題仍然由web2主導,同時使用嵌入在Web 3框架中的技術,如區塊鏈、DeFi(去中心化金融)、穩定幣和NFTs。解決方案可以針對不同部門,從開放金融到衛生、基礎設施、電子商務和保險等。該基金的另一個差異將是其5年的期限,這是一個前提,被投資的公司在此期間發行代幣,允許從這些代幣的銷售中進行撤資。捐款金額約為100萬美元。(finextra)[2022/8/17 12:31:17]

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

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

解決方案

觀點:幫助監管機構理解區塊鏈和加密行業,將有助于降低監管風險:6月27日消息,Figment質押營銷總監Robert Ellison認為,由于區塊鏈和加密貨幣領域的復雜性,教育該領域的監管者,以減輕其在不了解基本知識的情況下走極端的風險是非常重要的。

當被問及監管框架是否是Staking成為主流的必要條件時,Ellison指出,制定一個Staking監管框架是非常可行的,然而監管機構并不優先考慮監管Staking行業。

根據其說法,借貸平臺和穩定幣目前是監管機構的優先事項。他指出,目前Staking不在其優先考慮的名單上,因為監管機構首先關注的是“公眾面臨的最大風險”。(Cointelegraph)[2022/6/27 1:34:26]

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

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

協議層工作

如何處理這些類型的攻擊的第一個迭代升級可以在這里查看。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以太坊GET0XGAS價格togetherbnb作弊碼以太坊硬幣交易所交易時間togetherbnb和娜娜雙人互動

TRX
比特幣:幣市恐慌肆虐 巨鯨趁勢掃貨?_比特幣錢包哪個最安全可靠

加密資產市場元氣大傷,7400多個幣種支撐出的2.2萬億美元市值,一周時間蒸發了7700億美元,主支撐比特幣的市值也從8530億美元下降至6784億美元.

1900/1/1 0:00:00
比特幣:觀點:Uniswap V3 LP 本質是在做空波動率_ETH

在當前市場高波動率階段,UniswapV3的流動提供者會面臨更大的風險。 概要: 筆者認為UniswapV3取名如果改成UniswapPRO或許會更合適,筆者觀點是V3不是V2的升級版本,而是一.

1900/1/1 0:00:00
加密貨幣:金融科技 大型科技公司與加密貨幣:新技術會讓銀行過時嗎?_DoveSwap Finance

我們正在走向一個與我們今天的貨幣體系根本不同的貨幣體系嗎?大型科技公司和加密貨幣會在幾年內擊敗銀行和國家貨幣嗎?挪威央行副行長IdaWoldenBache近期就這些問題發表了演講.

1900/1/1 0:00:00
區塊鏈:晚間必讀5篇 | 每隔7天共5次 波卡平行鏈插槽拍賣即將啟動_shelterDAO

1.金色觀察|每隔7天共5次波卡平行鏈插槽拍賣即將啟動?月18日,波卡先行網Kusama官方發文,已成功部署首個平行鏈Shell.

1900/1/1 0:00:00
比特幣:哈佛商業評論:比特幣挖礦并不是“碳中和”的絆腳石_OIN

譯者|Bite 特斯拉CEO埃隆馬斯克在社交媒體表示,因比特幣挖礦對化石燃料使用量增加的擔憂,公司已暫停接受比特幣購買其車輛。同日,比特幣價格跌破5萬美元,今日更是跌破4萬美元關口.

1900/1/1 0:00:00
BNB:代幣閃崩,差點歸零 - PancakeBunny 被黑簡析_CRAZYBUNNY價格

By:Kong@慢霧安全團隊 據慢霧區情報,幣安智能鏈上DeFi收益聚合器PancakeBunny項目遭遇閃電貸攻擊,慢霧安全團隊第一時間介入分析,并將結果以簡訊的形式分享.

1900/1/1 0:00:00
ads