[云南省参与编制的一区块链团体标准获批发布]4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）
其它快讯：
云南省多部门执法惩治比特币“挖矿”，节电约20亿千瓦时:12月17日消息，今年以来，为打击比特币“挖矿”行为，切实规范全省发、供、用电秩序，云南省能源局组织州市电力行政主管部门和电网企业开展专项联合执法，坚决拆除比特币等虚拟货币“挖矿”矿机、厂房及供电设施。
截止9月底，经过三轮清理整顿，梳理汇总向比特币“挖矿”企业私自供电中小水电站246座，目前均已按照国家相关要求中止供电，绝大部分矿机和厂房实现应拆尽拆。据目前初步测算，全年可节电量约20亿千瓦时。（人民网）[2021/12/17 7:46:21]
云南省区块链中心挂牌 阿里巴巴等24家区块链企业首批入驻:昨日，云南省区块链中心在昆明市五华科技产业园正式挂牌，阿里巴巴科技（北京）有限公司等24家区块链企业首批入驻，区块链产业发展环境初步形成。接下来，云南将以区块链技术应用为突破口，打造成区块链技术应用试验场、产业发展聚集区。当天，云南省区块链产业联盟正式成立，38家国内外企业加入，以商招商的产业氛围日渐浓厚。云南区块链平台同时上线。作为全省统一区块链服务平台，旨在通过打造云南省绿色食品“十大名品”溯源系统、工业大麻监管系统、跨境电商产品溯源系统、电子病历信息共享系统、住房维修资金管理系统、区块链电子凭证、区块链供应链金融、司法存证固证等行业应用场景，助力数字云南整体升级。全国首个省级层面推出的区块链溯源商品码——“孔雀码”也于挂牌仪式上正式发布。（云南网）[2020/3/16]
声音 | 云南省政协委员：建议应用“物联网+区块链”建立农特产品安全体系:据云南经济日报消息，云南省政协委员、红河哈尼族彝族自治州副州长何民表示，创造信任是区块链技术的最显著优势之一。建议把数字经济新技术和高原特色农特产品高度融合，应用“物联网+区块链”技术，做到每一个产品来源可查、去向可追、责任可究，让高原特色农特产品建立起从种子到盘子、从田间到餐桌的全过程、可追溯、可信赖的农特产品安全体系。[2019/1/31]
郑重声明： 云南省参与编制的一区块链团体标准获批发布版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。