近来，由北京航空航天大学牵头制定、云南省参加编制的《区块链智能合约形式化规划与验证办法》CIE130-2022)团体规范取得我国电子学会批复，将由我国规范化出书社正式出书。我国规范化研究院出具的规范查新报告承认，该规范的内容在国内外相关范畴具有立异性，认为“所研制规范首次提出了区块链智能合约的形式化规划与验证的一体化办法，为国内外使用形式化办法处理智能合约规划与开发、验证等进程供给了统一规范，可有用处理智能合约的规划难、开发问、测试难等问题”。




        {买卖矿机矿机托管上矿机收回网联系电话18108888591}