加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads
首頁 > USDT > Info

盤點DeFi合約審計中的那些“套路”,你中招了嗎?_DEF:區塊鏈技術發展現狀和趨勢

Author:

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

DeFi項目正式部署前,通過合約的安全審計,不僅可以對項目的代碼規范、漏洞情況以及業務邏輯等方面進行全局核查。同時,項目審計對于項目方在投資市場的形象也具有一定塑造作用。

市場投資者在遴選項目時,如有項目方加持合約審計經歷,并對審計方、審計報告等信息進行公開披露,投資可信度無疑會大幅提高。并且,項目方完善的安全立場建設意識,在無形中也將賦予項目額外的價值。

與此同時,DeFi項目方在運營過程中,保持與安全審計公司的長期業務合作,不論是對安全管理還是業務擴展都將大有裨益。畢竟,在項目長期發展過程中,階段性安全審計機制能夠及時發現和有效助力解決整體、局部的風險問題。

那么,DeFi合約審計的主要流程、內容以及特點,那些“套路”又是什么呢?

套路一:前期“把脈”

與DeFi項目方的合約審計合作關系達成后,在了解項目整體情況,包括構架、業務設計等方面的基礎上,指派具有相關項目審計經驗的安全測試團隊進行專項服務,同時,明確項目檢測范圍以及相應需求側重點。做好前期“把脈”,其主要內容包括:

Cointelegraph盤點波場TRON 2022年度22大成就:1月8日消息,日前,區塊鏈行業媒體Cointelegraph發布波場TRON 2022年度的22大成就, 主要包括:TRON DAO成為世界上最大的DAO、擴大與火必的合作、推出穩定幣USDD、TRX和USDD獲得更多應用場景、成為多米尼克國家公鏈、建成行業第二大穩定幣生態系統、被評為最環保區塊鏈、TVL規模僅次于幣安以及用戶帳戶從6900萬增長到1.32億等。

Cointelegraph在文中稱,2022年是波場TRON歷史性增長的一年,全年累計新增用戶6300萬。作為加密行業的全球潮流引領者,波場TRON正在打造一個可以為每個人服務的生態系統基礎設施。[2023/1/8 11:00:51]

1、?DeFi項目方提供真實、有效且為審計所需的各項技術、代碼、文檔等資料。

2、?正式進入檢測環節前,安全團隊將對提供的材料進行全面評估,以確定周期。

3、?確定測試服務范圍,包括定向模塊、局部代碼、全面安全審計等。

4、?完成相關需求對接,即對源代碼、應用程序、文件信息、測試環境的最終確認。

Cobo 鏈上安全團隊盤點分析 1 月區塊鏈安全事件:2月17日消息,Cobo安全研究團隊近日盤點并解析了 1 月發生的典型區塊鏈安全事件,對跨鏈橋、智能合約、錢包等多種類型的真實攻擊案例和漏洞進行了技術解讀,并為普通用戶規避區塊鏈中的安全風險提供了一些建議。建議普通用戶及時撤銷無限授權、留意未審計項目風險等。

Cobo 區塊鏈安全研究團隊成員來自知名安全實驗室,有多年網絡安全與漏洞挖掘經驗,曾協助谷歌 、微軟處理高危漏洞。團隊目前重點關注智能合約安全、DeFi 安全等方面 ,研究并分享前沿區塊鏈安全技術。[2022/2/17 9:57:31]

為了對DeFi項目合約的代碼規范性、安全性以及業務邏輯等方面進行嚴格的安全審計,在測試明確后,處理合約審計的常規方式有:

形式化驗證

靜態分析

動態分析

典型案例

人工審核

套路二:形式化驗證

形式化方法是實現安全、可信軟件的最可靠的手段,它利用基于數學的符號系統給出軟件正確性、安全性的嚴格定義和形式證明。其中,嚴格定義被稱為形式化規范,是一種用清晰、簡明的手段來刻畫軟件功能或特性的邏輯表達式。

“漢語盤點2021”活動正式啟動:虛擬貨幣、元宇宙入圍年度推薦字詞:金色財經報道,11月19日,由國家語言資源監測與研究中心、商務印書館等聯合主辦的“漢語盤點2021”啟動儀式在商務印書館舉行。啟動儀式上,主辦方推出“專家版本”和“大數據版本”的年度推薦字詞,其中國家語言資源監測與研究中心通過監測語料庫推薦的國際詞有氣候峰會、東京奧運會、塔利班、德爾塔、虛擬貨幣,清華大學教授沈陽作為“漢語盤點”活動的評議專家,推薦了“治、離、元宇宙、碳中和”等年度字詞。12月20日,“漢語盤點2021”揭曉儀式將揭開年度字詞的面紗。[2021/11/20 7:00:36]

