Home数字货币快讯以太坊 2.0 新进展:信...

以太坊 2.0 新进展:信标链规范在 Dafny 语言中的正式验证已完成

相关文章

ConsenSys 研究员、以太坊 2.0 开发者 Ben Edgington 在披露的以太坊 2.0 新进展中表示,信标链规范在 Dafny 语言中的正式验证已完成,另外,以太坊 2.0 API 规范已更新至 v2.0.0,为 Altair 升级做准备。Altair 升级的一个主要目的是使轻客户端能够在以太坊 2.0 网络中高效运行。

Comments

LEAVE A REPLY

Please enter your comment!
Please enter your name here

4 × 4 =

spot_img

热门新闻