日前，DeFi2.0平台收益聚合器平台DEFIAI的智能合约技术代码，已通过美国知名区块链安全审计机构Certik的代码审计。
审计过程中，Certik充分利用了动态分析，静态分析和人工复核等技术，对项目协议进行了全面检查。?审计过程中特别注意了以下事项：
Ripple Labs CEO：法院裁决显示XRP确实不是一种证券:金色财经报道，区块链支付科技公司瑞波实验室（Ripple Labs）的CEO Brad Garlinghouse表示，对法院此前就瑞波代币（XRP）做出的裁决感到”非常高兴“；法院裁决显示，瑞波代币确实不是一种证券；这一裁决对加密货币市场是一场胜利；美国证券交易委员会（SEC）的上诉可能需要花费数年；瑞波有95%的客户都分布于美国以外。[2023/7/15 10:56:31]
1.测试所有针对智能合约的常见与罕见的攻击向量
Solidity.Io发布ApeCoin DAO NFT市场审计报告：未发现严重漏洞:金色财经报道，Solidity.io创始人@alexmccurryo发推称，Solidity.io已经发布Snag Solutions的ApeCoin市场的审计报告，并没有发现严重的漏洞。
此前ApeCoin DAO已投票决定将Snag Solutions的ApeCoin市场设定为官方ApeCoin DAO NFT Marketplace，之后ApeCoin DAO聘请Solidity.io对其业务进行全面审计。随着审计完成，Snag Solutions透露，ApeCoin市场已经准备好在下周推出。[2022/11/13 12:57:44]
2.评估代码库是否达到当前的最佳实践与行业标准
迪士尼CEO：过去一年一直在探索如何利用Web3技术:9月14日消息，在迪士尼两年一度的 D23 Expo 大会上，该公司首席执行官鲍勃·查佩克称迪士尼正在继续探索和制定虚拟世界计划，而且在过去一年时间里一直在悄悄探索如何利用 Web3 技术。鲍勃·查佩克表示，迪士尼希望使用来自物理世界和数字世界的数据来推动其元宇宙战略，来自主题公园访问数据和消费者流媒体习惯数据将使迪士尼元宇宙战略中最关注的两大领域。（nftevening）[2022/9/14 13:30:06]
3.保证合约的逻辑符合设计规范和设计目的
4.参照并对比行业制定的相似结构
5.对整个代码库进行逐行的人工复核
报告显示，Certik在DEFIAI的所有区域均未发现主要漏洞，DEFIAI通过了Certik的安全性检验，并根据安全团队的建议对代码进行了深度优化。在审计后，Certik再次确认了DEFIAI交付的技术代码处于非常高的安全水平，肯定了DEFIAI团队执行安全测试的主动性。
关于DEFIAI
DEFIAI是属于DEFI2.0，是一个社区驱动的协议、自动化投资组合管理器、流动性提
供者和价格传感器，它支持去中心化交易和Bsc链和其它链上的自动化投资组合管理。?DEFIAI最终发展成为一个跨链资产汇总和收益市场一站式的DeFi产品，致力于创造人人皆?可以参与的轻量、?开放、自由的金融世界。?DEFIAI的流动性挖矿、?收益聚合器、交易聚合、理财增强型保险、一键式聚合借贷等，产品形态主要为?DeFi聚合器平台，满足资金全方?位的金融需求，它给用户提供了一种增长点，让他们能够立即提前了解自己的未来收益率。
关于Certik
Certik于2017年底在美国纽约和硅谷成立，2019年初落成北京办公室。?公司由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成果成立，通过“深度规范”的形式化验
证技术为区块链应用和智能合约提供代码安全审计服务。
Certik凭借坚实的技术实力和创新能力，已经与国内外知名数字货币交易所例如币安、OKE行、火币、KuCoin等达成安全合作与服务推广，同时还与诸如小蚁NEO、量子链?QTUM、?本体ONT等十余个主流公链建立了战略合作关系。?同时还获得了币安实验室、?比?特大陆、?丹华资本、经纬中国、?光速中国等多家知名机构的战略资金支持。
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。