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

智能合約安全千萬條 訪問權限設置第一條_LIC

Author:

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

引子: “庖人雖不治庖,尸、祝不越樽俎而代之矣。”  -- 《莊子·逍遙游》

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

“越俎代庖”

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

Nameless創始人:許多NFT項目缺乏足夠的智能合約測試:金色財經報道,NFT鑄造平臺Nameless創始人Jimmy McNelis近日表示,許多NFT項目在缺乏足夠且適當的智能合約測試情況下匆忙上市,有些項目甚至會跳過審計環節,最終導致投資者遭受巨大損失,比如Akutars就因為合約漏洞問題導致 11,539 ETH(價值約 3400 萬美元)被永久鎖定。Jimmy McNelis指出,項目的測試階段非常關鍵,因為就技術和市場解決方案而言,它將真正決定你的發布或發布是否成功。(Cointelegraph)[2022/9/24 7:18:13]

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

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

2.1 合約中的“俎”與“庖”

KSwap智能合約已通過知道創宇和armos安全審計:近日KSwap智能合約通過知道創宇和armos的安全審計。兩家審計機構均認為,KSwap代碼庫的組織結構相對清晰,風控系統較嚴謹。

KSwap是一個部署在OKExChain上的去中心化交易平臺。KSwap實現了數字貨幣的兌換,以及流動性挖礦與交易挖礦等多種挖礦機制,同時也率先推出KUniverse和KStarter等產品。[2021/7/29 1:22:36]

如何理解合約中的“俎”與“庖”呢?先來看一段合約代碼,如下圖所示:

這一段合約代碼出自ethernaut靶場的第一題Fallback。針對于靶場中的問題,解題思路是通過調用回調函數function() payable public來觸發owner = msg.sender;,使得合約的所有者變成調用者。題目非常的簡單,只要向此合約發起一筆交易,且滿足require的條件就可觸發fallback函數。

Dillon Chen:Edgeware可能成為波卡網絡第一個智能合約平臺:BiKi交易平臺與Polkadot(波卡)生態聯合舉辦的主題為“探究Polkadot生態的奧秘”AMA于2020年3月20日20點舉行,參與此次AMA的分別為波卡生態內五個項目,分別為Edgeware、Phala Network、LamianrChain、ChainX、Darwinia。

Edgeware聯合創始人及CEO Dillon Chen在此次AMA中表示:Edgeware很可能會成為波卡網絡上第一個智能合約平臺,我們的競爭優勢在于波卡區塊鏈互操作性、安全性、以及我們的WASM合約運行。[2020/3/20]

正常情況下,在對一個合約調用中,如果沒有其他函數與給定的函數標識符匹配,或者沒有提供附加數據,那么fallback 函數會被執行。一般是作為轉入以太幣的默認操作。所以智能合約開發時一般是不需要將owner = msg.sender寫到fallback函數中的。如下圖所示:

聲音 | 萬通集團創始人馮侖:用智能合約可自動生成房地產交易環節:11月26日,御風集團董事長、萬通集團創始人馮侖在“WISE2019新經濟之王”大會上表示,新技術和房地產在六個方面有深度關系,最重要的是在交易環節,現在用智能合約可自動生成交易,同時保證安全,未來隨著區塊鏈等技術的發展等,房地產資金的集合方式、交易方式、不動產證券化方式都將會發生變化,這些東西的變化會帶來房地產行業運營模式、交易質量等的變化,新經濟是無孔不入的。[2019/11/26]

然而,在這里本不該被用戶調用的owner=msg.sender被調用了,導致權限控制不當,產生了越權,“俎”與“庖”就這樣發生了接下來的故事。

2.2 相關安全事件

2.2.1 Bancor合約事件

2020年6月18日,Bancor network(0x5f58058c0ec971492166763c8c22632b583f667f)被爆出存在漏洞。漏洞產生的原因是合約中存在一個public的safeTransferFrom方法,使得攻擊者可以直接調用此方法授權給Bancor network合約的代幣轉出到任意賬戶。

現場丨TEZOS JAPAN Smith:區塊鏈價值實現需要智能合約:金色財經現場報道,6月29日,在東京舉辦的BLOCK CO+ TOKYO CONFERENCE 2018峰會上,TEZOS JAPAN Smith表示區塊鏈轉變為價值需要智能合約,但兩個技術同時使用會增加成本,被篡改的風險也會增加,因此需要更開放的網絡。Token是非常有益的,因為有了智能合約的力量,智能合約符合了條件就能交易,也能夠啟動其他價值,如數據價值。但其管理成本很高,比如合約的管理、檢索都需要時間和成本。[2018/6/29]

其關于轉賬和授權的三個函數權限均為public,這使得任何用戶都能對其進行調用。本次事件涉及資金50W余美元。詳細代碼如下圖所示:

