買比特幣 買比特幣
Ctrl+D 買比特幣
ads

GAS:詳解:以太坊漏洞可導致“重入攻擊”_Philosoraptor

Author:

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

編者按:本文來自DVPNET,作者BCSEC,Odaily星球日報經授權轉載。1月16日凌晨,以太坊準備進行君士坦丁堡硬分叉的前一日被披露出來了一則漏洞,該漏洞由新啟動的EIP1283引起,漏洞危害準確的說應該是一種可能會讓一些合約存在重入漏洞的隱患,而不是一定會使合約產生重入漏洞。該漏洞在被發現之后以太坊基金會立馬宣布了停止硬分叉,并商議擇日再啟動以太坊君士坦丁堡硬分叉。一、導致以太坊延遲硬分叉的EIP1283到底是什么?

EIP的全稱是EthereumImprovementProposals,任何人都可以上去提一些對以太坊的改進提案,不過必須得嚴謹、正式,以太坊君士坦丁堡這次漏洞就是由一個EIP引起的,這個EIP的編號是1283。EIP1283使以太坊虛擬機使執行智能合約的引擎更高效,并降低在以太坊上運行智能合約的成本。該提案是針對SSTORE操作碼的,該操作碼主要用于合約持久化存儲數據,EIP1283為SSTORE操作碼設計了更加合理的gas收費方式。詳情地址如下:https://eips.ethereum.org/EIPS/eip-1283為什么需要EIP1283?EIP-1283提案由WeiTang(@sorpass)于2018年8月1日創建,作為EIP-1087和EIP-1153的替代方案。EIP-1087由NickJohnson創建,主要是改變EVMSSTORE運行gas費用收取方式,減少過多的gas費用成本;EIP-1153由AlexeyAkhunov創建,相比EIP-1087更加便宜,gas費用計算規則更加簡單。EIP-1283提出了在SSTORE上進行gas計量的方案,為數據存儲的變化引進更加合理公平的定價方案。其中定義了三個概念:存儲槽的原始值:在當前事務發生回滾后會存在的值叫原始值。存儲槽的當前值:在使用SSTORE操作碼之前存在的值叫當前值。存儲槽的新值:在使用SSTORE操作碼之后存在的值叫新值。然后以這三個概念為基礎,設計了如下處理邏輯:如果當前值等于新值,則扣除200gas。如果當前值不等于新值如果原始值等于當前值如果原始值為0,則扣除20000gas。否則,扣除5000gas。如果新值為0,則在退款計數器中增加15000gas。如果原始值不等于當前值,則扣除200gas。如果原始值不為0如果當前值為0,請從退款計數器中減少15000gas。如果新值為0,請向退款計數器中增加15000gas。如果原始值等于新值如果原始值為0,則將退款計數器中增加19800gas。否則,則在退款計數器中增加4800gas。根據如上的邏輯可以發現,當使用SSTORE操作碼的時候如果不改變任何值的時候,只消耗200gas。如果改變了值最終又重置為0的話也只消耗20000+200-19800=400gas。而在之前EIP1087的邏輯中如果使用SSTORE操作碼改變了值最終又重置為0的話需要消耗20000+5000-10000=15000gas。顯然EIP1283的處理邏輯比EIP1087更加合理,也更加便宜,但是問題就在這里。二、EIP1283漏洞分析

10分鐘前約3170萬美元SHIB解除質押后轉入幣安:6月9日消息,據 Whale Alert 監測,北京時間 6 月 9 日 17:43:35,4,000,379,151,023 枚 SHIB(約 3170 萬美元)解除質押后轉入幣安。[2023/6/9 21:26:44]

