[以太坊2.0新进展：信标链规范在Dafny语言中的正式验证已完成]8月15日消息，ConsenSys研究员、以太坊2.0开发者Ben Edgington在披露的以太坊2.0新进展中表示，信标链规范在Dafny语言中的正式验证已完成，另外，以太坊2.0API规范已更新至v2.0.0，为Altair升级做准备。Altair升级的一个主要目的是使轻客户端能够在以太坊2.0网络中高效运行。在研究进展中，目前信标链上区块需要两个epoch的时间完成敲定，大概13分钟，最终确定性的延迟意味着验证者有机会重组最近的链。
以太坊网络24小时内已销毁1,629.23 ETH，其中Seaport销毁227.76 ETH:7月11日消息，据Tokenview链上数据显示，近24小时内，以太坊产出13,445.35枚ETH,销毁1,629.23枚ETH，24小时销毁率12.12%。
排行榜前三名分别为：
OpenSea: Seaport 1.1：0x00...de581（227.76 ETH）
Uniswap V3: Router 2（111.08 ETH）
0x83c...aba2（59.77 ETH）。[2022/7/11 2:04:52]
V神：从未组织及参加多伦多以太坊管理委员会秘密会议:对于近期要在多伦多举办的以太坊管理委员会秘密会议V神转发其推特称：“我没有组织和参加过这个会议，老实说，我真的不知道这个会议都发生了什么。”[2018/5/8]
以太坊的顶级开发人员认为区块链分裂可能是不可避免的:据coindesk消息，上周晚些时候，以太坊开发者会议上讨论了一个名为EIP 999的有争议的代码提案，导致一些人猜测以太坊可能正处于区块链分裂的边缘。赞成该提案的人指出由于错误的合同导致ETH频繁的损失，他们认为该平台应该确保避免这种可避免的错误。但另一方面，许多人警告说，部署该提案后，编辑代码不仅会损害安全性，还会损害平台的完整性。对此，莱特币创始人李启威在其社交媒体评论称，以太坊可能会分裂成两支队伍。社区中一般的人想要实施这一提案来“拯救”ETH，另一半则想要保持不变。两方的观点是对立的，但没有人预测这种分裂的情况将会发生。[2018/4/25]
郑重声明： 以太坊2.0新进展：信标链规范在Dafny语言中的正式验证已完成版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。