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

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 相似标准

标准号 标准名称 状态 发布日期 实施日期
DB45/T 2763-2023 基于区块链的政务数据共享平台建设规范 废止 2023-12-12 2024-02-01
DB22/T 3033.3-2023 畜禽产品质量安全追溯 第3部分:区块链技术应用规程 现行 2023-09-28 2023-11-16
T/JSHLW 006-2023 基于区块链的车联网数据应用技术规范 现行 2023-08-14 2023-08-14
DB52/T 1466-2019 区块链 应用指南 废止 2019-12-31 2020-06-01
DL/T 2978.2-2025 电力区块链绿电交易 第2部分:流程要求 现行 2025-09-28 2026-03-28
T/JSHLW 008-2023 区块链数据格式规范 现行 2023-11-21 2023-11-21
DB33/T 2382-2021 财政电子票据区块链技术应用规范 现行 2021-09-30 2021-10-30
T/CESA 1262-2023 区块链 链间互操作指南 现行 2023-06-29 2023-07-01
T/CESA 1168-2021 区块链 可装配系统 装配规范 现行 2021-08-26 2021-09-01
T/CI 1152-2025 基于区块链的交通数据流通安全治理规范 现行 2025-08-25
YD/T 4549-2023 基于区块链的域名注册数据访问协议 响应数据格式定义 现行 2023-12-20 2024-04-01
T/GZBD 7-2022 主权区块链上链数据规范 现行 2022-11-09 2022-12-09
DB50/T 1048-2020 基于区块链的电子商务价值行为认定规范 现行 2020-11-30 2021-03-01
T/SIA 030-2021 区块链企业服务能力要求 现行 2021-09-01 2021-09-01
T/SIA 028-2021 联盟区块链安全技术要求 现行 2021-09-01 2021-09-01
DB61/T 1660-2023 工业产品 区块链溯源平台建设运行规范 现行 2023-03-15 2023-04-15
DB52/T 1468-2019 基于区块链的数据资产交易实施指南 废止 2019-12-31 2020-06-01
T/JSHLW 001-2025 基于区块链的多式联运“一单制”业务交互及数据标准 现行 2025-06-11 2025-07-11
T/JSHLW 005-2023 基于区块链的车联网节点管理规范 现行 2023-08-14 2023-08-14
T/ADEDS 01-2024 政务服务联盟区块链建设指南 现行 2024-02-20 2024-03-01
T/QGCML 4543-2024 区块链技术数据确权系统 现行 2024-08-05 2024-08-24
JR/T 0317-2024 区域性股权市场区块链通用基础设施通讯指南 现行 2024-11-20 2024-11-20
T/FBSCC 0001-2023 基于区块链与分布式存储的产品追溯系统 技术要求 现行 2023-02-20 2023-03-01
GB/T 43579-2023 区块链和分布式记账技术 智能合约生命周期管理技术规范 现行 2023-12-28 2024-04-01
T/CSPSTC 23-2019 区块链技术产品追溯应用指南 现行 2019-03-08 2019-06-15
T/CSP 7-2020 颗粒技术 紫外荧光生物气溶胶监测仪 技术要求 现行 2020-12-21 2021-01-01