比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

躲避子彈:以太坊狀態問題_以太坊

Author:

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

這篇文章的目的是正式公開一個對以太坊平臺的嚴重威脅,其危險性清晰而明確,直到“柏林”硬分叉才解除。

狀態

我們先來了解一些以太坊和“狀態”的背景知識。

以太坊狀態是一棵帕特里夏-默克爾樹。本文不會深入過多細節,你只要知道,隨著狀態數量的增長,這個樹結構的分支會變得越來越密。以太坊區塊鏈上每多一個賬戶,這棵樹就多一個葉子節點。在樹的根節點與葉子節點,是許多所謂的“中間”節點。

為了查找某個賬戶,或者說在這棵龐大的樹上找到某片“葉子”,需要解析6~9個哈希值,從根節點開始,經由中間節點,最終解析到一個能夠給予我們所需數據的哈希值。

用大白話來說:無論什么時候要在這棵樹上查找某個賬戶,都要經過8~9次解析操作。每次解析操作都是一次數據庫查詢,而每一次數據庫查詢都意味著不確定數量的多次硬盤操作。硬盤操作的次數很難估計,但是因為狀態樹的“鍵”是密碼學哈希值,所以這些鍵都是隨機的,這對所有數據庫來說都屬于最壞的情況。

隨著以太坊狀態的增加,就有必要提高訪問狀態樹的操作的Gas消耗量。早在2016年10月,我們就曾用“橘子口哨”分叉做過這樣的事。EIP150大幅提高了特定操作的Gas消耗量,并引入了一系列的措施來保護網絡免于DoS攻擊;這是在所謂的“上海攻擊”之后推出的。

MistTrack:有釣魚代碼將轉賬或批準函數名稱偽造成申領,請用戶提高警惕:9月1日消息,MistTrack發布網絡釣魚預警,稱有網絡釣魚偽造claim(申領)函數名稱,實際上可能是transfer(轉賬)或approve(批準)。請保持警惕[2023/9/1 13:11:23]

另一次這樣的Gas消耗量提升是在“伊斯坦布爾”分叉的時候,在區塊高度?9069000?激活,引入了EIP1884。1884的內容包括:

SLOAD?操作碼的Gas消耗量從?200?提高到?800?gas

BALANCE?消耗量從?400?提高到?700?gas

EXTCODEHASH?消耗量從?400?提升到?700?gas

問題

在2019年3月,MartinSwende測量了EVM操作碼的性能。這一研究后來導致了EIP-1884的創建。在1884激活的幾個月前,這篇以“BrokenMetre”為名的論文發表。

兩位以太坊安全研究員——HubertRitzdorf和MatthiasEgli——與這篇論文的作者之一DanielPerez展開了合作,并“武器化”了一個漏洞,并提交給了以太坊的bug懸賞項目。那是在2019年10月4日。

OpenC ampus將推出Golden Backpacks和Silver Notebooks系列NFT免費鑄造:5月29日消息,據官方推特,Web3教育協議Open Campus即將在BNB Chain上推出用于校園的GenesisNFT免費鑄造,分別為Golden Backpacks(金色背包)和SilverNotebooks兩類,總發行量分別為1333個和5333個,無人認領和未分配的NFT將保留在金庫中,用于未來的合作伙伴關系/贈品。鑄造將在其官網站上進行,之后將公布更多詳情。鑄造名單將在6月3日之后凍結,可在官網查看是否符合鑄造資格。[2023/5/29 9:48:22]

我們建議你完整地閱讀他們提交的報告,寫得非常好。

在一個專門討論跨客戶端安全性的頻道里,來自Geth客戶端、Parity客戶端和Aleth客戶端的開發者被告知了這份報告,就在同一天。

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

在他們的報告里,研究員通過?eth_call?RPC端點對同步到主網的節點執行了這一負載,下面是它們消耗1000萬gas所需的時間。

