T/CIE 095-2020 区块链智能合约形式化表达
T/CIE 095-2020 Blockchain smart contract formalized expression
团体标准
中文(简体)
现行
页数：0页
|
格式：PDF
基本信息
标准号
T/CIE 095-2020
标准类型
团体标准
标准状态
现行
发布日期
2020-12-21
实施日期
2021-01-01
发布单位/组织
-
归口单位
中国电子学会
适用范围
主要技术内容:本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考
发布历史
-
2020年12月
文前页预览
当前资源暂不支持预览
研制信息
- 起草单位：
- 北京科技大学、北京大学、北京市经济和信息化局、北京市社会公信建设 促进会、天津蛟图信息科技有限责任公司、北京航天航空大学、中化能源股份有限公司、北京文 章无忧信息科技有限公司、贝壳找房（北京）科技有限公司、京东数字科技集团
- 起草人：
- 朱岩、秦博涵、何啸、王迪、孙贻滋、郭倩、宋伟静、王晟典、洪京一、姚前、蒋国庆、李冀宁、刘国伟、伊然、冯荣权、张韬、胡凯、徐双泉、韩心慧、英伟、甘国华
- 出版信息：
- 页数：- | 字数：- | 开本： -
内容描述
暂无内容
定制服务
推荐标准
- DB37/T 2860.2-2016 商品煤质量 第2部分：民用型煤 2016-10-14
- DB37/T 2875-2016 智能农业装备电子控制单元通用技术条件 2016-12-06
- DB37/T 2878.4-2016 农产品收获机械 通用技术要求 第4部分：大蒜收获机械 2016-12-06
- DB37/T 2859-2016 银杏品种选育程序与要求 2016-10-08
- DB37/T 2878.1-2016 农产品收获机械 通用技术要求 第1部分：大葱挖掘机 2016-12-06
- DB37/T 2860.1-2016 商品煤质量 第1部分：民用散煤 2016-10-14
- DB37/T 2761.2-2016 地理信息公共服务平台技术规范 第2部分：框架数据 2016-04-29
- DB37/T 104-2016 酒精厂酒糟制取沼气技术规范 2016-12-06
- DB37/T 2887-2016 成套选煤设备通用技术条件 2016-12-09
- DB37/T 2878.2-2016 农产品收获机械 通用技术要求 第2部分：胡萝卜收获机械 2016-12-06