[智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper]8月15日消息，智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper，使智能合约开发人员能够在部署代码后审计之前检测错误。
摩根大通：Curve攻击影响已得到控制，但DeFi正在“萎缩或停滞”:金色财经报道，以Nikolaos Panigirtzoglou为首的摩根大通分析师在一份报告中表示，最近Curve Finance攻击对去中心化金融（DeFi）生态系统的蔓延似乎已得到控制，然而整个DeFi生态系统仍处于萎缩或停滞状态。谈到整个DeFi生态系统，分析师表示，由于一些挑战，过去一年增长陷入停滞，包括 Terra 和 FTX 的崩溃、美国监管打击和不确定性、黑客攻击和更高的交易费用。他们表示，这削弱了投资者的信心，导致资金外流和 DeFi 用户退出。
但分析师表示，DeFi 的某些部分表现良好，比如Tron 生态系统和以太坊Layer 2网络，包括Arbitrium和Optimism，这些网络的总锁定价值（TVL）在过去几个月都在上升。分析师表示，TVL 的上升可能归因于他们为用户提供了更快、更便宜的交易，否则用户将面临以太坊网络拥堵和更高的交易成本。[2023/8/4 16:17:18]
Curve 3pool中USDT占比超74%，USDT出现轻微脱锚:6月15日消息，行情显示，稳定币USDT出现轻微脱锚，跌至0.9978美元附近。据Curve官方数据显示，当前3pool中USDT占比已达74.35%(301,753,409枚)。[2023/6/15 21:39:17]
Curve Finance跨资产兑换额创新高:Curve Finance发推称，今天是迄今为止最大的跨资产兑换（swap）日，也是最大的巨鲸兑换日。最新数据显示，5月23日跨资产兑换总额目前超过9902万美元，最大一笔兑换额接近3202万美元。[2021/5/23 22:35:23]
郑重声明： 智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。