云南网讯（记者 李承韩）近日，云南由北京航空航天大学牵头制定、省参我省参与编制的编制标准《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。块链

　　据悉，团体该标准联合北京科技大学、获批北京邮电大学、发布北京航空航天大学云南创新研究院、云南云南省区块链应用技术重点实验室、省参云南省区块链和数字科技标准化技术委员会、编制标准云南省数字经济产业投资集团有限公司、块链云南云上云信息化有限公司等单位参与编制，团体使基于区块链的获批智能合约设计与验证流程各阶段具有规范性、方法性和可操作性，发布为使用形式化方法解决智能合约设计与开发、云南验证等过程提供了统一标准。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。

(责任编辑：知识)