云南省參與編制的一區(qū)塊鏈團體標準獲批發(fā)布

近日，由北京航空航天大學牽頭制定、我省參與編制的《區(qū)塊鏈智能合約形式化設計與驗證方法》（TCIE130-2022）團體標準獲得中國電子學會批復，將由中國標準化出版社正式出版。

據(jù)悉，該標準聯(lián)合北京科技大學、北京郵電大學、北京航空航天大學云南創(chuàng)新研究院、云南省區(qū)塊鏈應用技術重點實驗室、云南省區(qū)塊鏈和數(shù)字科技標準化技術委員會、云南省數(shù)字經(jīng)濟產(chǎn)業(yè)投資集團有限公司、云南云上云信息化有限公司等單位參與編制，使基于區(qū)塊鏈的智能合約設計與驗證流程各階段具有規(guī)范性、方法性和可操作性，為使用形式化方法解決智能合約設計與開發(fā)、驗證等過程提供了統(tǒng)一標準。中國標準化研究院出具的標準查新報告確認，該標準的內容在國內外相關領域具有創(chuàng)新性，認為“所研制標準首次提出了區(qū)塊鏈智能合約的形式化設計與驗證的一體化方法，為國內外使用形式化方法解決智能合約設計與開發(fā)、驗證等過程提供了統(tǒng)一標準，可有效解決智能合約的設計難、開發(fā)難、測試難等問題”。

本站轉載文章和圖片出于傳播信息之目的，如有版權異議，請在3個月內與本站聯(lián)系刪除或協(xié)商處理。凡署名"云南房網(wǎng)"的文章未經(jīng)本站授權，不得轉載。爆料、授權：news@ynhouse.com。