云南省参与编制的一区块链团体标准获批发布
发布日期： 2022-04-19 08:04:50 来源： 云南网

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

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

标签： 参与编制

觉得很赞？
分享至：
新闻资讯
本月热门新闻
24小时热点 24小时热点
精彩推送
大理州洱源县：“驻企服务员”一对一指导
美国4月房屋建筑商信心跌至七个月低点 房贷利率创逾11年最高
昆明地铁十周年·预告丨带你感受十年的高速发展
“美国史上最大规模”油储白释放了？国际油价已收复3月底以来的全部跌幅
连锁开店省心啦！ 昆明“评审承诺制”改革便企惠民
4月18日0时至24时，云南新增境外输入确诊病例2例，石林县新增本土确诊病例1例 系在集中隔离点发现
中国外汇投资研究院：美国通胀持续走高 或面临复杂局面
四川自贡：工业+文旅，“再造产业自贡”的二重奏铿锵奏响
袁隆平超级杂交稻如期移栽大田
云南省参与编制的一区块链团体标准获批发布
擦亮“整得呈”品牌！昆明呈贡建立营商环境对标提质机制
一季度四川外贸进出口总值2480.3亿元增速居全国第6
首趟中老铁路“万荣—成都”国际货运班列抵达老挝
美联储布拉德称必要时不排除一次加息75个基点的选项
俄军大规模打击乌克兰军事目标
突发！土耳其大军出动 跨境打击产油大国目标！禽流感肆虐 全球蛋价格飙升
【环球财经】国际油价18日上涨
【环球财经】印度央行：印度经济增长受到外部因素挑战
美股三大指数小幅收跌 热门中概股多数下跌 滴滴跌超18%
巴西政府官员：巴西正在就从伊朗、摩洛哥和美国购买化肥进行谈判
隔夜外盘：美股三大指数小幅收跌 大宗商品再掀涨价潮 美国天然气创13年新高
韩国肉鸡协会被罚超12亿韩元 涉嫌操纵市场
巴西政府称世贸组织必须促进全球粮食安全
隔夜外盘：美股三大指数小幅收跌 热门中概股普遍下挫 滴滴大跌逾18%
巴西政府官员：对俄罗斯实施禁令无助于找到解决冲突的办法
美股三大股指小幅收跌 纳指跌0.14%
埃及总统塞西同约旦国王阿卜杜拉二世通电话
高通胀压力下劳资大战将至？苹果纽约门店工会组织者寻求30美元最低时薪
美联储布拉德：在任何会议上 基本情况是都不会加息超过50个基点
Apollo Global可能支持马斯克或其他竞购方对推特的收购
推特前CEO抨击董事会扼杀公司 马斯克也煽火：他们不代表股东利益
美联储布拉德：如果房地产市场稍微降温 这可能是合理的
美联储布拉德：如果通货膨胀率没有像希望的那样下降 那么作为“B计划”可以更快地减少资产负债表
美联储布拉德：仍预计今年失业率在3%以下
美联储布拉德：尽管目前愿意继续实施被动缩表计划 但对“反转”持开放态度
美联储布拉德：如果迅速采取行动 将控制通胀预期 通货膨胀将回到下降
热门中概股普跌 电商、音视频、在线教育股跌幅居前
加拿大禽流感传播范围已扩至5省 魁北克省扑杀数万只禽类
美国白宫表示，将继续建议旅行人员戴口罩 总统拜登没有访问基辅的计划
美天然气自2008年来首次涨破8美元 玉米同破8美元创九年新高 黄金刷新五周高点
巴西财政和预算部长科纳戈：今年公务员加薪5%已提上日程
世行：2022年全球经济增长预测从4.1%降至3.2%
美国4月份NAHB住宅建筑商指数降至77，预估77
穆迪：斯里兰卡年底债务将增至GDP125%以上
涉嫌40次操纵市场价格 韩国肉鸡协会被罚超600万元
最新！谷歌地图开放俄所有战略要地高像素卫星图像！导弹发射井、秘密试验场清晰可见…
马来西亚今年3月外贸额创历史新高
推特(TWTR.US)盘初涨超1% 公司采用“毒丸”策略抵御恶意收购
穆迪将斯里兰卡评级从Caa2下调至Ca
德国卫生部长警告新冠病毒新变种威胁
涉嫌操纵市场 韩国肉鸡协会被罚超12亿韩元
美股小幅低开 热门中概股普跌
世界银行将2022年全球GDP增长预期从4.1%下调至3.2%
俄罗斯西部军区：俄波罗的海舰队正举行军事演习
美股三大指数小幅低开 道指跌0.15% 标普500指数跌0.21% 纳指跌0.18%
国际货币基金组织：新设450亿美元具有韧性和可持续性的信托基金
三大指数涨跌不一 雾芯科技(RLX.US)跌近6%
世界银行计划提供1700亿美元的援助来帮助发展中国家偿还债务
美股三大股指小幅低开 道指跌0.11%
惠誉预计美国73%的大都市统计区房价被高估
【美股盘前】三大期指齐挫 马斯克称特斯拉FSD测试车辆超10万 国际金价创逾一个月新高
美国上市企业盈利预期大幅回落 但能源公司大赚特赚
俄央行行长：国内经济结构面临调整 预期通胀两年回归正常
第五届进博会签约面积已达展区规划面积70%有余
俄国家技术集团：有关俄SSJ-100喷气式客机或将停运的消息不属实
日本2021年度首都圈新建公寓均价超泡沫经济时期
华龙一号海外首个工程两台机组全面建成投产
地球大气中甲烷浓度升至卫星观测以来最高值
普京：俄罗斯承受住了西方前所未有的压力
日元对美元汇率创2002年5月以来新低
谷歌地图开放俄罗斯所有战略要地的高像素卫星图像
苹果手机打包图片怎么弄
苹果8可以用20w快充吗
印度3月批发价格指数通胀率升至14.55% 创四个月新高
苹果11戴口罩解锁怎么设置
俄总统新闻秘书：俄乌谈判进程缓慢
苹果麦克风模式有什么用
俄总统新闻秘书：俄罗斯对乌克兰的特别军事行动仍在继续
三星手机虚拟内存怎么设置
荣耀x30没有耳机孔吗
做波段适合买基金还是买股票 投资者如何选择
庄股和主力股的区别 区别有这些
比特币下跌1.7% 报39,006美元 触及一个月低点
游资和庄家的区别 区别有四点
【高清组图】昆明金殿：万朵高山杜鹃始盛开
筑梦未来教育金可以异地投保吗 有年龄限制吗
建设银行星期六上班吗 建设银行工作时间
西班牙首相：俄乌冲突影响西班牙经济复苏
股票停牌了会不会不开盘了 股票临时停牌规则
基金跌几个点适合补仓 视情况而定
大理云龙：“三语三员”志愿宣讲服务队传递基层宣传最强音
【财经分析】印度外储连降5周 资本流出和经常账户逆差是主要因素
银行理财产品到期后多久可以拿到钱 答案如下
vivo双系统怎么切换
苹果手机相册拼图怎么拼
拿什么救欧洲？美国天然气价格继续刷新13年高位
vivox27怎么关闭hd高清通话
云南通海：安装绿色防控设施 高效环保防治蔬菜害虫
小米10怎么解除锁屏 10分钟
个股期权开通条件 符合以下条件即可