[ConsenSys Quorum发布使用Dafny编写的Eth 2.0正式规范]据官方推特消息，开源区块链协议层ConsenSys Quorum宣布发布首版使用验证感知编程语言Dafny编写的Eth 2.0规范的正式规范。该项目由ConsenSys R&D启动，并得到了以太坊基金会的支持。
相关快讯：
Aave Market Consultant Lilith Li：V2 版主网上线不是终点 Aave将带给用户更多惊喜:12月07日晚，由Gate.io主办的直播专访节目《酒局币赴》邀请到Aave Market Consultant Lilith Li直播分享近期最新发展。直播期间Lilith Li与Gate.io合伙人酒儿就Aave V2版主网上线进行了探讨与交流。Lilith Li表示，此次Aave V2版主网在抵押品借贷、闪电贷、gas费等方面均进行了全新升级，用户可以省去复杂的多次交易的过程，直接用抵押品资产进行借贷还款；闪电贷也可批量完成，大幅提高效率，此外用户还能享受到最高可达50%的gas费用优化等。Lilith Li指出，此次Aave V2版主网上线远不是终点，接下来还会推出更多的精彩活动来回馈给用户，期待带给用户更优质的服务体验。详情点击原文链接。[2020/12/7 22:00:39]
动态 | ConsenSys Ventures加速器计划Tachyon 2.0选定10个区块链初创公司:据coindesk报道，ConsenSys Ventures是ConsenSys的投资部门，已为其加速器计划Tachyon 2.0选定10个区块链初创公司。选定的初创公司专注于在数据隐私、加密、医疗保健和去中心化融资等领域建立基于区块链的新解决方案。[2019/4/1]
动态 | 比特大陆推出BCH Dev Con项目:据bitcoin.com报道，比特大陆推出BCH Dev Con项目，这个项目由Permissionless Ventures (PV)筹集5000万美元基金。BCH Dev Con是一种鼓励比特币现金网络创新和解决问题的方法，包括使用标记化和智能合约平台。[2018/9/14]
郑重声明： ConsenSys Quorum发布使用Dafny编写的Eth 2.0正式规范版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。