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

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/SHBTA 001-2020 区块链企业认定方法 现行 2020-12-31 2020-12-31
T/SHBTA 002-2020 区块链底层平台通用技术要求 现行 2020-12-31 2020-12-31
T/SHBTA 003-2020 区块链技术应用指南 现行 2020-12-31 2020-12-31
T/SHBTA 004-2020 区块链技术和应用人才评估规范 现行 2020-12-31 2020-12-31
T/DSIA 0606-2021 区块链企业评估规范 现行 2021-01-15 2021-02-15
T/JSHLW 001-2021 区块链基础架构规范 现行 2021-03-16 2021-05-01
T/CESA 1166-2021 区块链 可装配系统 流程规范 现行 2021-08-26 2021-09-01
T/CESA 1167-2021 区块链 可装配系统 模块接口要求 现行 2021-08-26 2021-09-01
T/CESA 1168-2021 区块链 可装配系统 装配规范 现行 2021-08-26 2021-09-01
T/CIITA 401-2021 区块链 关键服务 安全技术要求 现行 2021-12-22 2022-01-22
T/STIC 130010-2022 区块链服务认证规范 现行 2022-01-25 2022-02-01
T/CESA 1189-2022 工业区块链 应用参考架构和使用要求 现行 2022-03-30 2022-04-30
T/CESA 1190-2022 工业区块链 身份鉴别技术要求 现行 2022-03-30 2022-04-30
T/QGCML 281-2022 能源企业产品销售区块链溯源管理平台 现行 2022-05-31 2022-06-15
T/CESA 1221-2022 区块链 专用服务网络 基础设施总体要求 现行 2022-08-29 2022-09-29
T/SCBA 001-2022 可信区块链平台服务等级评价规范 现行 2022-09-20 2022-10-01
T/SCBA 002-2022 可信区块链应用服务评价规范 现行 2022-09-20 2022-10-01
T/GZBD 7-2022 主权区块链上链数据规范 现行 2022-11-09 2022-12-09
T/GZBD 8-2022 主权区块链测评规范 现行 2022-11-09 2022-12-09
T/SCTA 305-2022 基于区块链及隐私计算的住房租赁系统技术规范 现行 2022-12-15 2022-12-30
T/FBSCC 0001-2023 基于区块链与分布式存储的产品追溯系统 技术要求 现行 2023-02-20 2023-03-01
T/ZGTXXH 064-2023 面向检察办案的区块链存证验证平台数据上链技术要求 现行 2023-04-06 2023-04-06
T/CSTM 01057-2023 材料数据区块链 通则 现行 2023-07-07 2023-10-07
T/CESA 1262-2023 区块链 链间互操作指南 现行 2023-06-29 2023-07-01
T/SCBA 002-2023 基于区块链的数字资产应用设计规范 现行 2023-05-10 2023-05-20
T/CSP 7-2020 颗粒技术 紫外荧光生物气溶胶监测仪 技术要求 现行 2020-12-21 2021-01-01
T/CIE 092-2020 自旋转移矩磁随机存储器测试方法 现行 2020-12-21 2021-01-25