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

TER:智能合約安全實踐:功能實現千萬條,權限安全第一條_biteternity

Author:

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

引子:“庖人雖不治庖,尸、祝不越樽俎而代之矣。”--《莊子·逍遙游》古時候,有一位杰出的領袖名叫唐堯。他所治理的地區人們安居樂業,但是他聽聞隱士許由十分有才干,便萌生了將領導權讓給許由的想法。但是許由拒絕了,并說出了這樣一段話“鷦鷯巢于深林,不過一枝。”至此,后人也用越俎代庖一詞來表達越權的含義。

“越俎代庖”在智能合約的實現中存在著訪問權限,如果權限設置不合理,很容易造成智能合約被攻擊,嚴重的還會造成巨大的經濟損失。成都鏈安-安全實驗室對于智能合約安全有著豐富的經驗和積累,但隨著區塊鏈技術越來越受重視,智能合約的數量也越來越多,隨之而來的智能合約被攻擊事件也越來越多,也讓我們感受到了“讓區塊鏈更安全”的企業使命是多么的重要,但是一己之力難于對抗所有的威脅。接下來,我們將會把自己的安全經驗積累通過與智能合約CTF靶場ethernaut相結合,通過技術連載的方式向廣大智能合約開發者普及在開發過程中,如何實現更安全的代碼。

央行數字人民幣智能合約預付資金管理產品“元管家”正式發布:9月8日消息,人民銀行數字貨幣研究所8日在2022第二屆中國(北京)數字金融論壇上發布了數字人民幣智能合約預付資金管理產品-“元管家”。“元管家”在數字人民幣的錢包上部署智能合約,在預付消費服務場景提供防范商戶挪用資金、保障用戶權益的解決方案。(財聯社)[2022/9/8 13:15:57]

現在我們就來聊一聊ethernaut靶場的第一題Fallback,代碼函數“越俎代庖”的事件。一、權限漏洞簡介

越權漏洞是指在智能合約中,因函數可見性設置不合理或函數缺乏有效的驗證導致本不能調用某一函數的用戶通過直接或者繞過驗證的方式成功調用該函數。該漏洞可被單獨利用,也可能結合其他漏洞進行組合攻擊,利用方式簡單,漏洞影響視存在漏洞的函數而定,可能對合約造成毀滅性打擊。二、Fallback“越俎代庖”

DFINITY創始人兼首席科學家:相信十年后會看到在互聯網計算機上部署超過10億個開放式應用及智能合約:10月26日消息,DFINITY創始人兼首席科學家Dominic Williams演講表示,互聯網計算機是基于ICP(互聯網計算機協議)的,ICP協議使用了非常新的加密算法,所以能夠使得互聯網計算機實現世界計算機的功能。通過互聯網計算機區塊鏈,可以存儲所有軟件,包括分布式應用、DeFi、Web3游戲等等。在互聯網計算機中,在許多方面都是去中心化的。首先,它的容器Canister上所有的去中心化應用、智能合約都是去中心化的。另外是沒有主網,只有子網的區塊鏈。相信十年后會看到在互聯網計算機上部署超過10億個開放式應用及智能合約,同時也相信未來十年在互聯網計算機上會出現呈百萬的節點計算機。[2021/10/26 20:57:11]

漏洞原理詳細分析2.1合約中的“俎”與“庖”如何理解合約中的“俎”與“庖”呢?先來看一段合約代碼,如下圖所示:

動態 | 7月以太坊主網智能合約創建數量激增至近13萬:據安比實驗室智能合約監控平臺數據顯示,7月以太坊主網智能合約創建數量激增至近13萬,是前三個月份平均數量的2倍以上。然而,數據貢獻來源并非ERC20 Token的合約創建,7月新增的ERC20合約甚至低于6月。通過分析,發現某單個地址7月累計創建合約數量占當月以太坊主網智能合約創建總數的65.2%。結合反匯編結果及以往分析經驗,該地址大批創建的極可能是與交易所相關的錢包合約,用于管理以太幣及各類Token資產,目前尚無確切資料證實該合約創建者的具體歸屬。[2018/8/7]

