以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > 世界幣 > Info

化險為夷:以太坊的狀態問題_GAS

Author:

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

來源|EthereumBlog

作者|?MartinHolstSwende&PeterSzilagyi

MartinHolstSwende及PeterSzilagyi于2021年5月18日發布

本篇博文的目的在于正式揭露以太坊平臺在柏林硬分叉之前的一個嚴重且顯而易見的問題。

State狀態

我們先從以太坊和及其“狀態”的背景開始梳理。

以太坊的狀態由patricia-merkletrie組成,一種前綴樹。本文不會深入技術細節,簡單來說隨著狀態增長,樹的分支會越來越密集。每個加入的賬戶都是一片新葉子。在樹根之間和葉子之間,存在大量的“中間”節點。

為了查找某個特定賬戶,或是說這顆巨樹中的一片“葉子”,從樹根再通過中間節點,需要按序解決6-9個哈希才能最終對我們所尋找的數據進行哈希計算。

簡而言之,每執行一次查找賬戶的trie查詢,都要執行8-9個解析操作。每次解析操作都是一次數據庫查詢,而每次數據庫查詢都可能是任意數量的實際磁盤操作。磁盤操作的數量難以預估,但是由于trie密鑰是加密哈希(抗沖突),因此密鑰是“隨機的”,這對任何數據庫來說都是最糟糕的情況。

隨著以太坊的發展,一直以來都有必要提高樹訪問操作的gas費用。2016年10月,在經歷了“上海攻擊”時間之后,以太坊網絡在區塊高度?2,463,000?進行了TangerineWhistle?硬分叉,其中包含EIP150,大舉提升了某些操作的gas成本,并引入了大量更改以防御DoS攻擊。

BonqDAO攻擊者開始嘗試將資金轉入Tornado Cash:金色財經報道,據PeckShield監測,非托管借貸平臺 BonqDAO 的攻擊者開始嘗試將資金轉入Tornado Cash,目前已轉入1枚以太坊。[2023/2/3 11:45:39]

另一次對gas費用的提升是在2019年12月的Istanbul?升級中,激活了EIP1884。

EIP-1884針對gas費用引入了以下改動:

?SLOAD?從?200?提升至?800?gas

?BALANCE?從?400?提升至?700?gas(并添加了一個更便宜的?SELFBALANCE)

?EXTCODEHASH?從?400?提升至?700?gas

出現的問題

2019年3月,MartinSwende當時在進行一些EVM操作碼性能的測定。之后的EIP-1884就是基于該調查而成的。在EIP-1884被激活的前幾個月,BrokenMetre發布了這篇論文(2019/9)。

兩位以太坊安全研究員,HubertRitzdorf和MatthiasEgli,與論文的作者之一DanielPerez將一個漏洞“武器化”,提交給了以太坊的漏洞賞金(bugbounty)項目。這是在2019年10月4日。

建議大家閱讀這份他們提交的完整文檔,寫得很詳盡。

灰度GBTC負溢價率回落至45.73%:金色財經報道,數據顯示,當前灰度總持倉量達146.78億美元,主流幣種信托溢價率如下:BTC,-45.73%;ETH,-56.74%;ETC,-72.6%;LTC,-61.45%;BCH,-53.33%。[2022/12/24 22:05:03]

同日,在一個專門用于討論跨客戶端安全性的頻道中,來自Geth、Parity和Aleth的開發者都得知了這份文檔。

這個漏洞的本質在于觸發隨機的trie查詢。以下是一個簡單的示例:

在其報告中,研究員們通過?eth_call?對同步了主網的節點執行了這個payload,以下是他們執行過程中的數據,耗費了一千萬gas:

??消耗一千萬gas的?EXTCODEHASH?(400gas)

Parity:?~90s

Geth:?~70s

??消耗一千萬gas的?EXTCODEHASH?(700gas)

Parity:?~50s

Geth:?~38s

顯而易見,EIP-1884的更改確實在降低該攻擊的影響上起到了幫助,但還遠遠不夠。

當時已經臨近在大阪的開發者大會。在開發者大會上,這個問題的信息分享給了主網的客戶端開發者。我們也和Hubert、Mathias以及GregMarkou(來自Chainsafe,當時也在進行一些ETC的工作)見面了。ETC的開發者也收到了這份報告。

香港證監會:支持元宇宙、NFT、GameFi創新,積極探索適當的代幣化資產監管框架:金色財經報道,CrossSpace創始人0xLeon發推稱,在香港金融科技周活動中,香港證券及期貨事務監察委員會(SFC)副行政總裁兼中介機構部執行董事梁鳳儀表示,SFC因為從2018年采取了嚴謹的監管架構,避免了很多負面事件在香港發生,但SFC會支持創新與發展,尤其在元宇宙、NFT(藝術)、GameFi方面,香港要明確的支持,香港也在積極探索適當的代幣化資產監管框架。

