[云南省参与编制的一区块链团体标准获批发布]4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）
相关快讯：
昆明市将出台支持数字经济发展的政策措施，加快云南省区块链中心建设:5月15日，《昆明市2019年国民经济和社会发展计划执行情况与2020年国民经济和社会发展计划草案的报告(书面)》提请市十四届人大五次会议审议。报告称，出台支持数字经济发展的政策措施，加快发展远程医疗、智慧零售、平台经济等新业态，促进VR/AR/XR产业发展。提速云南省数字经济开发区、华为·昆明5G数字经济智慧园区建设。加快云南省区块链中心建设，促进在电子政务、跨境贸易、智慧康养等领域率先实现应用场景落地。深入实施“数字昆明”建设计划，加快推进智慧城市建设，全面实施“刷脸就行”工程。积极申报建设国际互联网专用通道，新建5G基站5000个。[5/16/2020 12:00:00 AM]
云南省长阮成发：努力把云南建设成为区块链产业发展试验场聚集区:金色财经消息，3月15日，云南省区块链中心在昆明市五华科技产业园挂牌成立。省委副书记、省长阮成发致辞并揭牌。他强调，要认真贯彻落实总书记关于加快推动区块链技术和产业创新发展的重要指示批示精神，以敢吃第一只螃蟹的勇气、担当实干的魄力、百折不挠的毅力，大力推动区块链和经济社会融合发展，努力把云南建设成为区块链产业发展试验场聚集区。（云南网）[3/16/2020 12:00:00 AM]
云南省区块链中心挂牌成立，区块链溯源商品码“孔雀码”正式发布:3月15日，云南省区块链中心在昆明市五华科技产业园正式挂牌。依托于当天上线的国内首个省级区块链平台，“孔雀码”正式发布。这是全国首个省级层面推出的区块链溯源商品码，利用区块链可追溯、不可篡改的特性，通过“一品一码”将流通各环节信息上链，解决长期以来信息不透明、数据易被篡改、安全性差、客户信任度低等问题，真正实现防伪溯源。（云南网）[3/15/2020 12:00:00 AM]
郑重声明： 云南省参与编制的一区块链团体标准获批发布版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。