风险提示:请理性看待区块链,树立正确的货币观念和投资理念,不要盲目跟风投资,本站内容不构成投资建议,请谨慎对待。 免责声明:本站所发布文章仅代表个人观点,与CoinVoice官方立场无关

2021年 8月15日 星期日

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

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

在研究进展中,目前信标链上区块需要两个 epoch 的时间完成敲定,大概 13 分钟,最终确定性的延迟意味着验证者有机会重组最近的链。

来源链接

2021-08-15 10:39 星期日
以太坊 2.0 新进展:信标链规范在 Dafny 语言中的正式验证已完成

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

在研究进展中,目前信标链上区块需要两个 epoch 的时间完成敲定,大概 13 分钟,最终确定性的延迟意味着验证者有机会重组最近的链。