以太坊2.0的开发正在不断实现新的突破，该网络最重要的智能合约之一刚刚被成功验证。
技术初创公司RuntimeVerification已经成功完成了以太坊2.0存款合约的形式验证。
美联储如期加息25个基点至5.00%-5.25%区间:金色财经报道，美联储如期加息25个基点至5.00%-5.25%区间，为连续第10次加息，本轮已累计加息500个基点。[2023/5/4 14:41:07]
“虽然我们在存款合约形式验证的过程中发现了几个重大的问题，其中一些问题是由隐藏的Vyper编译器bug引起的，但是在最新的版本中，所有的存款合约问题都得到了适当的修复。”
律师：BlockFi预计将获得位于硅谷银行的3700万美元现金存款:金色财经报道，周一新泽西州一家破产法庭被告知，尽管BlockFi在破产的硅谷银行（SVB）持有大量未投保资金，但它仍然拥有现金使用权。
在上周五的一份文件中，美国信托人（U.S Trustee）表示，已敦促这家破产的加密货币借贷机构将位于货币市场基金中的2.27亿美元未受保资金转移到更安全的地方。
Kirkland & Ellis律师事务所的Christine Okike代表该公司在法庭上表示：“BlockFi现在还可以——我们有资金以正常方式运营，包括向员工支付工资和向供应商打款。”
Okike称：“我们预计今天晚些时候将获得位于SVB的2.78亿美元中的3700万美元。”他补充说，2.36亿美元投资于贝莱德和摩根士丹利运营的“高评级货币市场基金”，SVB是BlockFi的代理人。（CoinDesk）[2023/3/14 13:01:57]
根据该公司发布的公告，存款合约是参与以太坊2.0的“通道”。新的PoS信标链上的验证者需要通过以太坊1.0网络向存款合约发送交易来存入ETH。
元宇宙公司Everyrealm CEO和多名高管因涉嫌性骚扰和种族歧视遭起诉:金色财经报道，元宇宙公司Everyrealm首席执行官Janine Yorio和联合创始人Julia Schwartz因涉嫌性骚扰和种族歧视遭到该公司前战略合作伙伴总监Teyo Johnson的起诉。Teyo Johnson表示在Everyrealm工作期间经历了包括种族主义和露骨言论在内的“无情性骚扰”，还披露了Janine Yorio和Everyrealm 一名员工之间的短信截图，这些截图显示Janine Yorio用侮辱性词汇指称其他员工。Everyrealm曾在今年二月完成了一笔高达6000万美元的A轮融资，a16z领投，多家加密投资机构参投。（TechCrunch）[2022/10/15 14:28:43]
存款合约会记录交易历史并将这些资金锁定在以太坊1.0链上，以便以后在信标链上进行赎回。这类智能合约采用Merkle树数据结构，可以有效地存储存款历史。
以太坊2.0的协调员DannyRyan证实，这项形式验证是最后的障碍，他补充说：
“这是主要的审核和验证。这个合约和形式验证的过程现在正在进行公开审查。”
目前针对这个存款合约没有其他审计计划，但预计在2月针对信标链的审计会有两个。
上周有报道称，22000个活跃的验证者正在测试上运行第一个以太坊2.0客户端。
这些客户端的测试网可能在创世区块测试网之前开始互相连接，这预示着第一个PoS部署的实现。
今年年初，9个独立团队开始部署第0阶段的信标链，预计其将在今年第二季度发布。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。