來源|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攻擊。
智能合約代幣和DeFi行業遭受重大損失:金色財經報道,在過去的24小時內,加密經濟的總體價值對美元貶值超過了5%,與此同時,頂級智能合約代幣領域在同一時間范圍內損失了超過8%。這一下滑也影響了去中心化金融(defi)領域,在過去一天內,defi鎖定的總價值嚴重接近跌破400億美元的范圍,貶值了5.65%。[2023/6/11 21:29:31]
另一次對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日。
Coinbase:Base主網即將推出,但時間未定:金色財經報道,Coinbase表示,Layer 2 Base仍在朝著其“創世紀窗口”建設,主網即將推出。Coinbase沒有分享主網上線的官方時間表,但該公司表示將在晚些時候分享更重要的更新。
目前,Base正在等待Optimism對Bedrock的升級,據稱這將顯著降低其代碼庫的復雜性和長度。Coinbase的一位代表表示,Base背后的團隊還計劃與OP Labs團隊一起完成基礎設施審查,并通過內部和外部審計,沒有嚴重的問題。此外,Base沒有發行代幣的計劃。[2023/5/25 10:38:27]
建議大家閱讀這份他們提交的完整文檔,寫得很詳盡。
同日,在一個專門用于討論跨客戶端安全性的頻道中,來自Geth、Parity和Aleth的開發者都得知了這份文檔。
這個漏洞的本質在于觸發隨機的trie查詢。以下是一個簡單的示例:
在其報告中,研究員們通過eth_call對同步了主網的節點執行了這個payload,以下是他們執行過程中的數據,耗費了一千萬gas:
?消耗一千萬gas的EXTCODEHASH(400gas)
Parity:?~90s
商業銀行FWS推出10億美元區塊鏈基金P3 Capital Fund:9月21日消息,商業銀行First Wall Street Capital Mena (FWS)董事總經理Malik Brooks與區塊鏈和數字資產思想領導平臺P3 Network (P3) 達成最終協議,推出10億美元基金P3 Capital Fund,該基金專注于支持和加快全球新興的區塊鏈行業創新發展。(Khaleej Times)[2022/9/22 7:12:15]
Geth:?~70s
?消耗一千萬gas的EXTCODEHASH(700gas)
Parity:?~50s
Geth:?~38s
顯而易見,EIP-1884的更改確實在降低該攻擊的影響上起到了幫助,但還遠遠不夠。
當時已經臨近在大阪的開發者大會。在開發者大會上,這個問題的信息分享給了主網的客戶端開發者。我們也和Hubert、Mathias以及GregMarkou(來自Chainsafe,當時也在進行一些ETC的工作)見面了。ETC的開發者也收到了這份報告。
隨著2019年臨近尾聲,我們知道這個問題比之前預期的要嚴重,惡意交易可能將區塊時間提升到分鐘范圍。更糟的是,開發者社區對EIP-1884感到不滿,因為EIP-1884破壞了一些合約流程,而且用戶和礦工都非常希望提高區塊的gaslimit。
快餐連鎖品牌Chipotle將贈送超過20萬美元的免費加密貨幣:7月25日消息,美國知名快餐連鎖品牌Chipotle周一宣布將推出一款名為“Buy The Dip”的新互動游戲,該游戲還將贈送超過200,000 美元的免費加密貨幣,粉絲可以免費獲得比特幣、以太坊、Avalanche、Solana或狗狗幣,并使用他們的加密貨幣在 Chipotle 消費。促銷活動將從周一開始每日上午10點至下午6點開放,直至7月31日截至。
據悉,Chipotle于2021年4月首次涉足加密貨幣領域,當時它成為第一個通過“墨西哥卷餅或比特幣”促銷活動推出加密貨幣贈品的美國餐廳品牌,該促銷活動發放了10萬美元的比特幣來慶祝全美墨西哥卷餅日。2022年6月,快餐連鎖品牌Chipotle宣布將通過數字支付平臺Flexa接受加密貨幣支付。用戶可在Flexa的全美近3000家門店的將可以使用加密貨幣進行付款。[2022/7/26 2:37:07]
此外,僅兩個月后的2019年12月,ParityEthereum宣布停止運維,而OpenEthereum接管了代碼庫的維護工作。
隨后搭建了一個新的客戶端協調頻道,Geth、Nethermind、OpenEthereum和Besu的開發者在此繼續進行協作。
解決方案
我們意識到要解決這個問題,必須要雙管齊下。一種方法是通過以太坊協議以某種方式在協議層解決該問題。最好不要破壞合約,并且避免波及“良好”行為,但仍要設法防止攻擊。
Arbitrum奧德賽活動轉賬已超18萬筆共計約3.5萬ETH:6月27日消息,據官方推特,Arbitrum奧德賽第一周(Bridge week)將于北京時間6月28日1:00結束。據了解,奧德賽第一周的主題是跨鏈橋。
Dune數據顯示,截至目前,Arbitrum奧德賽活動共進行了186960筆轉賬,共計35590.46枚ETH,其中最高單筆交易為510ETH。跨鏈橋轉賬總金額最高的是Hop Protocol,超過了15190枚ETH轉賬占比達45.1%,排名第二的是Celer Network,超過4810枚ETH轉賬占比14.3%,排名第三的是Multichain,超過3330枚ETH轉賬占比9.9%。[2022/6/27 1:33:29]
第二種方式是通過軟件工程來解決,修改客戶端中的數據模型和結構。
協議層的工作
關于如何處理這些類型的攻擊的第一個版本在這里。2020年2月,正式發布為EIP2583。其理念是,每當一次Trie查找導致未命中時,施加一次罰款。
但是,Peter找到了應對方法,即“shieldedrelay”攻擊,可以有效地限制這種懲罰的上限(約為800)。
對未命中查詢進行懲罰的問題在于,首先需要進行查找,以確定是否施加懲罰。但是如果剩余的gas不足以支付罰款,已執行了未付費的消耗。即使確實會導致拋出異常,也可以將這些狀態讀取包裝到嵌套調用中,允許外部呼叫者繼續重復攻擊而無需支付(全部)罰款。
因為這個原因,這個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或遷移到其他數據格式。
快照的缺點在于原始帳戶和存儲數據實際上是重復的。對于主網來說這意味著將占用額外的25GBSSD空間。
動態快照的概念從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時15Mgas為1.5ETH)。
為什么現在公布?
這個風險其實一直以來都是一個“公開的秘密”,已經不止一次被意外公開披露,并且在核心開發者會議中多次被提及,但并未涉及細節。
現在既然已經實施了柏林升級,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以太坊BASEUGAS價格eth價格今日行情USDTVSYS幣會成為第二個以太坊嗎coinbase實名多久完成
2021年5月19日,比特幣在經歷連續的七天拋盤之后加速下跌,跌至29000美元/枚,日跌幅超30%,全球加密貨幣市值直接腰斬。“幣圈崩盤”詞條直接沖上微博熱搜榜第三位.
1900/1/1 0:00:00來源:《科創板日報》 記者徐賜豪實習記者張洋洋原標題:《“三大協會”重申虛擬貨幣監管新一輪幣圈整頓或將來臨?》18日晚間.
1900/1/1 0:00:00《區塊鏈行業觀察》專欄·第17篇 作者丨INGBank 圖片丨來源于網絡 編者注: 智能合約的出現為區塊鏈的發展提供了重要的必要條件,自此區塊鏈世界開始有了豐富的應用.
1900/1/1 0:00:00本周,我們迎來了本次牛市中的“至暗時刻”。在多方合力下,數字資產市場流動性并未受到顯著影響。市場的確出現了恐慌,幸運的是,本次行情并沒有引發“廣泛恐慌”,目前說牛市結束,仍然為時過早.
1900/1/1 0:00:00近期,虛擬貨幣價格暴漲暴跌,虛擬貨幣交易炒作活動有所反彈,嚴重侵害人民群眾財產安全,擾亂經濟金融正常秩序.
1900/1/1 0:00:00互聯網計算機用一種更先進安全的加密認證方法取代了用戶名和密碼。要理解身份和認證在互聯網計算機的背景下意味著什么,我們必須首先其在當今的網絡中是如何使用的.
1900/1/1 0:00:00