4月18日信息，前不久，由北航带头制订、云南参加定编的《区块链技术智能合约形式化设计与验证方式》（T/CIE130-2022）团体标准得到中国电子学会审批，将由中国规范化出版社出版宣布出版发行。中国标准化研究院出示的标准查新汇报确定，该规范的具体内容在世界各国有关行业具备创新能力，觉得“所研发规范初次明确提出了区块链技术智能合约的形式化设计与验证的一体化方式，为世界各国应用形式化方式处理智能合约设计与开发设计、验证等全过程保证了统一标准，可高效处理智能合约的设计难、开发设计难、检测难等问题”。（云南网 ）
