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