在合約審計中,形式化方法通過的是定性需求屬性,從而證明程序不存在某類安全漏洞。另一方面,傳統測試方法則是通過檢查代碼在一組選定的輸入上是否按照預期運行,以此說明程序是否存在安全漏洞,但這無法證明同類型安全漏洞不存在。

此外,傳統測試方法很容易漏掉在罕見或惡意構造場景下觸發的錯誤,以及由于大量“不可能事件”連續發生導致的錯誤。然而,形式化方法則可通過明確代碼意圖、提供輸入空間的完整覆蓋來發現上述微妙錯誤,進而實現程序的安全性、可靠性增強。

動態 | Cointelegraph盤點2019年最具活力和影響力的區塊鏈公司:Cointelegraph發文盤點2019年最具活力和影響力的區塊鏈公司,具體如下:

1. 加密貨幣托管和清算獲得動力:Gemini;

2. 去中心化穩定幣交易加速:Maker/DAI;

3. 游戲協議吸引主流興趣:TRON / WINk;

4. 利用不斷擴展的開發者社區:Ethereum;

5. 比特幣生態系統中的智能合約和DeFi:RSK;

6. 衍生品讓機構投資者的興趣達到頂峰:Bakkt;

7. 向加密生態系統添加資本市場功能:Binance;

8. 打開法幣閘門:Simplex;

9. 擴大對加密解決方案的訪問和認知:Coinbase;

10. 傳統支付公司利用加密技術并鼓勵采用:Skrill。[2020/2/10]

成都鏈安創始人、多年形式化驗證研究專家楊霞教授表示,

“傳統驗證手段無法窮盡可能的情況,而形式化驗證則可以做到窮舉,對智能合約漏洞檢測而言,該方法最為可信和有效。

午間行情盤點:BTC全球均價8771美元,漲幅0.42%,火幣Pro上交易價格為8761美元,幣安交易價格為8766美元,OKEx上交易價格為8778美元。其它主流幣種在火幣Pro的行情為,BCH現價1270美元,漲幅3.98%;ETH現價861美元,漲幅3.17%;ETC現價34.52美元,漲幅11.13%;LTC現價182.2美元,漲幅16.89%;XRP現價1.02美元,漲幅3.87%。[2018/2/14]

作為針對以太坊智能合約安全檢測開發的定制化工具,成都鏈安的Beosin-VaaS一鍵式智能合約自動形式化驗證工具,可精確定位到含有風險的代碼位置并指出風險原因,有效檢測智能合約常規安全漏洞的精確度高達97%以上,為智能合約代碼提供‘軍事級’的安全驗證。”

套路三:代碼規范審計

在代碼規范審計中,主要測試項目有:

編譯器的版本問題可能會導致各種已知安全問題,開發者應在代碼中指定合約代碼采用最新的編譯器版本,并消除編譯器告警。

同時,Solidity智能合約開發語言處于快速迭代中,部分關鍵字已被新版本的編譯器棄用,如throw、years等,為消除其可能導致的隱患,當前編譯器版本已經棄用的關鍵字應被禁用。

在智能合約中,冗余代碼會降低代碼可讀性,并可能需要消耗更多的gas用于合約部署,因此,必須找出并消除冗余代碼。此外,合約中是否正確使用SafeMath庫內的函數進行數學運算需要嚴格檢查。

Solidity使用狀態恢復異常來處理錯誤,該機制將會撤消對當前調用及其所有子調用中的狀態所做的所有更改,并向調用者標記錯誤。

函數assert和require可用于檢查條件并在條件不滿足時拋出異常。assert函數只能用于測試內部錯誤,并檢查非變量。require函數用于確認條件有效性,例如輸入變量,或合約狀態變量是否滿足條件,或驗證外部合約調用的返回值。

以太坊虛擬機執行合約代碼需要消耗gas,當gas不足時,代碼執行會拋出outofgas異常,并撤銷所有狀態變更。合約開發者需要控制代碼的gas消耗,避免因為gas不足導致函數執行一直失敗。

另外,合約函數的可見性是否符合設計要求,以及在當前合約中是否正確使用了fallback函數都需要進行嚴格檢查。

套路四:DeFi安全漏洞審計

目前,業務邏輯漏洞在DeFi項目中最為常見。由于項目業務邏輯設計的不嚴謹,極可能導致項目在特定情況下出現內部失衡。

需要注意的是,DeFi項目基于區塊鏈智能合約開發,具有很多傳統金融體系以外的特性,比如:

單筆交易可發起多個內部交易,失敗可回滾

具有通縮性質的代幣

合約代碼不可修改

同時,審計中常見的還有合約權限錯誤,即合約中函數的可見性修飾錯誤。通常,這是由于調用者和參數沒有進行有效驗證,導致函數被惡意用戶調用,從而釀成巨大的損失。

類似傳統安全問題,錯誤的權限配置和無效的安全檢查都會給系統帶來巨大的風險。但不同的是,智能合約的不可修改性使得此類問題即便被發現也不一定能得到有效修復。

