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

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

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

一Smart Money在休眠一年多后购买了6种MEME币:金色财经报道，据Lookonchain监测，一位在SHIB上赚了约750万美元的Smart Money在休眠一年多后，购买了6种MEME币。包括PEPE、WOJAK、AFY、Dione、DMTR、VAI。他也非常幸运地从 Flokitars Deployer 获得了 1.79 亿枚 FLOKI（9,378 美元）。此外，该Smart Money用10枚ETH(价值约18,742美元)买入586.6亿枚PEPE，以16.55枚ETH(价值约31,569)卖出。然后以17.3 枚ETH(价值约33,005)买入470亿枚PEPE，目前价值13.5万美元。[2023/5/6 14:46:13]

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

BRC-20代币总市值达1.25亿美元，过去24小时交易量近200万美元:金色财经报道，数据显示，比特币铭文代币Ordi已接近4美元，暂报3.77美元，24小时涨幅9.59%，当前市值已达7917万美元。此外，BRC-20相关代币目前约为11727种，总市值为125,021,977美元，过去24小时的交易量为1,979,201美元。据悉，BRC-20协议是直接写到比特币网络上，以聪为载体，用OrdinalInscriptions的JSON数据部署、铸造和转移代币。Ordi是第一个比特币铭文代币，总供应量为2100万枚。[2023/5/5 14:44:38]

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

美国房地产公司将纽约大楼作为NFT出售:金色财经报道，美国房地产公司Okada&Company在OpenSea市场上以15,000ETH的标记价格将其首个商业地产列为NFT。Okada&Company正在美国出售46,299平方英尺的房产，位于纽约市著名的切尔西社区，该社区位于曼哈顿区的西侧。这是一栋七层的办公和零售大楼，靠近麦迪逊广场公园和纽约市的其他地标。据房地产经纪人称，这笔交易有一个代币，这个NFT将在以太坊区块链上铸造。（cryptonews）[2022/6/7 4:07:17]

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

来源：金色财经

标签：DEFIEFIDEFDeFiAIDeFi Degen Landdefi币官网Restaurant DeFidefiai币被盗

火币网下载官方app热门资讯