云南省参与编制的一区块链团体标准获批发布

[云南省参与编制的一区块链团体标准获批发布]4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）

其它快讯：

云南省大数据中心发展专项规划提出重点发展区块链:金色财经报道，云南省工业和信息化厅发布《云南省大数据中心发展专项规划（2021—2025）（征求意见稿）》，《征求意见稿》提出，把握“东数西算”机遇，重点发展区块链等，同时拟将云南打造为西南区域大数据产业增长极，带动区块链等关联产业集聚。（云南日报）[2021/9/3 22:57:11]

动态 | 云南省发布行动计划：以区块链为突破口引进一批区块链创新企业:据都市时报消息，近日，云南省政府网站公布的《云南省实施“补短板、增动力”省级重点前期项目行动计划（2019—2023年）》提出，推动数字产业化。提升电子信息、通信与网络等基础产业，做大云计算、大数据、物联网、人工智能等新兴产业。重点以区块链技术应用为突破口，引进一批区块链创新企业，率先在跨境贸易、数字医疗、数字小镇实现区块链示范应用场景落地。[2019/4/18]

动态 | 云南省委副书记主持召开会议审议区块链产业发展规划等文件:据云南日报报道，2月19日，省委副书记、省长阮成发主持召开建设“数字云南”领导小组第一次会议，会议听取了“数字云南”建设有关情况汇报，审议了云南数字经济发展规划、区块链产业发展规划、支持区块链产业发展若干政策等文件，就“数字云南”总体构架、制度设计、发展思路等方向性重大问题进行了充分讨论。[2019/2/20]

郑重声明： 云南省参与编制的一区块链团体标准获批发布版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。