盤點DeFi合約審計中的那些“套路”，你中招了嗎？_加密貨幣

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

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

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

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

套路一：前期“把脈”

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

美股持續走高，道指較3月23日收盤點位上漲20.48%:美股盤中持續走高，道指漲逾1200點，較3月23日收盤點位上漲20.48%；納指、標普500指數分別較3月23日收盤點位上漲約12%、16%。[2020/3/27]

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

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

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

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

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

形式化驗證

靜態分析

動態分析

典型案例

人工審核

套路二：形式化驗證

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

動態 | 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]

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

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

動態 | 中國知識產權報盤點2019專利領域大事件 其中一項與區塊鏈相關:近日，中國知識產權報盤點2019專利領域大事件，其中包括“”區塊鏈：專利布局駛入“快車道”。文章指出，區塊鏈是近幾年的科技熱詞。自中共中央局2019年10月24日下午就區塊鏈技術發展現狀和趨勢進行第十八次集體學習后，區塊鏈再度成為全社會關注的焦點，并登上了各大權威紙媒與電視媒體的頭版頭條。區塊鏈專利領域呈現出四個特點：第一，我國創新主體開展專利布局時間較晚，但是專利申請量呈現快速增長態勢；第二，中美兩國是重要的市場和技術原創國家，中國偏重于國內布局，美國多邊布局態勢明顯，區塊鏈技術申請人分布較為分散，初創公司較多，沒有明顯專利壁壘以及行業領軍企業；第三，針對業內非常關注的區塊鏈的安全性、同步效率問題，我國已探索解決方案并形成一批核心專利；第四，區塊鏈技術應用前景廣闊，但部分技術難題仍懸而未決，亟需突破。[2020/1/19]

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

動態 | 2019年區塊鏈十大事件盤點:1：中國擁抱區塊鏈

2019年10月24日，中央局第十八次集體學習時強調，區塊鏈技術的集成應用在新的技術革新和產業變革中起著重要作用。

2：央行數字貨幣試點

2014年中國央行開始研究法定數字貨幣（DCEP）。DCEP的完整字面意思就是數字貨幣電子支付。

3：Facebook發布Libra計劃

2019年6月，Facebook發布Libra白皮書，Libra的使命是建立一套簡單的、無國界的貨幣和為數十億人服務的金融基礎設施。

4：去中心化金融DeFi

去中心化金融（DeFi），解決傳統金融行業中的痛點，被稱作DeFi 是加密史上第二個突破。

5：IEO開始流行

IEO是ICO之后，幣圈誕生的一種新籌集資金方式，項目方依托交易所進行資金籌集。

6：Bakkt 推出比特幣期貨

2019年9月23日， 號稱幣圈牛市的發動機的Bakkt上線。

7：嘉楠科技上市

美國東部時間11月21日嘉楠科技正式上市納斯達克，IPO發行價最終鎖定在每股9美元，總計募資9000萬美元。

8：模式幣走紅幣圈

模式幣，使用類似模式的幣種，通過拉人頭、分紅、合伙人等等推廣營銷模式，配合資金控盤，來吸引散戶進場接盤。

9：以太坊伊斯坦布爾升級

以太坊網絡在2019年12月8日， 9,069,000區塊高度完成升級，代號：伊斯坦布爾（Istanbul）。

10：吳忌寒詹克團之爭

吳忌寒奪權：10月29日全球最大的礦機生產商之一的比特大陸創始人吳忌寒以比特大陸集團董事會主席、北京比特大陸科技有限公司法定代表人、執行董事的身份，向全體員工發送郵件，宣布解除詹克團在比特大陸的一切職務，即刻生效。[2019/12/23]

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

動態 | 澳媒盤點12國加密貨幣稅制 日本稅率最高:7月23日，澳大利亞加密貨幣媒體Mickey發文盤點各國加密貨幣稅制，并指出日本加密貨幣稅率非常高。根據2017年4月實行的資金結算法修訂版，加密貨幣交易所產生的利益所得劃分為雜項收入，所得稅最高可達45%，作為伴隨著損失的交易市場稅率來說非常高。此外，該媒體列舉了以下幾個國家的加密貨幣稅制：1、德國：加密貨幣交易免除附加稅，持續保有加密貨幣一年以上可免除轉讓所得稅。全部歐洲市民向德國轉移資產時可免除轉移稅。2、新加坡：長期投資加密貨幣的企業和個人免除轉讓所得稅。3、葡萄牙：不像加密貨幣征收附加稅和所得稅，但企業通過加密貨幣交易所得的收益需要課稅。4、馬耳他：加密貨幣的日交易作為法人稅征收稅金，但個人投資者購買和擁有加密貨幣不用繳納稅金。5、馬來西亞：不需要繳納轉讓所得稅。6、白俄羅斯：對加密貨幣挖礦和對加密貨幣的投資不征收稅金。7、瑞士：對專業投資者的加密貨幣交易征收法人稅，挖礦被視為個人營業收入，但個人投資者的投資及交易不需繳納轉讓所得稅。8、加密貨幣被認為是資產，納稅方式和股票一樣；如果購買加密貨幣并保留一年以上，根據收入水平征收0%至20%的稅金。9、澳大利亞：當所有交易均被視為轉讓收入，并且兌換為澳元時要求保留所有準確的交易記錄；如果進行加密貨幣投資獲得的利潤，就要交納與個人所得稅相同速率的稅金。但如果持有1年以上的加密貨幣，將減免50%的稅金。10、以色列和瑞典：如果納稅人不能證明他們購買的加密貨幣的購買額，將會征收百分之百的稅金。[2019/7/23]

作為針對以太坊智能合約安全檢測開發的定制化工具，成都鏈安的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：加密貨幣DEFIEFI區塊鏈加密貨幣-新浪財經PhoenixDefiSwappefi幣價格今日行情區塊鏈域名成交

OKB