[云南省参与编制的一区块链团体标准获批发布]4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）
其它快讯：
云南省开出首张区块链不动产税收电子完税证明:8月11日上午，普洱市思茅区政务服务中心为张女士办理了二手房交易缴税业务，成功开出云南省首张区块链不动产税收电子完税证明，标志着云南不动产交易迈入“区块链时代”。（新浪网）[2021/8/11 1:48:34]
云南省长阮成发：运用区块链等技术，着力解决农产品溯源等领域难点:8月20日，云南省委副书记、省长阮成发主持召开省打造世界一流“绿色食品牌”工作领导小组第16次会议时强调，要积极打造从田间地头到餐桌的数字化农业示范点，抓住与国内一流企业合作建设直采基地的契机，积极运用区块链等先进技术，着力解决农产品溯源、食品安全、绿色有机生产等领域的难点堵点，推动从种植、展示、采购到销售、追溯全链条数字化升级，加快数字农业建设步伐。（云南日报）[2020/8/21]
动态 | 金财互联全资子公司方欣科技中标云南省税务局区块链档案库系统:9月24日，据中国政府采购服务信息平台显示，“国家税务总局云南省税务局电子档案系统建设(优化升级)项目”中标结果公示，第一阶段构建基于区块链技术的结构化标准模式的档案库，为后续应用智能化省内推广使用。方欣科技有限公司为中标人。注：方欣科技为金财互联全资子公司。[2019/9/25]
郑重声明： 云南省参与编制的一区块链团体标准获批发布版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。