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

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

其它快讯：

云南省区块链中心挂牌成立，区块链溯源商品码“孔雀码”正式发布:3月15日，云南省区块链中心在昆明市五华科技产业园正式挂牌。依托于当天上线的国内首个省级区块链平台，“孔雀码”正式发布。这是全国首个省级层面推出的区块链溯源商品码，利用区块链可追溯、不可篡改的特性，通过“一品一码”将流通各环节信息上链，解决长期以来信息不透明、数据易被篡改、安全性差、客户信任度低等问题，真正实现防伪溯源。（云南网）[2020/3/15]

声音 | 云南省委常委：希望企业积极运用区块链等技术大力发展大健康等新兴产业:金色财经报道，云南省委常委、市委书记、滇中新区党工委书记程连元表示，昆明市和云南滇中新区将全力支持昆钢搬迁转型升级项目，希望企业早谋划、早行动，积极运用互联网、区块链等技术，通过产业嫁接、技术提升、资产重组等方式加快转型升级，大力发展大健康等新兴产业，走高质量发展之路。[2020/2/12]

动态 | 云南省《行动计划》：重点以区块链技术应用为突破口，建设“数字云南”:据昆明日报消息，云南省近日发布《云南省实施“补短板、增动力”省级重点前期项目行动计划（2019—2023年）》，将投资6万亿元，共谋划推动2352个省级重点前期项目。在建设“数字云南”方面，《行动计划》指出，重点以区块链技术应用为突破口，引进一批区块链创新企业，率先在跨境贸易、数字医疗、数字小镇实现区块链示范应用场景落地。[2019/5/4]

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