以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

以太坊:從一道CTF題折射出的智能合約安全問題

Author:

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

belluminarbank是俄羅斯戰隊在WCTF上出的一道EVM題目,其中用到了很多ETH中經典的漏洞。雖然難度都不是很大,但是如果對EVM相關特性不了解的話還是有一定難度的,我們就來介紹一下ETH智能合約中的安全問題。

這道題的題目是一個存儲交易類合約,用戶可以通過給合約發送ether實現將ether存儲在合約中的目的。攻擊者的目標就是將存儲在這個合約里的所有ether全部取走。

我們不講這個WCTF的題目,主要是了解智能合約中的安全問題有哪些,危害多大;

就以太坊智能合約的安全漏洞。新加坡國立大學的LoiLuu提出了現在的智能合約存在的幾種安全漏洞。然而,由于智能合約目前還只是初級階段,相信各種安全問題會不斷的發現。

重入漏洞:

也被稱為或與空競爭,遞歸調用漏洞,未知調用等。

Bit Digital2023年第一季度賺取362個比特幣:金色財經報道,數字資產礦業公司Bit Digital,Inc.公布了其未經審計的第一季度財務業績截至2023年3月31日。截至2023年3月31日,公司擁有現金、現金等價物和受限制現金2920萬美元,總流動性(定義為現金等價物和受限制現金、USDC以及數字資產的公平市場價值)約為7130萬美元。總資產為9220萬美元。截至2023年3月31日,股東權益為8700萬美元。公司在本季度賺取了362.0個比特幣。分別在原生質押和Portara流動性質押中賺取8.7ETH和23.0rETH-h。BTC和ETH的持有量分別為724.8和9,136.2,公允市值分別約為2060萬美元和1660萬美元。[2023/6/14 21:35:11]

菲爾戴安說過:這種漏洞在很多時候被很多不同的人忽略:審閱者傾向于一次一個地審查函數,并且假定保護子例程的調用將安全并按預期運行。

美國共和黨談判代表:昨天債務談判出現重大挫折:金色財經報道,美國眾議院議長麥卡錫表示,他將在周一下午會見拜登。債務上限談判代表周日將會面。美國共和黨談判代表稱,昨天債務談判出現重大挫折,任何債務協議都需要有多年支出上限。[2023/5/22 15:17:25]

重入攻擊介紹:

1.重入攻擊,可能是最著名的以太坊漏洞;第一次被發現時,每個人都感到驚訝。

2.它在數百萬美元的搶劫案中首次亮相,導致了以太坊的分叉。

3.當初始執行完成之前,外部合同調用被允許對調用合同進行新的調用時,就會發生重新進入。

4.對于函數來說,這意味著合同狀態可能會在執行過程中因為調用不可信合同或使用具有外部地址的低級函數而發生變化。

在以太坊中,當一個合約調用另一個合約的時候,當前的操作就要等到調用結束之后才會繼續。這時,如果被調用者需要使用調用者當前所處的狀態,那么這就產生了問題。

知情人士:第一公民銀行正從美國FDIC手中收購硅谷銀行:金色財經報道,知情人士稱,美國第一公民銀行(First Citizens BancShares)正在就收購硅谷銀行進行深入談判,最早可能在周日達成協議,從美國聯邦存款保險公司(FDIC)手中收購硅谷銀行。

知情人士補充說,最終決定尚未作出,談判可能會失敗。(彭博社)[2023/3/27 13:28:38]

著名的DAO攻擊事件就是因為這個漏洞而發生的。

示例:

1.個聰明的合同跟蹤些外部地址的平衡,并允許戶通過其公共資檢索withdraw()功能。

2.個惡意的智能合同使withdraw()函數檢索其全部余額。

3.在更新惡意合同的余額之前,受害者合同執call.value(amount)()低級別函數將以太發送給惡意合同。

觀點:DOGE適合作為打賞代幣:1月12日消息,Bitcoin Magazine在社交媒體上稱,Twitter將推出應用于打賞的虛擬資產Coins。對此,小牛精選特邀分析師保羅大帝認為,之前,馬斯克構想了基于區塊鏈的推特,將tweets嵌入到交易評論中,用戶必須為每條評論或轉發的評論支付 0.1 Doge。0.1Doge既可以防止Twitter垃圾賬號和信息,打賞的成本也不高。總體而言,DOGE 就非常適合作為打賞代幣的。

Twitter將成為全球用戶體量最大的web3公司,推動web3和加密行業的發展,后續預計會有更多的企業跟進。另外,DOGE今年3月份進行1.21升級icon。[2023/1/12 11:08:28]

4.該惡意合同有個付fallback()接受資的功能,然后回調到受害者合同的withdraw()功能。

5.第次執會觸發資轉移:請記住,惡意合同的余額尚未從次提款中更新。結果,惡意合同第次成功退出了全部余額。

以下函數包含易受重攻擊影響的函數。當低級別call()函數向msg.sender地址發送ether時,它變得易受攻擊;如果地址是智能合約,則付款將觸發其備功能以及剩余的交易體:

交易順序依賴合約:

交易順序依賴就是智能合約的執行隨著當前交易處理的順序不同而產生差異。例如,有兩個交易T和T,兩個區塊鏈狀態S和S,并且S狀態處理完交易T后才能轉化為狀態S。那么,如果礦工先處理交易T,交易T調用的就是S狀態下的智能合約;如果礦工先處理交易T再處理交易T,那么由于先執行的是T,合約狀態就轉化為S,最終交易T執行的就是狀態S時的智能合約。

