CertiK 已完成对一站式 DeFi 金融平台 dForce 借贷协议的审计

DeFi 历经风雨,在 2020 年已经发展成为区块链技术的推动力量。

2021 年同样也将是数字货币产业和 DeFi 的腾飞之年。

作为一个 通用型去中心化借贷加超额抵押多货币贷款的平台 ,dForce 为 DeFi 和开放式金融应用程序成功提供了底层基础设施。

它致力于构建一个集成的和互通的开放式金融协议和货币协议矩阵,包括借贷协议(dForce Lending)、资产类协议(dToken, USDx, GOLDx),和流动性协议(dForce Trade)三大类。

而 dForce 借贷协议则在通用型去中心化借贷协议的基础上,引入了全面而专业的风控模型进行风险管理,同时还增加了超额抵押多货币贷款, 允许用户通过超 额抵押的方式生成以不同外汇计价的稳定币贷款。

CertiK 已完成对一站式 DeFi 金融平台 dForce 借贷协议的审计

在安全层面上,dForce 认为——

协议的安全始终高于一切决策,dForce 将竭力为提高产品的安全级别在所不惜。

经过了 2020 年的沉淀和发展,2021 年 dForce 聘用业内领先安全公司 CertiK 为 dForce 借贷协议提供 代码安全审计及形式化验证服务

审计过程

CertiK 已完成对一站式 DeFi 金融平台 dForce 借贷协议的审计

CertiK 针对 dForce 借贷协议特定源代码的 结构、实现情况和整体最佳实践 进行了测试、分析和推论。

CertiK 安全专家团队以系统为基础对整个代码库进行分析,进而启动整体审计过程,并在整个过程中严格遵循了高标准化要求。

审计过程中,CertiK 充分利用了动态分析,静态分析和人工复核等技术,对项目协议进行了全面检查。审计过程中特别注意了以下事项:

1. 测试所有针对智能合约的常见与罕见的攻击向量

2. 评估代码库是否达到当前的最佳实践与行业标准

3. 保证合约的逻辑符合设计规范和设计目的

4. 参照并对比行业制定的相似结构

5. 对整个代码库进行逐行的人工复核

审计结果

CertiK 已完成对一站式 DeFi 金融平台 dForce 借贷协议的审计

针对 dForce 借贷协议内的不同合约,CertiK 系统的检测了各种潜在情况, 其整体代码经修复后未含有任何易受攻击的环节 。

CertiK 已经将审计结果和优化建议提交给了 dForce 团队。

经过整体分析,dForce 借贷协议通过了安全性检验,且在数学层面上验证无误。

总结

CertiK 已完成对一站式 DeFi 金融平台 dForce 借贷协议的审计

当 DeFi 市场之火燃起时,海外项目席卷而来。

尽管国产 DeFi 持续努力发展,却未能有与“Uniswap”、“YFI”等项目相匹敌的“声音”。

CertiK 为 dForce 提供的安全服务,将助力 dForce 带领我们见证东方 DeFi 的崛起。

迄今为止,CertiK 已进行了超过 369 次的审计,保护了超过 100 亿美元的数字资产与软件系统免受安全损失。

欢迎点击 CertiK 公众号底部对话框,留言免费获取咨询及报价!

CertiK 已完成对一站式 DeFi 金融平台 dForce 借贷协议的审计

往期回顾

CertiK 已与印尼首家合规数字资产交易平台 Tokocrypto 达成战略合作

干货分享 | 避免项目方欺诈?10 条硬核准则,拿走不谢!

CertiK 与火币生态链 Heco 达成战略合作,助力区块链生态安全

重磅 | CertiK 中国区总部落户苏州,并作为重大科技项目签约苏州工业园区!

Yearn.Finance 惊爆漏洞,DeFi 再遭打击,一文带你探明事件始末!

继蛋壳崩坏,难道自如也要走上这一步?Stacktical 携手 CertiK,共同保卫 DeFi 生态安全

Base Protocol 与 CertiK 达成战略合作,助力端到端安全解决方案

Harmony 联合 CertiK 安全预言机,为安全 DeFi 生态系统赋能

AMA 回顾 | 区块链安全何去何从?CertiK 为你在线答疑!

年度最受社区欢迎区块链项目 | CertiK Chain 荣获 2020 年星球日报「FAT」区块链胖榜单年度大奖

请点击“阅读原文”访问 CertiK 官方网站