以太坊2.0的开发正在不断实现新的突破，该网络最重要的智能合约之一刚刚被成功验证。
技术初创公司RuntimeVerification已经成功完成了以太坊2.0存款合约的形式验证。
XRP未平仓合约跃升至近两年高点:金色财经报道，数据显示，本周早些时候，XRP未平仓合约已突破12亿美元，达到了2021年秋季以来的最高水平。[2023/7/25 15:57:29]
“虽然我们在存款合约形式验证的过程中发现了几个重大的问题，其中一些问题是由隐藏的Vyper编译器bug引起的，但是在最新的版本中，所有的存款合约问题都得到了适当的修复。”
Cardano生态融资平台Project Catalyst两年来已资助完成超400项提案:金色财经报道，Cardano开发团队Input Output Global（IOG）在推特上分享了Cardano生态去中心化融资平台Project Catalyst实现的一个里程碑，Project Catalyst收到了第400个项目收尾报告，这是该基金两年来达到的一个惊人的里程碑。
根据Project Catalyst团队成员Daniel Ribar分享的图表，目前该基金已进行9轮融资，提出6116个提案，发布100项挑战，获得174万张选票。在这些提案中，有1155个得到了资助，405个已经完成。截至发稿，项目所需求的经费总额为38391449美元，其中已分配25961245美元，剩余12430204美元。（U.Today）[2023/2/12 12:01:31]
根据该公司发布的公告，存款合约是参与以太坊2.0的“通道”。新的PoS信标链上的验证者需要通过以太坊1.0网络向存款合约发送交易来存入ETH。
0x59ab开头地址通过DEX出售从FTX转移的部分资产:11月12日消息，Lookonchain监测数据显示，大量资金从FTX转出并通过DEX卖出。目前0x59ab开头地址的UNI、stETH、1INCH、WBTC、SUSHI、YFI、LDO被出售，仍然持有PAXG、LINK、MATIC、AAVE、SNX、SHIB和APE。
此外，FTX有1.66亿美元的资金被转移到0xd801开头地址，包括SRM、MATIC、CHZ、DYDX、BAND、MANA、ENS、CEL、HT、GRT、GALA、CRV等代币。
据派盾（PeckShield）监测数据显示，0x2faf开头的FTX地址资金于1小时前开始转移至新地址，其中4585万枚FTT（约1亿美元)从0x2faf开头地址转移至0xd801开头地址（在Etherscan上曾被标记为FTX）。0xd801开头地址似乎是从Binance US智能合约0x97f9...E5c获得资金，后者是一个多重签名合约，允许多个签名者0x5b63...3BD/0xC945...Fd3/0x8b41...E4A审查并同意区块链上的一项行动，然后才能执行。
据此前报道，链上数据显示，FTX与FTXUS的大量交易所资产开始归集至同一个链上地址0x59abf3837fa962d6853b4cc0a19513aa031fd32b。FTX在其Telegram社群发文称FTX已遭黑客攻击，资产已被窃取。[2022/11/12 12:55:17]
存款合约会记录交易历史并将这些资金锁定在以太坊1.0链上，以便以后在信标链上进行赎回。这类智能合约采用Merkle树数据结构，可以有效地存储存款历史。
以太坊2.0的协调员DannyRyan证实，这项形式验证是最后的障碍，他补充说：
“这是主要的审核和验证。这个合约和形式验证的过程现在正在进行公开审查。”
目前针对这个存款合约没有其他审计计划，但预计在2月针对信标链的审计会有两个。
上周有报道称，22000个活跃的验证者正在测试上运行第一个以太坊2.0客户端。
这些客户端的测试网可能在创世区块测试网之前开始互相连接，这预示着第一个PoS部署的实现。
今年年初，9个独立团队开始部署第0阶段的信标链，预计其将在今年第二季度发布。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。