云南省參與編制的一區(qū)塊鏈團(tuán)體標(biāo)準(zhǔn)獲批發(fā)布

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

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

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