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

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

云南省將對單個區塊鏈項目最高補助1000萬元:日前，省發展改革委官網發布了《云南省支持區塊鏈產業發展若干措施實施細則（試行）》，全省將大力支持區塊鏈新基建發展，每年擇優遴選3個應用活躍、帶動突出的區塊鏈平臺，按照項目研發、購買或租用設備及測試認證費用的30%給予項目建設主體一次性事后補助，單個項目最高補助不超過1000萬元。（昆明日報）[2021/5/28 22:51:23]

云南省區塊鏈中心掛牌 阿里巴巴等24家區塊鏈企業首批入駐:昨日，云南省區塊鏈中心在昆明市五華科技產業園正式掛牌，阿里巴巴科技（北京）有限公司等24家區塊鏈企業首批入駐，區塊鏈產業發展環境初步形成。接下來，云南將以區塊鏈技術應用為突破口，打造成區塊鏈技術應用試驗場、產業發展聚集區。當天，云南省區塊鏈產業聯盟正式成立，38家國內外企業加入，以商招商的產業氛圍日漸濃厚。云南區塊鏈平臺同時上線。作為全省統一區塊鏈服務平臺，旨在通過打造云南省綠色食品“十大名品”溯源系統、工業大麻監管系統、跨境電商產品溯源系統、電子病歷信息共享系統、住房維修資金管理系統、區塊鏈電子憑證、區塊鏈供應鏈金融、司法存證固證等行業應用場景，助力數字云南整體升級。全國首個省級層面推出的區塊鏈溯源商品碼——“孔雀碼”也于掛牌儀式上正式發布。（云南網）[2020/3/16]

聲音 | 阿里巴巴副總裁高紅冰：區塊鏈會給云南省的發展帶來巨大的機會:據文化旅游觀察報道，7月20日，2019年首屆“數字云南”區塊鏈國際論壇在昆明舉行。阿里巴巴集團副總裁高紅冰在會上表示，數字是今天數字經濟的石油。以前是動力革命，今天的人工智能大數據講的是算率的革命，今天有區塊鏈解決生產關系的問題。在這個背后商業體系最重要的東西就是基本單位的契約，由于這個數字的區塊鏈，讓它可以在最危險的時候進行牟定，改變商業的頂層體系，如果區塊鏈大規模運用起來，為社會經濟發展帶來更大信用的發現、信用的創造和信用體系的構筑。這些會成為經濟發展新的業態、新的方向、新的動力。區塊鏈重構事實上會給云南省的發展帶來巨大的機會。[2019/7/21]