以太坊2.0的开发正在不断实现新的突破，该网络最重要的智能合约之一刚刚被成功验证。
技术初创公司RuntimeVerification已经成功完成了以太坊2.0存款合约的形式验证。
库币新增KSM、BAT、ROSE和CAKE资产杠杆交易和借贷服务:据库币KuCoin官方消息，库币杠杆交易平台已开通KSM、BAT、ROSE和CAKE杠杆交易和借贷理财服务，用户可以通过借入以上币种做空，或者通过借入USDT做多。同时，库币杠杆借贷市场推出7天0息借贷总额度包括400 KSM、150,000 BAT、750,000 ROSE和6,000 CAKE的福利。 库币杠杆交易已开放了BTC，ETH，XRP，USDT和LTC等代币的多个交易对。近期行情波动较大，请控制杠杆倍数，做好风险控制。[2021/2/22 17:39:37]
“虽然我们在存款合约形式验证的过程中发现了几个重大的问题，其中一些问题是由隐藏的Vyper编译器bug引起的，但是在最新的版本中，所有的存款合约问题都得到了适当的修复。”
Brave回购近60万个BAT 创下单日最高回购记录:7月2日，隐私保护浏览器Brave购买了577484枚BAT（Basic Attention Tokens）。这是至今为止，单日单日最高回购记录，此前的记录是3月30日的单日购买504219枚。Brave最大的卖点是允许用户获得其广告收入的70%，并以BAT的形式进行发放。[2020/7/3]
根据该公司发布的公告，存款合约是参与以太坊2.0的“通道”。新的PoS信标链上的验证者需要通过以太坊1.0网络向存款合约发送交易来存入ETH。
美国银行：2023年将是加密代币价格分歧的一年:金色财经报道，美国银行 (BAC) 在周五的一份报告中表示，今年加密货币市场的开局比大多数人预期的要好得多，代币市场今年迄今增长了 42% 至 1.1 万亿美元。我们预计 2023 年将是代币价格分化的一年，提供效用和现金流的代币将优于meme和治理代币。
该银行将支持智能合约的区块链平台（开发人员可以在该平台上构建应用程序）的加密货币视为面临与成长型股票相同风险的成长型资产。它指出，这些加密货币和小型流动性代币引领了今年的涨势。[2023/2/28 12:34:22]
存款合约会记录交易历史并将这些资金锁定在以太坊1.0链上，以便以后在信标链上进行赎回。这类智能合约采用Merkle树数据结构，可以有效地存储存款历史。
以太坊2.0的协调员DannyRyan证实，这项形式验证是最后的障碍，他补充说：
“这是主要的审核和验证。这个合约和形式验证的过程现在正在进行公开审查。”
目前针对这个存款合约没有其他审计计划，但预计在2月针对信标链的审计会有两个。
上周有报道称，22000个活跃的验证者正在测试上运行第一个以太坊2.0客户端。
这些客户端的测试网可能在创世区块测试网之前开始互相连接，这预示着第一个PoS部署的实现。
今年年初，9个独立团队开始部署第0阶段的信标链，预计其将在今年第二季度发布。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。