最初SFC覺得行業很不成熟所以限定只有專業投資者可以交易虛擬資產。4年過去了,投資者有了更多的知識和經驗。整個生態也更成熟,很多國際金融機構都已經進入這個生態。監管也更有經驗去監管交易所和其他相關機構。所以是時間去review是否可以逐漸向個人投資者開放。

據此前報道,香港特區政府發表虛擬資產政策宣言。香港證券及期貨事務監察委員會將會就新發牌制度下零售投資者可買賣虛擬資產的適當程度展開公眾諮詢。對于可否在香港引入虛擬資產交易所買賣基金(ETF),政府抱持歡迎態度。政府對于日后檢討代幣化資產的產權和智能合約的合法性,抱持開放態度,以便利其在香港的發展。香港金融管理局稍后會就穩定幣的監管制度發布諮詢結果和下一步工作。[2022/10/31 12:00:50]

隨著2019年臨近尾聲,我們知道這個問題比之前預期的要嚴重,惡意交易可能將區塊時間提升到分鐘范圍。更糟的是,開發者社區對EIP-1884感到不滿,因為EIP-1884破壞了一些合約流程,而且用戶和礦工都非常希望提高區塊的gaslimit。

伊朗首次使用加密貨幣支付進口訂單,價值為1000萬美元:8月9日消息,據伊朗塔斯尼姆通訊社,伊朗首次使用加密貨幣支付進口訂單,價值為1000萬美元。[2022/8/9 12:12:56]

此外,僅兩個月后的2019年12月,ParityEthereum宣布停止運維,而OpenEthereum接管了代碼庫的維護工作。

隨后搭建了一個新的客戶端協調頻道,Geth、Nethermind、OpenEthereum和Besu的開發者在此繼續進行協作。

解決方案

我們意識到要解決這個問題,必須要雙管齊下。一種方法是通過以太坊協議以某種方式在協議層解決該問題。最好不要破壞合約,并且避免波及“良好”行為,但仍要設法防止攻擊。

第二種方式是通過軟件工程來解決,修改客戶端中的數據模型和結構。

協議層的工作

關于如何處理這些類型的攻擊的第一個版本在這里。2020年2月,正式發布為EIP2583。其理念是,每當一次Trie查找導致未命中時,施加一次罰款。

但是,Peter找到了應對方法,即“shieldedrelay”攻擊,可以有效地限制這種懲罰的上限(約為800)。

對未命中查詢進行懲罰的問題在于,首先需要進行查找,以確定是否施加懲罰。但是如果剩余的gas不足以支付罰款,已執行了未付費的消耗。即使確實會導致拋出異常,也可以將這些狀態讀取包裝到嵌套調用中,允許外部呼叫者繼續重復攻擊而無需支付(全部)罰款。

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

因為這個原因,這個EIP被放棄了,我們也在尋找更好的替代方案。

??AlexeyAkhunov提出了?Oil?的概念,gas的第二來源,但和?gas?在本質上不一樣,因為它對執行層不可見,并可能導致事務全局回滾。

??Martin在2020年5月也撰寫了一個類似的提案(GasAndKarma)

在對這些不同機制進行迭代的同時,VitalikButerin提議直接提高gas成本,并且保留訪問列表。2020年8月,Martin和Vitalik開始完善EIP-2929及配套的EIP-2930。

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

??與無條件提升gas成本的EIP-1884相比,EIP-2929只提升了未訪問部分的gas成本。這導致凈成本提升了不足一個百分點。

??加上EIP-2930,不會對任何合約流程造成破壞

??并且能夠在不造成破壞的前提下進一步調整gas成本

2021年4月15日,這兩個EIP都在?Berlin?升級中被激活了。

開發工作

Peter在2019年10月提出的解決方案是“動態狀態快照”(dynamicstatesnapshots)。

快照是用于以平面格式存儲以太坊狀態的輔助數據結構,在Geth節點的實時操作期間,可以完全在線構建。快照的好處在于充當狀態訪問的加速結構:

??無需通過?O(logN)?次磁盤讀取(x?LevelDB開銷)來訪問一個賬戶或存儲插槽,快照可以提供直接的?O(1)訪問時間(x?LevelDB開銷)。

??快照支持每項條目以?O(1)?復雜度迭代賬戶和存儲,這使遠程節點能夠以比以前便宜得多的方式檢索順序狀態數據。

??快照還啟用了更多奇特的用例,例如離線修剪狀態Trie或遷移到其他數據格式。

快照的缺點在于原始帳戶和存儲數據實際上是重復的。對于主網來說這意味著將占用額外的?25GB?SSD空間。

動態快照的概念從2019年中就已經發軔,起初的目的主要是推動快照同步的實現。當時Geth團隊在忙于許多“大項目”。

