首页/团体标准/信息传输、软件和信息技术服务业/T/CIE 095-2020

区块链智能合约形式化表达

Formal expression of blockchain smart contract

T/CIE 095-2020信息传输、软件和信息技术服务业

现行

标准状态

发布日期

2020-12-21

实施日期

2021-01-01

基础信息

标准号

T/CIE 095-2020

团体名称

中国电子学会

包含专利

是

标准分类

国际标准分类号

35.060

行业分类

I6490 其他互联网服务

标准层级

团体标准

主要技术内容

本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。 注： 本文提供的智能法律合约示例及智能合约示例，见附录A。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。

起草单位

北京科技大学、北京大学、北京市经济和信息化局、北京市社会公信建设促进会、天津蛟图信息科技有限责任公司、北京航空航天大学、中化能源股份有限公司、北京文章无忧信息科技有限公司、贝壳找房(北京)科技有限公司、京东数字科技集团

起草人

朱岩、秦博涵、何啸、王迪、孙贻滋、郭倩、宋伟静、王晟典、洪京一、姚前、蒋国庆、李冀宁、刘国伟、伊然、冯荣权、张韬、胡凯、徐双泉、韩心慧、英伟、甘国华

T/CIE 095-2020 相关专题

T/CIE 095-2020 相似标准

标准号标准名称状态发布日期实施日期
T/SHBTA 001-2020区块链企业认定方法现行2020-12-312020-12-31
T/SHBTA 002-2020区块链底层平台通用技术要求现行2020-12-312020-12-31
T/SHBTA 003-2020区块链技术应用指南现行2020-12-312020-12-31
T/SHBTA 004-2020区块链技术和应用人才评估规范现行2020-12-312020-12-31
T/DSIA 0606-2021区块链企业评估规范现行2021-01-152021-02-15
T/JSHLW 001-2021区块链基础架构规范现行2021-03-162021-05-01
T/CESA 1166-2021区块链 可装配系统 流程规范现行2021-08-262021-09-01
T/CESA 1167-2021区块链 可装配系统 模块接口要求现行2021-08-262021-09-01
T/CESA 1168-2021区块链 可装配系统 装配规范现行2021-08-262021-09-01
T/CIITA 401-2021区块链 关键服务 安全技术要求现行2021-12-222022-01-22
T/STIC 130010-2022区块链服务认证规范现行2022-01-252022-02-01
T/CESA 1189-2022工业区块链 应用参考架构和使用要求现行2022-03-302022-04-30
T/CESA 1190-2022工业区块链 身份鉴别技术要求现行2022-03-302022-04-30
T/QGCML 281-2022能源企业产品销售区块链溯源管理平台现行2022-05-312022-06-15
T/CESA 1221-2022区块链 专用服务网络 基础设施总体要求现行2022-08-292022-09-29
T/SCBA 001-2022可信区块链平台服务等级评价规范现行2022-09-202022-10-01
T/SCBA 002-2022可信区块链应用服务评价规范现行2022-09-202022-10-01
T/GZBD 7-2022主权区块链上链数据规范现行2022-11-092022-12-09
T/GZBD 8-2022主权区块链测评规范现行2022-11-092022-12-09
T/SCTA 305-2022基于区块链及隐私计算的住房租赁系统技术规范现行2022-12-152022-12-30
T/FBSCC 0001-2023基于区块链与分布式存储的产品追溯系统 技术要求现行2023-02-202023-03-01
T/ZGTXXH 064-2023面向检察办案的区块链存证验证平台数据上链技术要求现行2023-04-062023-04-06
T/CSTM 01057-2023材料数据区块链 通则现行2023-07-072023-10-07
T/CESA 1262-2023区块链 链间互操作指南现行2023-06-292023-07-01
T/CSP 7-2020颗粒技术 紫外荧光生物气溶胶监测仪 技术要求现行2020-12-212021-01-01