權限為public的safeTransferFrom方法這個“奸臣”并沒有得到Bancor合約“國王”的許可,直接奪走了“國家”的“財政大權”。幸而Bancor network團隊和白帽首先發現了此問題,并對資金進行了轉移。在后續也對該漏洞進行了修復,才得以避免損失。詳細分析見(https://mp.weixin.qq.com/s/vN1bNLqdvr8JEqq9QI0X1Q)

而同樣的事件也在另外一個合約中上演,接下來我們將介紹6月底的VETH合約漏洞事件。

2.2.2 VETH項目事件

2020年6月30,VETH項目被爆出漏洞。本次事件中“越俎代庖”的主角則是合約中的changeExcluded函數的external修飾符。

external修飾符使得任何人都可以調用changeExcluded函數來繞過transferFrom函數內部的授權轉賬額度檢查,將合約的VETH代幣盜走。

此次事件,攻擊者利用此漏洞盜走919299個VETH后大量拋售,導致VETH代幣價值瞬間流失。詳細見(https://mp.weixin.qq.com/s/plbSmpMfvIk_A457GoUaQA)涉及到的合約代碼如下圖所示:

通過以上兩個案例,相信大家已經意識到了合約中“越俎代庖”事件的嚴重影響,那么如何在合約代碼編寫的過程中有效的區分“俎”與“庖”呢?

2.3“俎”、“庖”信息大揭秘

針對越權事件,首先需要合約開發人員了解函數可見性。

函數的可見性,一共有external、public、internal和private四種:

External

外部函數作為合約接口的一部分,意味著我們可以從其他合約和交易中調用。 一個外部函數 f 不能從內部調用(即 f 不起作用,但 this.f() 可以)。 當收到大量數據的時候,外部函數有時候會更有效率,因為數據不會從calldata復制到內存.

Public

public 函數是合約接口的一部分,可以在內部或通過消息調用。對于 public 狀態變量, 會自動生成一個 getter 函數(見下面)。

Internal

這些函數和狀態變量只能是內部訪問(即從當前合約內部或從它派生的合約訪問),不使用 this 調用。

Private

private 函數和狀態變量僅在當前定義它們的合約中使用,并且不能被派生合約使用。

開發人員在構造一個函數時,應當遵循這些可見性進行開發,要明確哪些函數是可以由用戶調用的“俎”,而哪些又是合約中不能任意替代的“庖”,以最小原則進行分配。

比如一個函數safeTransfer在設計時是用于轉賬操作的,用戶可以通過調用此函數,轉賬此合約發行的代幣。我們使用public和external都可以滿足需求,但就安全的角度,我們應當使用external,避免合約內對此函數進行調用,造成不可預期的風險。如存在有一個safeTransferFrom函數,用戶可以通過授權給此合約其他代幣,將其他代幣轉移到一個指定地址的,當_token等于合約本身時,就會以合約本身的身份調用sadeTransfer函數,即而將合約內的錢轉到其他地址。

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

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

就鏈上現狀來看,智能合約權限管理錯誤造成的漏洞比比皆是,其中不乏很多“著名項目”,而此類漏洞造成的損失也是巨大的。成都鏈安安全團隊依據多年合約審計和鏈上分析安全經驗給出以下幾點建議:

1、 遵循權限最小化開發原則,在設計函數時應當就規劃好可見性。

2、 建立角色機制,使用修飾器對各函數進行權限管理,避免紕漏。

3、 上線前一定找專業機構做好代碼審計,正所謂“一人一個腦,做事沒商討;十人十個腦,辦法一大套”。

Tags:ERNTERETHLICPixer EternityTop Down Survival Shooterreth幣暴跌galaxy-public-blockchain

幣安app官網下載
COMP十天漲17倍 DeFi真的能做到這么暴利嗎?_DEF

從盈利性的角度來看,目前中心化普惠金融的狀態可能就是DeFi未來的樣子。眾所周知,無論對于平臺還是對于用戶來說,理財型盈利往往沒有投資型盈利來得可觀.

1900/1/1 0:00:00
罰款1850萬美元 返還12億美元 Telegram與SEC和解_RAM

自去年10月以來,Telegram和美國證券交易委員會(SEC)就其區塊鏈項目17億美元的ICO問題一直爭執不休,但最終雙方就如何解決這起歷時8個月的官司達成了一致.

1900/1/1 0:00:00
Curve:成績與顏值形成鮮明對比的DEX_USD

(杰內普的水車,梵高)當我們提到DEX賽道,Curve是繞不過去的項目。它鎖定的資產量達到7300多萬美元,當前(截止到藍狐筆記寫稿時)在DEX類別中排名第二,僅次于Balancer,超過Ban.

1900/1/1 0:00:00
7.18早間行情:行情震蕩反彈暫消除進一步的下行風險

昨晚行情整體又進行了一波幾十個點的小反彈,震蕩區間也稍微上移了一個階段,且試探過前期壓力轉支撐的位置并確認有效,整體依然可以看作是區間大一些的震蕩,但確實暫時緩解了進一步的下行風險.

1900/1/1 0:00:00
金色薦讀 | 一文讀懂中心化交易所解決方案StarkEx_中心化交易所

金色財經近期推出金色硬核(Hardcore)欄目,為讀者提供熱門項目介紹或者深度解讀。按:2020年6月4日,零知識證明開發機構StarkWare在以太坊主網上線了擴展性引擎StarkEx,并已.

1900/1/1 0:00:00
Voice最新宣傳片出爐:7月4日面向全球免費開放_ICE

今日,Voice如約而至,并更新一則最新宣傳片。 NFT游戲平臺VOID展示游戲武器設計過程:2月14日,NFT游戲平臺VOID發布游戲中武器RX01的建模設計過程視頻,同時也呈現了RX01的設.

1900/1/1 0:00:00
ads