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

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

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

849枚BTC从Coinbene转移到Binance:金色财经报道，据Whale Alert监测，16小时前有849枚BTC（22,769,134美元）从Coinbene转移到Binance。[2023/6/21 21:51:42]

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

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

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

SBF并未回应出席国会听证会要求，或将收到国会传票:12月9日消息，FTX前首席执行官Sam Bankman-Fried（SBF）并未回应参议院银行委员会要求他作证并配合FTX调查的要求。SBF及其律师没有在规定的最后期限前做出回应。

委员会领导人、俄亥俄州民主党参议员Sherrod Brown和宾夕法尼亚州共和党参议员Pat Toomey对此表示，“我们认为，SBF提供证词，以表明他愿意向美国人民提供透明度和问责制，这是很重要的，我们将继续努力让他出现在国会”。此前，信件中表示，如果SBF不合作，将会收到国会传票。此外，SBF发言人拒绝置评。据悉，银行委员会定于下周三就这一问题举行听证会。

此前报道，12月7日，SBF推特发文称，在他了解和回顾完所发生的一切后，他有义务在众议院金融服务委员会面前解释。但他不确定是否可以在12月13日前了解清楚所有事情。一旦可以，他愿意出席国会听证会。[2022/12/9 21:33:01]

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

Vested Finance通过灰度的投资产品提供加密货币投资机会:金色财经消息，全球投资平台Vested Finance已将灰度投资Grayscale Investments提供的加密货币支持的证券添加到其优质产品中。

Vested Finance是一个让印度投资者投资于美国股市的平台。通过投资Grayscale提供的证券，印度投资者可以获得比特币、以太坊和其他加密资产的投资机会。（The Economic Times）[2022/6/9 4:13:58]

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

来源：金色财经

标签：EFIDEFIDEFDeFiAICOREFI价格99DEFIDEFT币defiai币被盗

比特币价格实时行情热门资讯