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

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

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

金色热搜榜：BOT居于榜首:根据金色财经排行榜数据显示，过去24小时内，BOT搜索量高居榜首。具体前五名单如下：BOT、APPC、MXC、ZRX、BHD。[2021/2/1 18:36:59]

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

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

3.保证合约的逻辑符合设计规范和设计目的

金色相对论丨林念龙：IPFS矿机技术门槛低 但技术很牛:本期金色相对论在讨论上，在讨论IPFS矿机热话题时，蜂窝联合创始人林念龙认为：有硬盘和带宽的机器，理论上都可以叫IPFS矿机，比显卡机技术门槛还低。目前ASIC的厂商估计都看不上，深圳一堆的电子厂都可以做出来，当然IPFS这个技术的确很牛。同时林念龙还表示还是老老实实挖大币种BTC，盘子大不易砸。小币种矿机挖矿收益纯拼运气和手速，晚一天，都会赔进去的感觉，比如迅雷的玩客云。[2018/6/27]

4.参照并对比行业制定的相似结构

金色财经独家分析 巨人转让区块链相关股份的两种解读:被投资公司盈利能力反映在巨人公司的投资损益项，盈利能力存在风险会直接对其财务报表产生风险，而这正是股东看重的地方。巨人公司出售OKC股份，从因“不确定性”而“保护投资者”理由解释合理充分，转让对价2850万美元占2%左右比例并不高，董事会在其职权范围内作出决定也不用劳烦整个股东大会，巨人也按照程序做了相同的关联方解释，资产并未被低估贱卖，完全符合要求。

然而“不确定性”却存在两种解读。如果解释为风险，史玉柱等自然展现了担当与无私；如果解释为潜在收益，那么OKC成功转型带来的利润巨人公司的广大股东也是享受不到的。旁人并不知道史玉柱和董事会的想法，但至少，此次减少“区块链”相关的股权，并不能说明OKC或区块链概念的利空。如果真是巨大风险，就没必要卖给“利益相关方”了，解释为史玉柱与股东会的“分歧”更为准确。而且值得注意的是，OKC是从经营币到搞区块链“实业”，更符合政策，有理由是个正向消息。[2018/3/24]

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

来源：金色财经

标签：DEFIDEFEFIDeFiAIfdudefidefi币官网Refinabledefiai币被盗

芝麻开门交易所下载热门资讯