首页 > 写

ConsenSys Quorum发布使用Dafny编写的Eth 2.0正式规范

据官方推特消息,开源区块链协议层ConsenSys Quorum宣布发布首版使用验证感知编程语言Dafny编写的Eth 2.0规范的正式规范。该项目由ConsenSys R&D启动,并得到了以太坊基金会的支持。

快讯

2024年12月24日 星期二
更多
点击鼠标右键,图片另存为...
广告