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

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

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

证监会:将继续指导、推动区域性股权市场全面实现数字化转型:金色财经报道,数字化赋能区域性股权市场创新发展研讨会暨“益企融”发布会在深圳举办。证监会市场二部副主任吴奇超表示,区域性股权市场区块链建设工作在穿透式监管、标准规范、资源整合、创新应用等方面取得了显著成效,下一步证监会将继续指导、推动区域性股权市场全面实现数字化转型,包括建立完善企业数字档案、深入推进链上创新应用建设、推动业务智能合约开发、进一步加强市场联通等。[2023/8/13 16:23:37]

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

欧盟关于数字欧元的立法被搁置:金色财经报道,原定于6月28日公布的欧盟立法需要支持数字欧元,但已被搁置。此举是在法案草案泄露之后发生的,该草案涵盖了中央银行数字货币(CBDC)的隐私和技术问题,以及财政部长上周发表的一份声明似乎质疑该计划的动机。

该法案草案的时间表原定于欧洲央行就是否以数字形式发行货币做出坚定决定之前公布,但该草案的时间表已经发生了数次变化。它处于计划于5月进行的一个阶段。根据上周公布的暂定前瞻议程,该法案最近计划在欧盟委员会决策机构6月28日的会议上进行讨论和公布。该委员会没有提供延迟的原因,也没有给出新的发布日期。[2023/6/20 21:48:08]

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

四月加密货币衍生品市场份额创历史新高:金色财经报道,四月中心化加密货币交易所的衍生品交易量下降,但现货交易量更是大幅下降,导致衍生品市场份额达到历史新高。尽管绝对衍生品交易量下降了23.3%,至2.15万亿美元,但加密货币衍生品市场份额仍高达77.6%,达到历史新高。推动市场份额进一步上升的是现货交易量的大幅下降,降至6210亿美元。币安是最大的衍生品交易平台,占市场份额的61.4%。OKX和ByBit紧随其后,分别以15%和14.6%的市场份额位居第二和第三。[2023/5/11 14:56:24]

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

来源:金色财经

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:0ms0-1:140ms