重入漏洞是指在同一筆交易中因兩個合約互相調用而導致合約進行重復轉賬的一種現象,其產生的根源是沒有使轉賬作為事務的最后一個步驟。比如說,如果在轉賬之后再進行狀態變更的話就很容易重入漏洞,最經典的一起事件就是TheDAO事件,所以最安全的做法是一筆事務中只有一筆轉賬,且在轉賬之前做好所有狀態變更,轉賬作為最后一個操作進行,如果以這種標準來實現的話,是不會受EIP1283影響的,所以這就是為什么說EIP1283只是可能使某些合約產生重入漏洞隱患。那么,什么樣的合約容易產生這種隱患?請看以下Demo。這是一個模擬資金共享服務的合約,資金余額由deposits變量存儲,然后由splits變量存儲分配比例。比如有一筆資金需要a和b共同分配首先調用init函數存儲雙方的錢包地址調用deposit函數向通道充錢調用updateSplit函數來改變通道的分配率執行splitFunds函數分配資金如果1號通道的分配率是99,那么執行splitFunds函數的時候給a分配通道中99%的資金,給b分配1%的資金。該合約大概業務就是這樣,在EIP1283生效之前,該合約是沒有重入漏洞的,EIP1283生效才會存在重入漏洞。前面提到過了,在EIP1283中如果將一個值更改后又重置為0,那么只消耗400gas。再看看是怎么實現按比例分配的:所以我們可以將a賬戶設置為我們的惡意合約,在合約的fallback函數中調用updateSplit函數來改變通道的分配率,使兩個地址都能分到超過通道余額總量的幣.比如說我先給a賬戶分配100%的通道余額,再在a賬戶合約fallback函數中改變通道分配率,又給b賬戶分配100%的余額,這樣就成功套出了雙倍的錢,而且攻擊者可以一直套,直到掏空為止。攻擊者Demo:Ps:為了節約gas,fallback函數中使用內聯匯編來模擬調用updateSplit函數。調用attack函數即可觸發重入漏洞。為什么說要EIP1283生效才會產生漏洞呢,因為該合約使用transfer進行轉賬,transfer轉賬最多消耗2300gas,在EIP1283生效之前對變量進行更改再重置至少需要15000gas,而生效后只需要400gas,2300gas上限已經足夠做一些事情了。三、漏洞復現

Flare團隊計劃空投FLR代幣:金色財經報道,Flare在社交媒體上稱,計劃空投FLR代幣,持有Wrapped FLR 的錢包可以領取前 6.76 億個 FLR,總共 242 億個 FLR 將在 36 個月中空投。根據目前的報價,價值約為 7.14 億美元。[2023/3/18 13:11:29]

關于該漏洞的復現,ChainSecurity已經在Github上公開了。先clone下來gitclonehttps://github.com/ChainSecurity/constantinople-reentrancy.git然后README里面會告訴你怎么復現,不過在此之前先得把環境裝好,需要環境:1.nodejs(stable)2.npma.truffle:npminstall-gtruffleb.ganache-cli@beta:npmi-gganache-cli@beta不同的系統有不同的環境搭建方式,這里不再贅述,有了以上環境就可以進行復現了,運行以下命令:ganache-cli--hardfork=constantinopletruffletest運行結果:在進行攻擊之后成功增加攻擊賬戶內的余額,復現完畢。四、修復方案

消息人士:推特據悉考慮出售用戶名以增加收入:金色財經報道,兩名消息人士表示,推特考慮出售用戶名以增加新收入,相關討論至少從去年12月就開始了,對用戶名開展在線拍賣是方式之一。用戶名是@符號后面的單詞、數字或一串字符,比如,馬斯克的用戶名是@elonmusk。知情人士說,目前還不清楚該項目是否會繼續推進,也不清楚該計劃是會影響所有用戶名還是只影響一部分用戶名。但馬斯克上個月表示希望開始清除推特上不活躍的賬戶,釋放15億個用戶名。只有某些特定的用戶名可能有價值,比如知名人士、品牌和流行的名字。[2023/1/12 11:07:07]

