近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。
中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网）
Gate.io - 芝麻交易所，又称芝麻开门交易所，是原比特儿交易所国际版本，是全球第二大交易所 支持人民币OTC交易 让财富更自由一点
文章采集自互联网，本站不对其真实性负责，如需删除，请发送链接至oem1012@qq.com
发表评论
电子邮件地址不会被公开。 必填项已用*标注
文章评论已关闭！