圖1這一段合約代碼出自ethernaut靶場的第一題Fallback。針對于靶場中的問題,解題思路是通過調用回調函數function()payablepublic來觸發owner=msg.sender;,使得合約的所有者變成調用者。題目非常的簡單,只要向此合約發起一筆交易,且滿足require的條件就可觸發fallback函數。正常情況下,在對一個合約調用中,如果沒有其他函數與給定的函數標識符匹配,或者沒有提供附加數據,那么fallback函數會被執行。一般是作為轉入以太幣的默認操作。所以智能合約開發時一般是不需要將owner=msg.sender寫到fallback函數中的。如下圖所示:

TrustNote公有鏈全球首發基于DAG技術的智能合約標準TRC-20:近日,TrustNote項目發布了一項技術成果:Token標準規范,即TRC-20。此次,高速異步DAG公有鏈TrustNote發布自己的TRC-20 Token標準,完善了技術生態體系,同時實現了Token發行平臺和高速DAG鏈底層松散耦合,使得用戶可以快速發布自己的Token。[2018/5/4]

圖2然而,在這里本不該被用戶調用的owner=msg.sender被調用了,導致權限控制不當,產生了越權,“俎”與“庖”就這樣發生了接下來的故事。2.2相關安全事件2.2.1Bancor合約事件2020年6月18日,Bancornetwork被爆出存在漏洞。漏洞產生的原因是合約中存在一個public的safeTransferFrom方法,使得攻擊者可以直接調用此方法授權給Bancornetwork合約的代幣轉出到任意賬戶。其關于轉賬和授權的三個函數權限均為public,這使得任何用戶都能對其進行調用。本次事件涉及資金50W余美元。詳細代碼如下圖所示:

美國銀行CEO:美國銀行信任分布式賬本和智能合約的概念 擁有許多區塊鏈專利:今天美國銀行CEO Brian Moynihan在瑞士達沃斯世界經濟論壇接受了雅虎財經的采訪。被問及對比特幣的看法時,Moynihan首先發表了對區塊鏈的看法,他表示美國銀行信任分布式賬本和智能合約的概念,美國銀行擁有的區塊鏈專利比其他公司都要多。Moynihan隨后談到比特幣時表示,匿名貨幣的問題是政策問題。據谷歌專利數據庫的搜索顯示,美國銀行擁有27個包含“區塊鏈”詞的專利,36個專利包含“比特幣”,36個專利包含“數字貨幣”。[2018/1/25]

圖3權限為public的safeTransferFrom方法這個“奸臣”并沒有得到Bancor合約“國王”的許可,直接奪走了“國家”的“財政大權”。幸而Bancornetwork團隊和白帽首先發現了此問題,并對資金進行了轉移。在后續也對該漏洞進行了修復,才得以避免損失。詳細分析見而同樣的事件也在另外一個合約中上演,接下來我們將介紹6月底的VETH合約漏洞事件。2.2.2VETH項目事件2020年6月30,VETH項目被爆出漏洞。本次事件中“越俎代庖”的主角則是合約中的changeExcluded函數的external修飾符。external修飾符使得任何人都可以調用changeExcluded函數來繞過transferFrom函數內部的授權轉賬額度檢查,將合約的VETH代幣盜走。此次事件,攻擊者利用此漏洞盜走919299個VETH后大量拋售,導致VETH代幣價值瞬間流失。詳細見涉及到的合約代碼如下圖所示:

圖4通過以上兩個案例,相信大家已經意識到了合約中“越俎代庖”事件的嚴重影響,那么如何在合約代碼編寫的過程中有效的區分“俎”與“庖”呢?2.3“俎”、“庖”信息大揭秘針對越權事件,首先需要合約開發人員了解函數可見性。函數的可見性,一共有external、public、internal和private四種:-External外部函數作為合約接口的一部分,意味著我們可以從其他合約和交易中調用。一個外部函數f不能從內部調用。當收到大量數據的時候,外部函數有時候會更有效率,因為數據不會從calldata復制到內存.-Publicpublic函數是合約接口的一部分,可以在內部或通過消息調用。對于public狀態變量,會自動生成一個getter函數。-Internal這些函數和狀態變量只能是內部訪問,不使用this調用。-Privateprivate函數和狀態變量僅在當前定義它們的合約中使用,并且不能被派生合約使用。開發人員在構造一個函數時,應當遵循這些可見性進行開發,要明確哪些函數是可以由用戶調用的“俎”,而哪些又是合約中不能任意替代的“庖”,以最小原則進行分配。比如一個函數safeTransfer在設計時是用于轉賬操作的,用戶可以通過調用此函數,轉賬此合約發行的代幣。我們使用public和external都可以滿足需求,但就安全的角度,我們應當使用external,避免合約內對此函數進行調用,造成不可預期的風險。如存在有一個safeTransferFrom函數,用戶可以通過授權給此合約其他代幣,將其他代幣轉移到一個指定地址的,當_token等于合約本身時,就會以合約本身的身份調用sadeTransfer函數,即而將合約內的錢轉到其他地址。

