[云南省参与编制的一区块链团体标准获批发布]4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）
其它快讯：
云南省将对单个区块链项目最高补助1000万元:日前，省发展改革委官网发布了《云南省支持区块链产业发展若干措施实施细则（试行）》，全省将大力支持区块链新基建发展，每年择优遴选3个应用活跃、带动突出的区块链平台，按照项目研发、购买或租用设备及测试认证费用的30%给予项目建设主体一次性事后补助，单个项目最高补助不超过1000万元。（昆明日报）[2021/5/28 22:51:23]
四川、云南省的矿机在今年雨季预计将有20-30%处于闲置状态:有报告表示，今年雨季，这两地的矿机预计会有20-30%的比例处于闲置状态。此外，挖矿活动也受到洪水影响。尽管大部分矿场建于四川山区上游，但是很多电厂在水压影响下停止正常运行，导致矿场受到了停电影响。此外，当地媒体还报道称，六月初的时候，若干中型和大型的比特币矿场被泥石流冲垮。[2020/8/5]
动态 | 云南省财政厅联合支付宝开出全国首张区块链电子票据:记者今日从蚂蚁金服了解到，支付宝的区块链技术再添新场景，日前联合云南省财政厅开出全国首张区块链电子票据。未来，除了学校收费之外，云南省还将在交警罚没、医疗、捐赠等行业落地区块链电子票据。截至2019年8月，包括商品溯源、公益溯源、跨境汇款、供应链金融和电子票据在内，支付宝的区块链技术已经落地超过40个应用场景，与多个行业融合。[2019/10/15]
郑重声明： 云南省参与编制的一区块链团体标准获批发布版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。