以太坊2.0的开发正在不断实现新的突破，该网络最重要的智能合约之一刚刚被成功验证。
技术初创公司RuntimeVerification已经成功完成了以太坊2.0存款合约的形式验证。
交易所钱包余额近7天流入5,082.75枚BTC:金色财经报道，据coinglass数据显示，交易所钱包余额近24小时流出1,630.22枚BTC，近7天流入5,082.75枚BTC，近30天流出14,402.07枚BTC。目前全网交易所钱包余额总计为1,903,306.31枚BTC。[2023/2/6 11:48:56]
“虽然我们在存款合约形式验证的过程中发现了几个重大的问题，其中一些问题是由隐藏的Vyper编译器bug引起的，但是在最新的版本中，所有的存款合约问题都得到了适当的修复。”
1034枚BTC从未知钱包转移到Coinbase:金色财经报道，据Whale Alert数据，1034枚BTC (23953653 美元)从未知钱包转移到Coinbase。[2023/1/26 11:31:10]
根据该公司发布的公告，存款合约是参与以太坊2.0的“通道”。新的PoS信标链上的验证者需要通过以太坊1.0网络向存款合约发送交易来存入ETH。
数据显示，过半狗狗币持有者仍在盈利:1月14日消息，根据IntoTheBlock的链上数据，57%持有狗狗币的地址处于盈利状态，这意味着他们以低于当前市场价格的价格购买了DOGE代币，而41%的持有者是亏损状态，即他们以高于当前市场价格的价格购买了DOGE代币。
在过去的12个月里，狗狗币在更广泛的加密货币熊市中损失了超过50%的价值。在过去的几个月里，它一直在恢复，过去的6个月里上涨了10%以上。（Crypto Globe）[2023/1/14 11:11:50]
存款合约会记录交易历史并将这些资金锁定在以太坊1.0链上，以便以后在信标链上进行赎回。这类智能合约采用Merkle树数据结构，可以有效地存储存款历史。
以太坊2.0的协调员DannyRyan证实，这项形式验证是最后的障碍，他补充说：
“这是主要的审核和验证。这个合约和形式验证的过程现在正在进行公开审查。”
目前针对这个存款合约没有其他审计计划，但预计在2月针对信标链的审计会有两个。
上周有报道称，22000个活跃的验证者正在测试上运行第一个以太坊2.0客户端。
这些客户端的测试网可能在创世区块测试网之前开始互相连接，这预示着第一个PoS部署的实现。
今年年初，9个独立团队开始部署第0阶段的信标链，预计其将在今年第二季度发布。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。