CertiK已完成對一站式DeFi金融平臺dForce借貸協議的審計
火幣網(huobi.com)最新可用網址（點擊下圖直達註冊！）
火必交易所，曾经的火币交易所！
欧易OKX三大交易所，稳定好用！
币安全球第一大交易所！安全！
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