刺猬财经消息，ConsenSys 研究员、以太坊 2.0 开发者 Ben Edgington 在披露的以太坊 2.0 新进展中表示，信标链规范在 Dafny 语言中的正式验证已完成，另外，以太坊 2.0 API 规范已更新至 v2.0.0，为 Altair 升级做…
刺猬财经消息，ConsenSys 研究员、以太坊 2.0 开发者 Ben Edgington 在披露的以太坊 2.0 新进展中表示，信标链规范在 Dafny 语言中的正式验证已完成，另外，以太坊 2.0 API 规范已更新至 v2.0.0，为 Altair 升级做…