CertiK已完成對一站式DeFi金融平臺dForce借貸協議的審計

買賣虛擬貨幣

DeFi歷經風雨,在2020年已經發展成為區塊鏈技術的推動力量。

2021年同樣也將是數字貨幣產業和DeFi的騰飛之年。

作為一個通用型去中心化借貸加超額抵押多貨幣貸款的平臺dForce為DeFi和開放式金融應用程式成功提供了底層基礎設施。

它致力於構建一個整合的和互通的開放式金融協議和貨幣協議矩陣,包括借貸協議(dForce Lending)、資產類協議(dToken, USDx, GOLDx),和流動性協議(dForce Trade)三大類。

而dForce借貸協議則在通用型去中心化借貸協議的基礎上,引入了全面而專業的風控模型進行風險管理,同時還增加了超額抵押多貨幣貸款,允許使用者透過超額抵押的方式生成以不同外匯計價的穩定幣貸款。

在安全層面上,dForce認為——

協議的安全始終高於一切決策,dForce將竭力為提高產品的安全級別在所不惜。

經過了2020年的沉澱和發展,2021年dForce聘用業內領先安全公司CertiK為dForce借貸協議提供程式碼安全審計及形式化驗證服務

審計過程

CertiK針對dForce借貸協議特定原始碼的結構、實現情況和整體最佳實踐進行了測試、分析和推論。

CertiK安全專家團隊以系統為基礎對整個程式碼庫進行分析,進而啟動整體審計過程,並在整個過程中嚴格遵循了高標準化要求。

審計過程中,CertiK充分利用了動態分析,靜態分析和人工複核等技術,對專案協議進行了全面檢查。審計過程中特別注意了以下事項:

1. 測試所有針對智慧合約的常見與罕見的攻擊向量

2. 評估程式碼庫是否達到當前的最佳實踐與行業標準

3. 保證合約的邏輯符合設計規範和設計目的

4. 參照並對比行業制定的相似結構

5. 對整個程式碼庫進行逐行的人工複核

審計結果

針對dForce借貸協議內的不同合約,CertiK系統的檢測了各種潛在情況,其整體程式碼經修復後未含有任何易受攻擊的環節

CertiK已經將審計結果和最佳化建議提交給了dForce團隊。

經過整體分析,dForce借貸協透過了安全性檢驗,且在數學層面上驗證無誤。

總結

當DeFi市場之火燃起時,海外專案席捲而來。

儘管國產DeFi持續努力發展,卻未能有與“Uniswap”、“YFI”等專案相匹敵的“聲音”。

CertiK為dForce提供的安全服務,將助力dForce帶領我們見證東方DeFi的崛起。

作者:CertiK,來源:CertiK

免責聲明:

  1. 本文版權歸原作者所有,僅代表作者本人觀點,不代表鏈報觀點或立場。
  2. 如發現文章、圖片等侵權行爲,侵權責任將由作者本人承擔。
  3. 鏈報僅提供相關項目信息,不構成任何投資建議

推荐阅读

;