[云南省参与编制的一区块链团体标准获批发布]4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）
其它快讯：
云南省长阮成发：运用区块链等技术，着力解决农产品溯源等领域难点:8月20日，云南省委副书记、省长阮成发主持召开省打造世界一流“绿色食品牌”工作领导小组第16次会议时强调，要积极打造从田间地头到餐桌的数字化农业示范点，抓住与国内一流企业合作建设直采基地的契机，积极运用区块链等先进技术，着力解决农产品溯源、食品安全、绿色有机生产等领域的难点堵点，推动从种植、展示、采购到销售、追溯全链条数字化升级，加快数字农业建设步伐。（云南日报）[2020/8/21]
阿里与云南省在区块链创新等多个领域展开全面合作:8月18日消息，阿里巴巴与云南省签署深化战略合作协议和11个项目合作协议，在数字农业、区块链创新、城市现代化治理、数字生活、人才培训等多个领域全面展开数字化合作。阿里巴巴集团董事会主席兼首席执行官张勇和云南省主要负责人参加签约仪式。“阿里巴巴20年的发展积累，都是为了数字经济大时代的到来，”张勇在签约当天说，“到今天，阿里早已不只是一家电商企业，而是覆盖数字商务、数字金融、数字物流到云计算、区块链等等方面的数字经济体。我们希望运用整个数字生态和技术的力量，为云南发展助力。”[2020/8/18]
云南省旅游商品协会会长：区块链等技术助力“新零售”:近日，2018首届亚太国际旅游新零售高峰论坛在昆举行，云南省旅游商品协会会长蔡超表示，“新零售”与传统实体零售、传统电商零售的区别在于通过互联网、大数据、区块链解决经营过程的透明化、合理化、精准化、去中心化、规模化问题。[2018/4/18]
郑重声明： 云南省参与编制的一区块链团体标准获批发布版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。