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