使用?EXTCOEHASH?耗盡1000萬gas

SBF將提出修改后的保釋方案,以滿足法官對其軟禁期間使用技術的不滿:金色財經報道,SBF 將提出一個修訂的保釋方案,旨在滿足法官對其被軟禁期間使用技術的不滿。SBF 以 2.5 億美元保釋金獲得自由后被限制在父母的房子中,腳踝上帶有監控裝置,但因使用加密的短信應用程序與虛擬私人網絡(VPN)而激怒美國地區法官 Lewis Kaplan。Kaplan 表示,如果 SBF 對這些限制不滿,他將在 10 月的審判前撤銷保釋方案并將他送進監獄。

SBF 律師 Christian R. Everdell 在給聯邦檢察官的一封信中寫道,SBF 與聯邦檢察官一直在努力就一系列具體的保釋條件達成一致,以解決政府與法院表達的擔憂,我們相信我們已接近達成一項決議,并預計能夠在下周之前向法院提交一份概述這些條件的擬議命令。[2023/3/18 13:12:08]

Parity:約90秒

Geth:約70秒

使用?EXTCODESIZE?消耗1000萬gas

Parity:約50秒

Geth:約38秒

顯而易見的是,EIP-1884確實減少了攻擊的效果,但還是遠遠不夠的。

那時候離大阪Devcon已經很近了。在Devcon期間,關于這一問題的知識在主網的客戶端開發者之間傳開來。我們也會晤了Hubert和Mathias,還有GregMarkou。ETC區塊鏈的開發者們也收到了這份報告。

一美國夫婦通過交換SIM卡盜竊25萬美元加密資產被定罪:金色財經報道,根據德克薩斯州圣安東尼奧法庭記錄,22歲的安德魯·珀西·特魯希略和34歲的澤娜·伊莉斯·多安森從一份加密文件中偷走了25萬美元。調查顯示,這名男子在AT&T手機經銷商工作,通過交換SIM卡入侵其他人手機,訪問其他人的加密賬戶,并將資產轉移到自己錢包。

特魯希略被判33個月監禁,緩刑3年,并被要求支付28萬8千美元的賠償金。他的同伙被判兩個月監禁,五年緩刑,以及類似的罰款。[2023/3/17 13:10:51]

隨著2019年接近尾聲,我們發現,這問題比我們之前以為的還要棘手,惡意的事務可能導致出塊時間延長到以分鐘計。更難辦的是,開發者社區已經對EIP-1884感到不滿,它打破了一些合約,而且用戶和礦工都希望提高區塊的GasLimit。

此外,僅僅兩個月之后,到了2019年12月,PartiyEthereum就宣布要退出了,OpenEthereum項目接管了Parity客戶端的代碼維護工作。

于是大家創建了一個新的客戶端協作頻道,Geth、Netheremind、OpenEthereum和Besu的開發者繼續合作。

解決方案

我們意識到,只有雙管齊下才能解決這個問題。一方面,我們要改進以太坊協議,也就是在協議層解決這個問題;最好是不要打破合約,也不要懲罰“善意”的行為,但又能防止攻擊。

歐盟官員:歐盟可能會發布關于NFT的進一步立法:金色財經報道,歐盟委員會金融技術工作組負責人Peter Kerstens周三表示,鑒于歐盟的《加密資產市場法》(MiCA)并沒有完全解決NFT的處理問題,如果立法者提出要求,歐盟可能會發布關于NFT的進一步立法。據悉,MiCA要求錢包供應商等加密貨幣公司向當局注冊,并滿足消費者保護和金融穩定規范。但官員們也擔心,雖然NFT表面上代表著藝術品等物品,但它們容易出現困擾更多傳統金融市場的那種濫用行為,如價格操縱。

Kerstens稱,雖然原則上MiCA僅適用于可替代代幣,但最終草案中有很多關于自稱NFT何時可能真正受到法律約束的問題存在,而且框架并不總是正確的。[2022/10/26 11:44:58]