修復方案預計應該會在以太坊君士坦丁堡中刪除與EIP1283有關的更新,目前以太坊開發者還在協商解決,不過筆者認為合約安全最終還是要合約來解決,不能依賴于公鏈本身,就像前面說的,只要合約采用的是最安全的寫法便可以避免這次君士坦丁堡分叉帶來的問題。而且目前還沒有檢測出來有合約正好會觸發這個重入漏洞,但不排除這種可能性。參考鏈接https://medium.com/chainsecurity/constantinople-enables-new-reentrancy-attack-ace4088297d9https://github.com/ChainSecurity/constantinople-reentrancyhttps://eips.ethereum.org/EIPS/eip-1283https://eips.ethereum.org/EIPS/eip-1087

幣安2022年第三季度共銷毀逾206萬枚BNB:金色財經報道,幣安2022年第三季度(第21個季度銷毀)的BNB代幣銷毀已完成,共銷毀約2065152枚BNB,價值約5.47億美元。最新的季度銷毀包括通過Pioneer Burn Program有效銷毀的4833.25BNB。[2022/10/13 14:26:31]

CryptoQuant CEO:此前1P5ZE開頭巨鯨地址或為Gemini的冷錢包或托管錢包:7月21日消息,CryptoQuant CEO Ki Young Ju發推稱,“1P5ZE”開頭巨鯨地址轉移的比特幣經過“1FzW”開頭地址后最終轉入“1LQoW”開頭地址。

根據記錄,“1FzW”開頭地址與“1NYA”開頭地址和“bc1quq”開頭地址等熱錢包有更密切的聯系,這些不是Coinbase或OKX,而是Gemini的熱錢包。因此“1P5ZE”開頭巨鯨地址轉移比特幣的行為有可能是Gemini的內部轉賬,而“1P5ZE”開頭的巨鯨地址可能是Gemini的冷錢包或托管錢包。顯而易見的是,這并不是某位用戶向交易所熱錢包存入BTC并計劃出售。

此前消息,“1P5ZE”開頭巨鯨地址近3日累計轉出132882枚BTC,余額清零。[2022/7/21 2:28:27]

Tags:GAS以太坊TORSTOREugas幣怎么找不到了怎么得到以太坊幣交易PhilosoraptorSTORE幣

火幣APP下載
STREAM:專訪閃電網絡開發團隊Blockstream:限制比特幣發展?離譜_萊特幣和比特幣的區別圖片

Odaily星球日報:公司目前有幾位BitcoinCore成員?會不會有其他人加入?繆永權:我認為這個問題背后的潛臺詞有誤導傾向,原因是對開源軟件的開發不夠理解.

1900/1/1 0:00:00
加密貨幣:熊市量縮,衍生品交易所Hopex決定深耕永續合約_HOPE

作者|秦曉峰編輯|盧曉明在創下接近2萬美元的高點后,比特幣陷入了漫長的熊市,整個加密貨幣總市場也從約8000億美元縮水至如今的1200億美元.

1900/1/1 0:00:00
CRYPT:交易所的交易量是真的嗎?報告:高流動性是錯覺_Crypto Hounds

2月26日,合資企業CoVentureCrypto公布一項研究報告,通過探究交易場所和交易對象來分析加密交易所的“真正流動性”。報告得出結論稱,主要交易所普遍存在可疑“清洗交易”.

1900/1/1 0:00:00
KEN:通證經濟學,那些你不能不知的事!系列(三)通證經濟的設計_Monkey Token

編者按:本文來自TritonPartners,作者:TritonPartners,Odaily星球日報經授權發布.

1900/1/1 0:00:00
QUO:蔡維德:美國證券交易委員會SEC專員演講解讀_Restore

2019年2月8日,美國證券交易委員會專員HesterPeirce在密蘇里大學法學院,主題為“保護市場兼顧創新:最佳監管的首要原則”的大會上發表演講.

1900/1/1 0:00:00
以太坊:為什么比特幣不是巴菲特說的幻象?_穩定幣

巴菲特在接收采訪時提到比特幣,認為比特幣是虛幻的,沒有真實價值基礎。作為20世紀到現在最成功的投資人,說出這樣的話,一定有他的邏輯,有人說這是由他自己“倉位”決定的,他的財富根基于傳統金融體系,

1900/1/1 0:00:00
ads