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

云南網(wǎng)訊（記者李承韓）近日，由北京航空航天大學(xué)牽頭制定、我省參與編制的《區(qū)塊鏈智能合約形式化設(shè)計(jì)與驗(yàn)證方法》（T/CIE130-2022）團(tuán)體標(biāo)準(zhǔn)獲得中國電子學(xué)會(huì)批復(fù)，將由中國標(biāo)準(zhǔn)化出版社正式出版。

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

關(guān)鍵詞：