最近,隨著DeFi火熱,以太坊智能合約安全漏洞頻發。究竟是什么原因造成的,以及如何更好地防范這些漏洞?
概述
相比于比特幣而言,以太坊更易發生安全事故。這主要是因為以太坊虛擬機是圖靈完備的,以太坊可實現函數間相互調用、嵌套調用,智能合約間相互調用等各種復雜邏輯。而比特幣只實現了基于棧的非圖靈完備的虛擬機,并只能通過操作碼進行入棧和出棧操作。另外比特幣也沒有復雜的DApp應用,所以邏輯上簡單,故而沒有太多空間引發安全漏洞。
以太坊上各種DApp復雜的智能合約邏輯是引發安全漏洞的主因。以太坊智能合約的安全漏洞主要可以分為邏輯問題和合約代碼問題兩種。
邏輯問題?
最近頻繁的“閃電貸”攻擊是一個典型的邏輯問題引起的安全漏洞。在各種閃電貸攻擊中你可以看到清晰的邏輯問題。攻擊者只要制造出兩個系統之間的價格差,便能通過閃電貸攻擊獲利。
美國參議員Cynthia Lummis:以太坊現在是一種證券:金色財經報道,美國參議員Cynthia Lummis表示,比特幣是唯一可以被視為商品的加密貨幣,由于9月的以太坊合并,以太坊現在是一種證券。 Lummis還表示,以太坊有可能變得 \"足夠去中心化,以后可以被視為一種商品\"。(Coindesk)[2022/12/8 21:30:53]
閃電貸攻擊的邏輯細節大家可以閱讀之前一篇專門講閃電貸的文章:“造富神器”閃電貸。本文主要闡述合約代碼問題。
合約代碼問題?
我們知道,幾乎稍微復雜一點的代碼都或多或少地存在問題。了解出現問題的原因,并且歸納問題類別可以幫助我們更好地防范它們。下面是Ownbit錢包團隊整理的關于以太坊智能合約安全最容易出現問題的點。
1.重入
這是排名第一的問題。所謂“重入”就是一個方法被多次循環調用。而這通常是合約開發者所意想不到的。例如一個取款合約:
江卓爾:以太坊主網合并在11月-12月進行的概率很大:7月17日消息,江卓爾表示,ETH開發人員計劃9月19日合并ETH 2.0,但這種大型軟件開發項目,最后延期也是常態,并且還有大量的ETH應用項目沒有開始測試,因此料敵從寬,再加2-3個月冗余(這也是難度炸彈延長區塊時間的最后可忍受時間),11-12月合并的概率很大,正好契合年底熊市下跌結束的慣例(2014、2018熊市都是到年底止跌),由ETH作為龍頭,啟動下一輪牛市。
ETH 2.0后的三大實際資金面利好:
1. ETH將減產90%,你想想一次BTC減半都會帶來一輪大牛市,而減產90% = 3次BTC減半。
2. POS鎖定幣預計從現在的10%提高到30%(按照其它POS幣慣例),更多幣被鎖定。
3. 再加上EIP-1559燒幣,實際通脹從正2.0%變負1.8%,開啟幣圈前所未有的燃燒通縮時代。[2022/7/17 2:18:56]
function?withdrawEther()?public?{uint?amount?=?userBalances;bool?success,?)?=?msg
當前以太坊上DeFi日活用戶數21,058,距最高點減少約80%:7月4日消息,據Dune Analytics的數據顯示,當前以太坊上DeFi日活用戶數為21,058,較2021年5月用戶數最高點108,233,減少80.54%。[2022/7/4 1:49:13]
這是一段很簡單的取款合約,讓用戶取走他的ETH余額。開發者并沒有意識到這段代碼可能會被重入。方法是:只要調用者是一個合約賬戶,那么msg.sender.call將默認調用該合約賬戶的fallback函數。攻擊者只需要在其fallback函數再次調用withdrawEther就可以源源不斷地取走ETH。
發生在2016年6月,著名的TheDAO攻擊,從而導致了ETC分叉的事件,就是通過同樣的方法實施攻擊的。從事后看來,這只是一個小小的程序問題。要修復這個問題也非常容易,只需要將兩行代碼調換順序即可:
????userBalances?=?0;????(bool?success,?)?=?msg.sender.call.value(amount)("");
TimBeiko正式將EIP-1559加入以太坊倫敦升級,暫定今年7月或8月執行:以太坊開發者、EIP-1559貢獻者TimBeiko提交一份提案,該提案主張將EIP-1559加入到以太坊倫敦升級中,并暫定于2021年7月或8月執行。TimBeiko認為,該EIP提案沒有什么問題,已經準備好通過正常的網絡升級測試流程。下一步是讓開發人員和其他網絡參與者(即礦工)就此提案達成共識。注:EIP-1559是一個對以太坊交易機制進行優化的機制,旨在使以太坊網絡上的交易費用更加可預測,解決當前“按需付費”的收費模式問題。其目標是創建一個更有效的收費市場,并簡化客戶端和應用程序軟件的gas費付款流程。此前消息,絕大多數以太坊應用表示支持實施EIP-1559。[2021/2/26 17:54:54]
2.讓你的交易不打包
以太坊區塊的打包機制是按照給予的礦工費進行優先打包,并且每個區塊有總GasLimit的限制。所以攻擊者可以制造出若干使用GasLimit非常大,并且GasPrice給得非常高的交易,讓它們優先占滿區塊,從而讓目標交易無法被打包。
行情 | 以太坊未確認交易筆數為56228筆:根據公開數據顯示,目前以太坊的網絡未確認交易筆數為56228筆,近期未確認交易筆數峰值最高達60000,目前網絡擁堵。[2018/7/8]
所以,在編寫合約邏輯時,不能假設你的交易會在有限時間內被打包,否則就容易受到此類攻擊。著名的“Fomo3D”事件就是用了這樣的攻擊方法。
Fomo3D游戲規則是獎勵最后一個購得某個商品的人。每次商品被買入將重置該商品的定時器,如果在定時器達到0之前沒有其他購買者,則你將獲得系統的獎勵。攻擊者在Fomo3D中買入商品,然后同時發送大量占用區塊的攻擊交易,以至于在接下來的13個區塊內,其他購買者的交易無法被打包。這時定時器達到0,并認為無其他購買者。攻擊者便獲得了獎勵,完成了攻擊。
3.錯誤使用tx.origin
如果你發現一個合約使用了tx.origin,那么可以留心一下此處可能存在的漏洞。在大部分情況下,我們應該使用msg.sender來替代tx.origin,因為使用tx.origin容易引發安全漏洞。
很多時候,合約開發人員會假定msg.sender和tx.origin是相等的,但其實不是。例如:用戶A?調用?合約B,而合約B進一步調用?合約C,那么在合約B和C中tx.origin都將是A,而msg.sender則一個是A,一個是B。
一般攻擊者會引誘A調用一個誘導合約B,而B再去調用由A部署的目標合約C,因為合約C錯誤地使用了tx.origin,合約B可以通過傳遞過來的tx.origin獲得對合約C的控制權,從而完成攻擊。
4.溢出攻擊
智能合約里的數據是可能溢出的,例如:uint256,你覺得很大:2^256。它的確很大,但依然可以溢出。例如一個合約允許對一個數據進行加減,攻擊可以通過對這個數據進行精心策劃的調用,讓其通過溢出達到允許執行某些邏輯的目的,從而實現攻擊。
5.fallback?可以revert
fallback是可以revert的,就是說,你如果向對方轉移ether,對方可以讓你總是不成功。
例如你編寫一段合約,并且依賴于你成功向某個地址轉移ether,那么攻擊可以部署一個合約,將其fallback寫成revert來讓你來的調用總是失敗:
function?()?public?payable?{???revert?()?;?}
6.?selfdestruct可以定義任意受益者,而不會調用fallback
當你以為可以通過revert進行阻止所有人向你付款ether時,你可能又錯了。攻擊者通過創建一個合約,并且然后銷毀這個合約。銷毀合約以太坊將退還一部分ether作為鼓勵,而這個退還可以指定任意受益者,而對方的fallback函數不會被調用。
這就是說,開發者要意識到你沒有辦法完全阻止別人向你的合約賬戶轉移ether。
7.?未正確使用delegatecall
在使用delegatecall時,要注意上下文的變化。用call進行合約調用時,上下文被切換至被調用合約。而用delegatecall進行合約調用時,上下文依然在本合約。
delegatecall和call不同的調用上下文也是合約安全漏洞較常出現的地方。
8.不同方法傳氣不一樣
當我們進行ether轉移時,不同的方法傳氣不一樣。使用send()和transfer()?傳遞氣僅為2300,而使用call.value()()?則將剩余的氣全部傳遞。因此,最新的安全規范是建議使用call而不是?send或者transfer進行ether轉移。
如果你發現一個合約還是使用send或者transfer,那么你可以制造出目標合約,讓其轉移OutofGas。
結語
以上這些點是合約代碼最常出現問題的點。每個錯誤的原因都比較原子化,理解相應的原理可以幫助我們有效地避免這些問題。當合約邏輯復雜時,一定會有更加復雜、隱藏得更深的邏輯問題,這時,這些原子點的檢查依然可以幫助我們找到它們。
以太坊智能合約的安全問題主要是因為其“過于靈活”引起的。靈活性和安全性如同天平的兩端。以太坊選擇了靈活性,某種程度上便把安全性的潛在風險留給了市場。
一個DeFi項目能否安全穩定地運行,或是會被黑客攻擊,取決于合約開發人員對原理的理解、對細節的把控,以及嚴肅認真的態度。線上合約犯錯的代價是巨大的,這就對合約開發人員提出了更高的要求!
Tags:以太坊ALLETHTHE以太坊幣最新價格美元是多少ALLBIH幣YFEthereumSouth African Tether
比特幣行情分析: 從四小時線上看比特幣行情下跌到17500點后開始持續跌17391的位置,MACD成死叉運行綠色動能柱縮量.
1900/1/1 0:00:00今天中午比特幣加速一氣呵成的漲破18000美金,有種沖頂的感覺,在沖高至18000美金附近,發現朋友圈的幣民都開始熱鬧了起來,這時候比特幣突然斷頭砸了下來.
1900/1/1 0:00:00?那么,如何制定和執行交易計劃呢?要弄清楚這個問題,我認為需要明白以下幾個理念:交易計劃的含義和特點是什么?一份合格的交易計劃應該包括哪些環節? 執行計劃的障礙有哪些? 交易計劃的含義 交易計劃.
1900/1/1 0:00:00以太坊開發商ConsenSys收購以太坊智能合約開發工具Truffle背后的團隊和其技術,具體收購金額暫未披露。用戶可使用Truffle訪問內置的智能合約編譯、鏈接、部署和管理功能.
1900/1/1 0:00:00Gate.io永續合約USDT實盤交易爭霸賽已于北京時間2020年11月4日推出,目前火熱進行中!20000GT總獎池獎勵交易強手,最高100倍杠桿,獲獎名額30名,連續12天每日決出贏家.
1900/1/1 0:00:00炒比特幣短線交易有什么好處?投資理財不是包zhuan,炒比特幣亦是如此,綜合的說,炒比特幣是一個投資行為.
1900/1/1 0:00:00