云南省參與編制的一區塊鏈團體標準獲批發布

4月18日消息，近日，由北京航空航天大學牽頭制定、云南省參與編制的《區塊鏈智能合約形式化設計與驗證方法》（T/CIE130-2022）團體標準獲得中國電子學會批復，將由中國標準化出版社正式出版。中國標準化研究院出具的標準查新報告確認，該標準的內容在國內外相關領域具有創新性，認為“所研制標準首次提出了區塊鏈智能合約的形式化設計與驗證的一體化方法，為國內外使用形式化方法解決智能合約設計與開發、驗證等過程提供了統一標準，可有效解決智能合約的設計難、開發難、測試難等問題”。（云南網 ）

更新：云南省能源局并未禁止加密貨幣挖礦:Coindesk 援引中國礦工提供的信息，否認了此前關于「云南省能源局禁止加密貨幣挖礦」的消息。

此前媒體 Forkast 報道稱，挖礦平臺 BTC.top 在接受其采訪時表示云南省能源局將禁止該地區的加密貨幣挖礦業務。BTC.top 創始人江卓爾在接受 Coindesk 采訪時否認了這一消息，表示員工在接受采訪時的說法為「云南有可能禁止該省的挖礦業務」。

水滴資本合伙人鄭玉山表示，網上流傳的云南省政府文件中，印章、標題格式與文件編號均存在問題，可能是偽造的文件截圖。[2021/6/12 23:32:22]

阿里與云南省在區塊鏈創新等多個領域展開全面合作:8月18日消息，阿里巴巴與云南省簽署深化戰略合作協議和11個項目合作協議，在數字農業、區塊鏈創新、城市現代化治理、數字生活、人才培訓等多個領域全面展開數字化合作。阿里巴巴集團董事會主席兼首席執行官張勇和云南省主要負責人參加簽約儀式。“阿里巴巴20年的發展積累，都是為了數字經濟大時代的到來，”張勇在簽約當天說，“到今天，阿里早已不只是一家電商企業，而是覆蓋數字商務、數字金融、數字物流到云計算、區塊鏈等等方面的數字經濟體。我們希望運用整個數字生態和技術的力量，為云南發展助力。”[2020/8/18]

動態 | 云南省會議報告：設立區塊鏈發展基金 引進一批區塊鏈創新企業:據云南網報道，1月7日上午，中共昆明市委第十一屆六次全體會議召開。云南省委常委、昆明市委書記程連元代表市委常委會作題為《深化改革強動能 擴大開放增優勢 聚力創新促轉型 高質量推進區域性國際中心城市建設》的報告，報告提出，昆明市要實現8個“新突破”，第三為，在轉變發展方式上實現新突破，其中包括：大力推進科技創新——以打造全國小微企業創業創新基地示范城市為抓手，加大對中小企業創新支持力度；打造全省工業創新核心區；設立區塊鏈發展基金，引進一批區塊鏈創新企業；配合省舉辦好首屆區塊鏈國際論壇。[2019/1/9]