圖5然而只是遵循函數可見性是遠遠不夠的,函數的可見性,只是區分了合約內部、繼承合約和外部這三個界限,遠遠不能滿足我們的需求。想要達到較為完善的權限管理,我們應當引入“角色”的概念,如:管理員、普通用戶、特權用戶等。在合約中存儲這些角色的地址,通過判斷地址或標志變量來進行權限的控制。如下圖所示:

圖6通過修飾器對這些不同的“角色”進行管理,如使用onlyOwner修飾器,限制特定的地址才可調用此函數。對應“角色”的權限管理。使用修飾器的方式,可以更加清晰的判斷出是否存在紕漏。三、安全總結

就鏈上現狀來看,智能合約權限管理錯誤造成的漏洞比比皆是,其中不乏很多“著名項目”,而此類漏洞造成的損失也是巨大的。成都鏈安安全團隊依據多年合約審計和鏈上分析安全經驗給出以下幾點建議:1、遵循權限最小化開發原則,在設計函數時應當就規劃好可見性。2、建立角色機制,使用修飾器對各函數進行權限管理,避免紕漏。3、上線前一定找專業機構做好代碼審計,正所謂“一人一個腦,做事沒商討;十人十個腦,辦法一大套”。

Tags:ERNTERLICPUBbiteternityYour Vote MattersblockchainresearchandapplicationPUBE幣

酷幣交易所
POW:V神力薦、比特大陸重倉的雪崩協議Avax,真得會“上線即雪崩”嗎?_CAVA幣

代幣情況分析 以上就是這個標的我看到稍微有特色的三點,下面來看看目前代幣一個情況。之前的募集及這次的發行情況:代幣總量是7.2億,公開輪之前已經分別完成了600萬美金和1200萬美金的融資,這部.

1900/1/1 0:00:00
加密貨幣:證監會姚前:很多丟幣是交易所“監守自盜”,IPFS是重要發展方向 (附直播要點)_比特幣

7月12日上午,在清華大學公共管理學院與騰訊研究院聯合打造的“明德為公,智達行果-2020公益數字經濟直播講堂”,中國證券監督管理委員會科技監管局局長,信息中心主任姚前進行了直播.

1900/1/1 0:00:00
數字貨幣:央行牽手滴滴要鬧大:數字貨幣+新基建大爆發,概念股早有準備已漲瘋_區塊鏈

7月8日,滴滴方面宣布,日前,中國人民銀行數字貨幣研究所與滴滴出行正式達成戰略合作協議,共同研究探索數字人民幣在智慧出行領域的場景創新和應用.

1900/1/1 0:00:00
虛擬資產:韓國FIU組長:虛擬資產經營者的范圍將在今秋顯出輪廓_加密貨幣

監管當局正在考慮的問題是,目前應該將一切與虛擬資產有關的行為同步納入制度約束范圍?還是首先針對一部分經營者進行約束監管.

1900/1/1 0:00:00
NFT:沃爾沃投資區塊鏈初創公司以追蹤電池中的鈷_CIR

編者按:本文來自Cointelegraph中文,作者:MICHAELKAPILKOV,Odaily星球日報經授權轉載。7月8日,沃爾沃汽車科技基金宣布投資區塊鏈可追溯性初創公司Circulor.

1900/1/1 0:00:00
NFT:吉比特倒下暴露礦圈涉幣大坑_LTG

編者按:本文來自蜂巢財經News,作者:凱爾,Odaily星球日報經授權轉載。一日之內,LTG暴跌超過60%,吉比特礦池客戶端無法登錄,這兩個項目的實控人“雷總”被拘留的消息廣傳于圈內.

1900/1/1 0:00:00
ads