??離線狀態修剪

??動態快照快照同步

??通過分片化狀態實現LES(LightEthereumSubprotocol)狀態分發

然而,最終決定將快照的優先級排到最前,將其他項目暫時擱置。這為后來的?snap/1?同步算法奠定了基礎,并于2020年3月合并。

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

總結

2021年的三月到四月,snap/1?協議在geth客戶端中實現了,使得通過新的基于快照的算法進行同步成為可能。雖然仍不是默認的同步模式,但這是很重要的一個步驟,使快照不僅可用作攻擊防護措施,并且對于用戶來說也是一項重要優化。

在協議方面,柏林升級于2021年4月完成。

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

??柏林升級之前,無快照,25M?gas:?14.3s

??柏林升級之前,有快照,25M?gas:?1.5s

??柏林升級之后,無快照,25M?gas:?~3.1s

??柏林升級之后,有快照,25M?gas:?~0.3s

大致的數據顯示柏林升級能夠將攻擊的效率降低?5?倍,快照能夠將其降低?10?倍,總計將影響降低了?50?倍。

我們估計目前在主網(15Mgas),對于未使用快照的?geth?節點來說,有可能創建執行時間在?2.5-3?秒的區塊。對于非快照節點來說,隨著狀態增長這個數字會持續惡化。

如果通過gas退還來增加區塊內的有效gas使用量,則可能會進一步加劇為(最大)2倍。隨著EIP1559的實施,區塊的gaslimit的彈性會更大,并且在臨時爆發中會再增加2倍。

至于實施這種攻擊的可行性,攻擊者購買一整個區塊的成本約為幾個ETH(100Gwei?時?15M?gas為1.5?ETH)。

為什么現在公布?

這個風險其實一直以來都是一個“公開的秘密”,已經不止一次被意外公開披露,并且在核心開發者會議中多次被提及,但并未涉及細節。

現在既然已經實施了柏林升級,geth的節點也在默認情況下使用快照同步,因此我們估計現在的威脅性已經非常低了,現在是時候對幕后工作進行全面公開了。

重要的是,讓社區有機會了解一些變更背后的原因,而這些變更會對用戶體驗造成負面影響,例如gas成本增加和限制gas返還。

本文由MartinHolstSwende和PeterSzilagyi在2021-04-23寫就。并于2021-04-26與基于以太坊的項目進行分享,2021-05-18公開發布。

原文鏈接:https://blog.ethereum.org/2021/05/18/eth_state_problems/

Tags:GASETH以太坊GETHTogashi Inutogetherbnb中文版下載幸運以太坊幣值多少錢togetherbnb全部攻略

世界幣
LOEx國際站5月24日15:00上線AVAX

尊敬的LOEx用戶:LOEx國際站上線AVAX!并開放AVAX/USDT交易對具體時間如下:充幣:5月25日10:00提幣:5月26日10:00交易對:5月24日15:00注:未到充值開放時間請.

1900/1/1 0:00:00
老崔說幣:四面楚歌,比特幣能否殺出重圍?_WEB

大家好,我是來自CKcoin平臺首席分析師老崔說幣,也是你們的朋友老崔說幣lcsb18888,老崔說幣公眾號同步專注數字貨幣行情分析,爭取為廣大幣友傳遞最有價值的幣市信息.

1900/1/1 0:00:00
證券時報:銀行大力圍堵虛擬幣交易 大范圍精準識別仍然吃力_比特幣

證券時報今日刊文《銀行大力圍堵虛擬幣交易大范圍精準識別仍然吃力》。文章稱,對于虛擬幣相關資金的流動,金融機構嚴陣以待。有六大行人士表示,已有大行對境外炒幣賬戶轉賬進行嚴格控制.

1900/1/1 0:00:00
Gate.io直播:合約操作全解、dogeswap前景等節目即將開播_GAT

Gate.io直播間作為行業內首個交易所內置直播功能,通過多樣性的直播形式為平臺用戶帶來具有深度、有趣、開放的信息內容.

1900/1/1 0:00:00
Gate.io 已發STBU空投福利活動獎勵公告_GAT

Gate.ioSTBU空投福利活動已圓滿結束,根據活動規則,我們已為符合規則的用戶發放了活動獎勵。用戶可進入“錢包—賬單明細”查詢獎勵發放情況。活動詳情及規則請點擊查看.

1900/1/1 0:00:00
老李解幣:5.23日行情再次下行牛市是否已經成為過去?_BAS

有時,面對單邊的行情,有人擅長持有,是對大方向堅定的認可,面對震蕩的行情,有人喜歡波段交易,是對區間嚴密的把控,這個中間沒有誰是絕對性的對,誰又是絕對性的錯,市場是個提款機,也是個收割機.

1900/1/1 0:00:00
ads