链闻 ChainNews 诚邀读者共同监督,坚决杜绝各类代币发行、投资推荐及虚拟货币炒作信息。举报

Certora文章 资讯 新闻 快讯 深度评论 介绍 解读

Certora新闻快讯文章, Certora深度文章, Certora快讯, 区块链Certora, Certora是什么, Certora介绍, Certora解读, Certora项目, 三分钟了解Certora, 秒懂Certora, 如何评价Certora, Certora怎么样, Certora创始人, Certora招聘, Certora融资, Certora价格, Certora技术, Certora社区, Certora论坛, Certora浏览器, Certora排名, Certora白皮书, Certora本质, Certora意义, Certora代码, Certora游戏, Certora什么意思, Certora学习, Certora培训, Certora教程, Certora投资, Certora赚钱, Certora安全, Certora漏洞

dForce 即将发布借贷协议 V1 版本,现已通过 CertiK 和 Certora 安全审计

链闻消息,去中心化金融协议 dForce 即将发布借贷协议 V1 版本,现已通过区块链安全审计公司 CertiK、Certora 进行的安全审计和形式化验证。同时,dForce 将再聘请两家审计机构对 V2 进行安全审计。...

Aave V2 已完成第 5 次安全审计,Sigma Prime 发现的缺陷均已修复

链闻消息,去中心化借贷协议 Aave 宣布其 V2 版本已通过安全机构 Sigma Prime 的安全审计,这也是 Aave V2 协议完成的第五次安全审计,此前是 Certik、Certora、Mixbytes、PeckShield 进行过安全审计。该审计报告显示共发现一个高等级和一个低等级的安全漏洞,目前均已修复。
返回页面顶部
返回链闻首页