另一方面,我們可以依靠軟件工程,改變客戶端內的數據模式和結構。

協議層工作

處理此類攻擊的第一個思路是這個。在2020年2月,其正式版本作為EIP2583發布。該提案背后的觀念是增加一個懲罰措施,每次樹查找導致miss時就觸發。

不過,Peter找出了一個繞過它的辦法——“shieldedrelay”攻擊——使得本質上懲罰有了一個上限。

懲罰miss?方法的問題在于,必須先有查找的過程,然后才能確定要不要實施懲罰。但如果剩余的gas已不足于實施懲罰,則一個沒有得到充分支付的消耗流程又已經執行了。即使這會導致拋出錯誤,這些狀態讀取也可以封裝到嵌套調用中,使得外部調用者可以重復執行攻擊而不必支付懲罰。

因此,這個EIP也被拋棄了,我們要尋找更好的替代方案。

AlexeyAkhunov研究了Oil的概念——一種次級的“Gas”,但與Gas完全不同的是,它對執行層是不可見的,而且可能導致事務全局回滾。

Martin提了一個類似的提案,稱為“Karma”,在2020年5月。

雖然這許多方案都有進展,VitalikButerin提議僅僅提高Gas消耗量,并維護一個“訪問清單”。在2020年8月,Martin和Vitalik開始迭代后來成為EIP-2929及其同伴EIP-2930?的想法。

EIP-2929在根本上解決了許多上面提到的問題。

與EIP-1884相反;1884是無條件提高Gas消耗量,但2929僅提高訪問新對象的Gas消耗量。這使得凈成本僅增加了不到一個百分點。

同樣地,與EIP-2930配合后,就不會打破任何合約。

它還可以通過提高Gas消耗量來進一步調整

在2021年4月14日,這兩個EIP都在“柏林”分叉時激活。

開發工作

Peter嘗試用動態的狀態快照解決這個問題,時值2019年10月。

快照是一個次級的數據結構,用來以扁平格式存儲以太坊狀態。快照可在Geth節點正常運行期間創建,無需下線專門執行。快照的好處是,它可以作為狀態訪問的一種加速結構:

不再是執行?O(logN)?次硬盤讀取來訪問一個賬戶/存儲項,快照可以提供直接的,O(1)?級別的訪問時間。

快照還支持以每個條目?O(1)?的復雜度迭代賬戶和存儲項,這使得遠程節點可以檢索連續的狀態數據,比以往便宜非常多。

快照的存在還支持其它更奇怪的用途,比如離線修剪狀態樹,以及遷移到另一種數據格式。

弊端是,快照等于是完全復制了賬戶和存儲項的未經處理的數據。若在主網環境中使用,這意味著需要額外25GB的固態硬盤空間。

動態快照的想法從2019年中就有了,當時的主要目標是啟用“快照同步”。那時候Geth團隊還在開發許多“大項目”:

離線的狀態修剪

同態快照快照同步

通過共享狀態實現LES狀態分散

不過,后來他們決定一心一意做快照功能,推遲了其他項目。這些工作為后來的?snap/1?同步算法打下了基礎。這一算法已在2020年3月合并到了代碼庫中。

有了“動態快照”功能,我們就能喘口氣了。如果以太坊網絡遭到攻擊,那會是很痛苦的,但至少,我們能通知用戶打開快照功能。生成快照需要花一些時間,而且還沒有辦法同步快照,但網絡至少能繼續運行了。

結合

在2021年3月/4月,?snap/1?協議已經在geth客戶端推出,節點能夠使用新的、基于快照的算法來同步區塊鏈了。雖然還不是默認的同步模式,這是使快照能不僅作為攻擊保護措施,也能顯著提高用戶體驗的一部。

在協議層,“柏林”升級已于2021年4月激活。

在我們的AWS監控環境中,我們的基準測試結果如下:

“柏林”前,沒有快照,處理2500萬gas:14.3秒

“柏林”前,有快照,處理2500萬gas:1.5秒

“柏林”后,沒有快照,處理2500萬gas:約3.1秒

“柏林”后,有快照,處理2500萬gas:約0.3秒

這個的數字表明,“柏林”升級使攻擊的效率降低了5倍,而快照使之降低了10倍,最終使其影響降低了50倍。

我們估計,在當前的主網上,不使用?快照的geth節點可能可以做到只需2.5~3秒就能執行一個區塊。隨著狀態的增長,這個數字會繼續惡化。

如果gas返還機制被用來造成單個區塊的實際gas使用量提升,這個惡化的倍數是2倍。在EIP-1559實施后,區塊的GasLimit會有更高的彈性,在短時間內可爆發出最大2倍的惡化乘數。

至于實施這種攻擊的可行性,攻擊者買斷一個區塊的成本大概在幾個ETH這樣的級別。

為何要在此時公開

這一威脅在很長時間里都是“公開的秘密”——因為疏忽,它至少被公開披露過一次;而且在核心開發者會議中也多次提到它,雖然沒有公開細節。

因為我們已經激活了“柏林”升級,也因為geth客戶端已經默認使用快照功能,我們認為,威脅已經足夠低,而透明化才是更重要的了。所以是時候把幕后的工作都公開了。

重要的是,社區得到了一次理解和思考這些影響用戶體驗的變更的機會。

Tags:GASETH以太坊GETTOGASHI幣ethylethanoate以太坊交易所app官網下togetherbnb薇拉雙人互動

以太坊最新價格
做BMEX獨一無二傳播者,比拼創意贏200USDT獎勵!_BME

親愛的用戶: “520,脫單已經不重要,我只想脫貧”。幣圈從不缺乏有趣的靈魂,現廣大社區用戶制作與BMEX平臺相關具有創意性的作品,或是對BMEX說出建議或期望,在活動結束前填寫表格上傳,一經采.

1900/1/1 0:00:00
星球日報 | 內蒙古能耗雙控應急指揮部辦公室設立虛擬貨幣挖礦企業舉報平臺;抹茶MXC交易所OTC升級維護暫時延期,用戶已無法進行OTC交易(5月20日)_NER

內蒙古能耗雙控應急指揮部辦公室設立虛擬貨幣挖礦企業舉報平臺內蒙古發展改革委資源節約和環境保護處發布《關于受理虛擬貨幣挖礦企業問題信訪舉報的公告》.

1900/1/1 0:00:00
美聯儲會議紀要:爭議不斷 貨幣政策將繼續寬松還是收緊?_TIC

原文標題:《美聯儲會議紀要暗示將討論縮減購債薩默斯指責美聯儲在通脹上制造“自滿情緒”》美東時間周三下午,美聯儲公布4月貨幣政策會議紀要.

1900/1/1 0:00:00
第三屆數字資產峰會開幕,首日加密藝術品慈善拍賣共拍得 21.9 萬 USDT_USDT

鏈聞消息,第三屆數字資產峰會「WorldDigitalAssetSummit2021」今日在上海寶麗嘉酒店開幕,大會共持續兩天.

1900/1/1 0:00:00
TI 生態大宇宙 - 波卡 Polkadot_KEN

前言 和以太坊等其它公鏈不同,波卡致力于實現跨鏈,其架構設計上存在著中繼鏈、平行鏈和橋三個角色.

1900/1/1 0:00:00
加密貨幣被納入拜登加稅提案 轉賬超一萬美元要向國稅局申報_COI

監管是加密貨幣最大的風險之一,監管出手既是風險的釋放,也有利于整個行業的規范和長遠發展。5月21日,彭博援引美國財政部報告稱,拜登政府加強稅收的提案中還包括了加密貨幣,即每轉賬價值超過1萬美元的.

1900/1/1 0:00:00
ads