7x24h快讯
2021年09月24日 今天 星期三
08-04 23:05
开源区块链协议层ConsenSys Quorum发布首个使用验证感知编程语言Dafny编写Eth2.0规范的正式规范
开源区块链协议层ConsenSys Quorum宣布,发布首个使用验证感知编程语言Dafny编写Eth2.0规范的正式规范。该项目由ConsenSys R&D启动,并得到以太坊基金会的资助。
*本资讯仅为信息交流之用,不构成任何投资建议。
生成图片
生成图片