攻擊方法舉例:

攻擊者提交一個有獎競猜合約,讓用戶找出這個問題的解,并允諾給予豐厚的獎勵。攻擊者提交完合約后就持續監聽網絡,如果有人提交了答案的解,此時提交答案的交易還未確認,那么攻擊者就馬上發起一個交易降低獎金的數額使之無限接近0。當礦工處理這兩個交易時,當前交易池就有兩個待確認交易:一個交易是提交答案,一個交易是更改獎金數額。如果礦工先處理的是敵手更改獎金的交易,而敵手可以通過增加交易費用讓礦工先處理自己的交易,那么等到礦工處理提交答案的交易時,答案提交者所獲得的獎勵將變得極低,敵手就能幾乎免費的獲得正確答案。

時間戳依賴合約,也稱時間篡改;

礦工處理一個新的區塊時,如果新的區塊的時間戳大于上一個區塊,并且時間戳之差小于900秒,那么這個新區塊的時間戳就是合法的。這是以太坊協議所規定的。時間戳依賴顧名思義就是指智能合約的執行依賴當前區塊的時間戳,隨著時間戳的不同,合約的執行結果也有差別。

攻擊方法舉例:

1.一場比賽在今天午夜付出了第一名球員。

2.惡意礦工包括他或她試圖贏得賽并將時間戳設置為午夜。

3.在午夜之前,礦工最終挖掘該塊。當前的實時時間“能夠接近”到午夜,絡上的其他節點決定接受該塊。

以下功能只接受特定期之后的呼叫。由于礦可以影響他們區塊的時間戳,他們可以嘗試挖掘個包含他們交易的區塊,并在未來設定個區塊時間戳。如果夠接近,它將在網絡上被接受,交易將在任何其他玩家試圖贏得比賽之前給予礦工以太:

誤操作異常:

在以太坊中,一個合約調用另一個合約可以通過send指令或直接調用另一個合約的函數。然而在調用過程中可能會出現錯誤,調用的合約就會回退到之前的狀態。那么這個異常就可能無法很好地被調用者獲知,這取決于調用方式。例如,通過send指令調用的合約應該通過檢查返回值來驗證合約是否被正確執行。

攻擊方法舉例:

有個名KingOfTheEtherThrone的智能合約:用戶可以通過一定數量的以太幣成為“以太幣國王”,支付的數額由現任國王決定。很顯然,當前國王可以通過買賣國王獲得利潤。當一個用戶聲稱為國王后,合約就發送賠償金給現任國王,并指定這個用戶為新的國王。然而,這個合約并沒有檢查支付賠償金的交易的結果。這樣一旦合約在執行過程中產生了異常,現任國王就有可能同時失去王座和賠償金。

可能的攻擊方式就是敵手故意超出調用棧的大小限制。以太坊虛擬機規定調用棧的深度為1024。敵手在攻擊之前,首先調用自身1023次,然后發送交易給KoET合約,這樣就造成了合約的調用棧超出了限制,從而出現了錯誤。合約出錯后,因為這個合約沒有檢查合約的返回值,那么如果合約在發送賠償金給現任國王的過程中出現了異常,那么現任國王極有可能失去王座和賠償金。

Tags:以太坊ETHWCT以太坊幣是什么幣ETH錢包地址ETH挖礦app下載Etherael指什么寓意WCT幣是什么幣

比特幣行情
OIN:傳銷幣FOIN利用張惠妹等明星人氣在臺灣大肆行騙

據臺灣多家媒體報道,近日,一家名為富南斯國際投資的公司,最近在臺灣舉辦多場說明會招募會員,并以每單位1萬美元的高價吸金,7萬會員吸金約300億元新臺幣.

1900/1/1 0:00:00
區塊鏈:Block.One首席執行官:比特幣將取代黃金成為儲值的主要儲價商品

Block.One首席執行官認為,比特幣將取代黃金成為儲值的主要儲價商品 比特幣取代黃金?Block.One首席執行官布蘭登·布魯默贊同加密社區和知名人士的大部分內容.

1900/1/1 0:00:00
DOS:中產最愛買哪些羊絨產品?

立冬一過,全國各地開始降溫,北方猝不及防地迎來了冬天。眼看著又到了不想離開被窩的時節,媽媽們則比平時更加忙碌,她們開始整理衣櫥里的衣服,把夏天穿的T恤和裙子收起來,掛上羽絨服、毛呢大衣……順便盤.

1900/1/1 0:00:00
區塊鏈:區塊鏈虛擬貨幣軟件簡述

交易數據加密儲存在互聯網虛擬世界構成區塊,以交易時間排序組成區塊鏈,區塊鏈的基礎算法和存儲信息的格式成為搭建比特幣的基礎.

1900/1/1 0:00:00
BTC:2019年就是投資比特幣的最佳時機

隨著這一年的臨近,一些加密交易員和投資者試圖弄清楚2019年比特幣(BTC)的未來。總部位于舊金山的PanteraCapital的合伙人保羅維拉迪塔基特(PaulVeradittakit)告訴C.

1900/1/1 0:00:00
比特幣:2018年是比特幣最成功的一年,看了這些取得的成就你就明白了

很多分析師,包括前比特幣空頭MarkDow在內,都在關注加密貨幣的價格,以確定其基本面的健康狀況.

1900/1/1 0:00:00
ads