日前,DeFi2.0平台收益聚合器平台DEFIAI的智能合约技术代码,已通过美国知名区块链安全审计机构Certik的代码审计。
审计过程中,Certik充分利用了动态分析,静态分析和人工复核等技术,对项目协议进行了全面检查。审计过程中特别注意了以下事项:
Coinbase为新加坡客户新增USDC相关服务和抵押服务:金色财经报道,加密货币交易所运营商Coinbase Global宣布,正在为新加坡客户推出购买USDC的免费服务,允许用户在平台上持有USDC而获得奖励,并为更有经验的交易者推出USDC订单簿,允许他们用USDC交易200多种资产。此外,该公司还为新加坡的客户提供ETH、SOL、ADA、ATOM和XTZ的质押服务。[2023/5/17 15:07:20]
1.测试所有针对智能合约的常见与罕见的攻击向量
光年之外以10亿美元估值寻求融资:金色财经报道,ChatGPT引燃的创业潮又引来一批入局者。美团(03690.HK)联合创始人王慧文的新公司光年之外,近期也已启动第二轮融资,投前估值约10亿美元。据了解,快手董事长宿华也在密切关注大模型方向,已陆续投资数个项目。
此前报道,王慧文在社交平台发文宣布进军人工智能领域,称将打造中国的OpenAI。王兴将个人参与王慧文\"光年之外\"A轮投资并出任董事。[2023/4/5 13:46:18]
2.评估代码库是否达到当前的最佳实践与行业标准
价值约1.8亿美元比特币从Gemini转出至未知钱包:金色财经报道,Whale Alert数据显示,11703BTC(价值约1.8亿美元)于今日07:09从Gemini转出至未知钱包。[2022/11/22 7:54:05]
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等十余个主流公链建立了战略合作关系。同时还获得了币安实验室、比特大陆、丹华资本、经纬中国、光速中国等多家知名机构的战略资金支持。
来源:金色财经
文章来源:彭博社 原文作者:MattRobinson、JoeLight?&ZekeFaux据知情人士透露,加密资产借贷平台BlockFiInc.准备支付1亿美元,以了结美国证交会和州监管机构对其的指控.
1900/1/1 0:00:00原文标题:《AdetailedlookatJuiceBox’slargestDAO-AssangeDAO》作者:D-TigerResearchInstituteAssangeDao事件经过朱利安·阿桑奇是知名的维基解密创始人.
1900/1/1 0:00:00跨境易支付 打造安全、快捷、低成本的 跨境支付工具 前言 本文是“发现100个中国区块链创新应用”系列文章之一.
1900/1/1 0:00:00宇宙从不静默,万物各有其声。这世界本来并不缺少美的声音,但无度地索取扼杀了人们追求美的灵魂。就像那些被砍伐的森林和掘空的高山,在现下这个“快节奏”、“碎片化”、“泛娱乐”的大时代中,那曾经最为纯粹的音乐环境,也被各种平台裹挟着破坏殆尽.
1900/1/1 0:00:00本文为V神2022年1月25日在ethereum.org上发表的文章。金色财经编译如下:特别感谢JustinDrake、DankradFeist、AlexObadia、Hasu和其他hackmdanons提供反馈和对本文各种版本的审阅.
1900/1/1 0:00:00原文作者:Cobie 今年Web3是一个非常流行的术语,尤其是被另类金融卡通人物和科技届逻辑缜密的推文串作者频繁提及.
1900/1/1 0:00:00