DEF:DeFi2.0平台DeFiAI通过Certik智能合约代码审计

日前，DeFi2.0平台收益聚合器平台DEFIAI的智能合约技术代码，已通过美国知名区块链安全审计机构Certik的代码审计。

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

香港证监会年报：虚拟资产期货ETF促本港资产及财富管理业发展:金色财经报道，香港证券及期货事务监察委员会（证监会）昨日发布《资产及财富管理活动调查》的年度报告，去年香港管理资产规模为3.9万亿美元，并录得110亿美元的净资金流入。

报告还披露香港资产及财富管理活动近期发展及前景，在“促进香港的资产及财富管理业发展”部分提到证监会去年列明通过期货来投资虚拟资产的ETF规定且认可首批主要投资于在芝加哥商品交易所买卖的虚拟资产期货ETF，当中包括全球首只以太币期货ETF及亚洲首只比特币期货ETF。

此外，香港证监会与投资者及理财教育委员会（投委会）已合作编制投资者教育材料，借以向公众解释这类创新ETF的主要特点及风险。[2023/8/6 16:20:59]

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

CoinShares：上周数字资产投资产品净流出2970万美元:12月19日消息，据CoinShares报告显示，上周数字资产投资产品净流出2970万美元，其中比特币投资产品净流出1750万美元，以太坊投资产品净流出910万美元，为连续第五周流出，今年至今已流出了占总资产管理规模7.3%的资金。做空比特币的投资产品净流入110万美元。[2022/12/19 21:54:36]

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

Terra：由于技术问题未能重新启用IBC:5月23日消息，Terra在其官方推特上表示：“重新启用区块链间通信（IBC）的1299号提案已通过，但由于技术问题未能成功执行。我们意识到与此提案相关的问题，并正在努力尽快为用户开放IBC通道。”据悉，IBC支持Terra生态用户跨链连接其它支持IBC标准的区块链网络并发送、接收资产。

此前5月13日，在UST脱锚后，Terra关闭了IBC通道。[2022/5/23 3:35:25]

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等十余个主流公链建立了战略合作关系。同时还获得了币安实验室、比特大陆、丹华资本、经纬中国、光速中国等多家知名机构的战略资金支持。

来源：金色财经

标签：DEFDEFIEFIDeFiAIXDEFI币Farm Defidefibox币有价值吗defiai币被盗

BNB热门资讯