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

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

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

比特币全网未确认交易数量为8950笔:金色财经报道,BTC.com数据显示,目前比特币全网未确认交易数量为8950笔,全网算力为273.95 EH/s,24小时交易速率为3.23交易/s,目前全网难度为37.59 T,预测下次难度上调0.37%至37.73 T,距离调整还剩12天22小时。[2023/1/17 11:15:02]

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

美国专利商标局将每月举办区块链和知识产权网络研讨会:6月29日消息,美国专利商标局在其网站上宣布,该机构将每月举办一次网络研讨会,主题包括元宇宙中的知识产权和区块链中的专利资格。这些会议旨在让与会者了解区块链和知识产权。

下一次网络研讨会将于7月19日举行,主题为“元宇宙知识产权保护考察”。8月16日的会议将重点讨论区块链、专利和开源的交叉部分。网络研讨会一直持续到11月。(The Block)[2022/6/29 1:38:24]

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

腾讯高级副总裁:腾讯已成立XR业务线:6月27日,在“SPARK 2022”腾讯游戏发布会上,腾讯高级副总裁马晓轶表示,腾讯最近已经成立软硬一体的扩展现实(XR)业务线,希望抓住未来4-5年内的机会,在软件、内容、系统、工具SDK、硬件等各环节积极尝试,打造行业标杆的VR产品与体验。此前,腾讯曾被曝正式成立XR部门,意在发展虚拟世界的元宇宙概念,有消息人士表示,腾讯XR部门预计拥有超过300名员工。(澎湃)[2022/6/28 1:35:46]

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:886ms