另外,重入漏洞也是審計的重點。具體而言,當合約向外發起call調用后,攻擊者可利用合約調用的特性反復調用函數,導致合約預期的執行順序發生錯誤,以此竊取目標賬戶的資產。

在審計中,代碼錯誤出現頻率也很高。這主要是由于開發人員失誤導致的一些代碼編寫錯誤。常見的有單位錯誤、忘記乘以精度、&使用錯誤等。在YAM漏洞事件中,代碼在進行彈性調整rebase時,其代碼正是忘記乘以精度,如圖所示:

在確保代碼和漏洞深度檢測的同時,項目業務方面也設置有業務邏輯和實現方面的相關審計,包括對DeFi項目中涉及代幣基本信息的檢查,以及代幣標準相關的函數的確認,特別是對鑄幣、銷毀代幣、更改owner及其它特殊權限的審查和風險分析。

很多項目中都存在代理轉賬的邏輯,在處理此類邏輯時,很多項目方會直接要求用戶授權最大值代幣給項目方的合約,如下圖所示:

如此一來,合約就有權將用戶資金全部轉走。此外,還有雙重授權的問題,項目方網站在進行授權時,發起了兩筆授權,一筆授權給合約地址,一筆授權給外部地址,如用戶對此沒有提防,將會面臨極大的資金風險。

套路五:審計報告

合約審計最終服務于DeFi項目中的資金安全,而這方面諸多問題的出現都與函數、算法的不當存在關聯。因此,合約審計就是要指出可能引發資金風險的內容,也就是潛藏隱患以及亟需修正的代碼、漏洞、邏輯等問題。

在審計報告中,除了審計時間、歷時以及審計人等基本信息外,還會體現對項目的投資預警提示。審計報告的核心內容,是體現受檢智能合約在設計和代碼實現等多方面、多維度的審計結果。同時,報告將指出發現的各類風險問題,并將其告知項目方以便修復。

通過審計報告,合約的風險成分,包括潛在可遭遇的攻擊,不同級別、層面的漏洞將被詳盡提示。只不過,安全審計報告中醒目的“通過”二字,不應該作為投資者僅有的投資判斷依據。

結語

合約審計并不屬于項目本身的利好消息,而是上線前必要的一項安全工作,無論是對項目方還是投資者都具有重大的意義。

投機市場或是狂暴或是蕭條,行走其間不按套路出牌,終將也會受制于“套路”。略瞥其中,唯有防患于未然的安全之峰,巍然。

?

Tags:DEFEFIDEFI區塊鏈fdudefiDEFILANCER價格TRD-DeFi區塊鏈技術發展現狀和趨勢

USDT
三箭聯合創始人Su Zhu:從 DOT 重定面額解讀波卡鏈上治理實踐_DOT:Polkadot

原文鏈接:Deribit作者:三箭資本聯合創始人SuZhuPolkadot是一項期待已久的協議,它將成為2020年發布的最大主網協議之一.

1900/1/1 0:00:00
觀點 | 流動性挖礦:做市商和交易者是什么關系?礦幣意義何在?_DEX:比特幣

ICO曾經風靡一時,如今幾乎消聲匿跡。IEO曾經火爆異常,如今已漸涼涼。區別是,ICO幾乎沒了,而IEO還在。今年,交易所還啟動過IEO。幣安就曾經用IEO形式上線了sand.

1900/1/1 0:00:00
美聯儲、歐洲央行和英國央行等7家央行發布CBDC綜合報告,說明數字貨幣設計方法_CBD:CBD幣

要點: 一個由七個中央銀行和國際清算銀行組成的小組已發布了有關數字貨幣的綜合報告,詳細說明了數字貨幣應該如何設計。該小組成員包括美國聯邦儲備銀行,歐洲中央銀行,英格蘭銀行等.

1900/1/1 0:00:00
研報 | 9月匿名貨幣賽道:路線進展集中在隱私技術迭代等方面_比特幣:GRI

九月份,DeFi依然吸引了業界大部分的注意力,相比之下匿名貨幣的進展整體顯得平穩,但也值得關注。*項目排名選取Coinmarketcap網站2020年9月28日的數據.

1900/1/1 0:00:00
美國國會在聽證會上權衡加密貨幣支付和金融科技貸款_加密貨幣:OCC

在周二的聽證會上,美國金融科技特別工作組聽取了有關新規則的辯論,這些新規則可能會擴大銀行監管,以容納更多提供金融服務的技術公司.

1900/1/1 0:00:00
萬物互聯之下,區塊鏈為我們帶來了什么?_區塊鏈:ITC

9月24日,外灘大會正式在上海開幕。作為全球范圍內迄今為止最大的金融科技大會,首屆“外灘大會”的主題聚焦在“科技讓未來更普惠”.

1900/1/1 0:00:00
ads