ConsenSys Quorum发布使用Dafny编写的Eth 2.0正式规范期权论坛 - 国内最专业的期权社区

2021-8-4 23:08

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

利好 4

利空 0

Quotation

期权网络科技版权所有: 关于我们; 联系我们; 加入我们; 反馈问题; 免责声明; 积分充值

统一社会信用代码: 积分规则; 网站地图; 爱文库; 下属网站

官方: 新浪微博; 微信公众号
◆

下载: 表情包; App下载

期权论坛

期权论坛

QQ咨询|关于我们|Archiver|手机版|小黑屋|( 辽ICP备15012455号-4 ) Powered by 期权论坛 X3.2 © 2001-2016 期权工具网&期权论坛 Inc.