[云南省参与编制的一区块链团体标准获批发布]4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）
其它快讯：
云南省多部门执法惩治比特币“挖矿”，节电约20亿千瓦时:12月17日消息，今年以来，为打击比特币“挖矿”行为，切实规范全省发、供、用电秩序，云南省能源局组织州市电力行政主管部门和电网企业开展专项联合执法，坚决拆除比特币等虚拟货币“挖矿”矿机、厂房及供电设施。
截止9月底，经过三轮清理整顿，梳理汇总向比特币“挖矿”企业私自供电中小水电站246座，目前均已按照国家相关要求中止供电，绝大部分矿机和厂房实现应拆尽拆。据目前初步测算，全年可节电量约20亿千瓦时。（人民网）[2021/12/17 7:46:21]
云南省政府公布十项措施支持区块链产业发展:云南省政府官方公众号今日发布通知，将采取十项措施支持区块链产业发展：1、支持区块链新型基础设施建设，每年选出3个区块链平台，最高补助不超过1000万元；2、加强区块链政务应用引领；3、培育区块链产业应用市场，每年拨款5000万元，支持企业使用区块链技术；4、打造区块链应用示范标杆；5、拨款5000万元，支持云南省区块链中心建设运营；6、推动区块链信息服务主体做大做强；7、支持区块链企业上市，合规上市的区块链企业，将给予不超过1600万元奖励；8、加大基金支持力度；9、加强区块链人才培养和引进；10、打造区块链交流平台。通知表示，本措施自公布之日起施行，有效期至2023年12月31日，由省发展改革委负责解释。[2021/4/2 19:40:51]
声音 | 经济分析师：昆积极推进云南省区块链产业示范基地等重点项目建设:经济分析师溪瀛表示，坚持防控和发展“两手抓”。要抢抓疫情“赶考期”，积极培育数字经济。疫情的发生，使得网上订餐、培训、办公等数字经济新业态更加普及，昆明应以此为契机，积极推进国家级互联网直联点、云南省区块链产业示范基地等重点项目建设，挖掘经济增长点，助力传统产业转型升级。（昆明日报）[2020/2/27]
郑重声明： 云南省参与编制的一区块链团体标准获批发布版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。