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

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

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

加密交易平台GPTHK将于5月18日正式开放交易:据官方消息,由世界发展基金会、世界数字货币交易有限公司、新加坡LAMBENT MOON基金会联合打造的AI+数字资产交易平台GPTHK将于5月18日正式开放交易。平台推出“权益NFT”和“保险理赔”服务,用以保障用户实现资产持续的增值,并联合5600个社区共识共建,以NFT确权身份及权益。[2023/5/17 15:09:00]

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

美联储副主席:加密货币不太可能取代传统货币:10月13日消息,美联储负责监管的副主席Michael Barr周三在为DC Fintech Week活动准备的讲稿中表示,“加密货币不太可能取代传统货币”。此外,还表示银行在尝试这个资产类别时应谨慎行事,他担心银行参与加密货币带来的“新风险”,他认为所谓的稳定币最终可能会对金融稳定构成风险,监管机构需要在它们更普及之前设置安全护栏。(彭博社)[2022/10/13 14:26:30]

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

以太坊L2网络总锁仓量达到59.7亿美元 近7日涨幅20.28%:金色财经消息,L2BEAT数据显示,截至目前,以太坊Layer2上总锁仓量为59.7亿美元。近7日涨幅20.28%,其中锁仓量最高的为扩容方案Arbitrum,约28.4亿美元,占比47.67%。其次是Optimism,锁仓量19.1亿美元,占比32.43%。dYdX占据第三,锁仓量5.22亿美元,占比9.22%。[2022/8/11 12:16:39]

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

来源:金色财经

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

银河链

币赢交易所波卡的SPREE“可信虫洞”是什么?

“波卡知识图谱”是我们针对波卡从零到一的入门级文章,我们尝试从波卡最基础的部分讲起,为大家提供全方位了解波卡的内容,当然这是一项巨大的工程,也充满了挑战,然而我们希望通过这样的努力让大家能够正确认知波卡.

区块链Bankless:DeFi正在吞噬世界 但用户并不饿

原文标题:《反对加密的最佳论据》?在2005年的一篇经典文章中,自由市场主义及诺贝尔经济学奖得主JamesBuchanan认为,民族国家的掠夺性增长在很大程度上不仅是由机会主义的政客所推动的,也是由公民逃避个人责任的欲望所推动的.

[0:0ms0-1:104ms