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

比特币 41 0

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

标签: #ETH #以太坊 #区块链 #eth #基金

  • 评论列表

留言评论