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

Formal expression of blockchain smart contract

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

现行

更新日期:2026-03-30

标准状态

发布日期

2020-12-21

实施日期

2021-01-01

基础信息

标准号

T/CIE 095-2020

团体名称

中国电子学会

包含专利

是

标准分类

国际标准分类号

35.060

标准层级

团体标准

主要技术内容

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

起草单位

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

起草人

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

T/CIE 095-2020 相关专题

T/CIE 095-2020 相似标准

标准号标准名称状态发布日期实施日期
T/CSP 7-2020颗粒技术 紫外荧光生物气溶胶监测仪 技术要求现行2020-12-212021-01-01
GB/Z 196-2026区块链和分布式记账技术 分类和本体现行2026-07-30
GB/Z 205-2026区块链和分布式记账技术 治理指南现行2026-07-30
YD/T 7292-2026基于区块链的数据流通 平台参考框架即将实施2026-07-152026-11-01
Q/GDW 12172.7-2021电力区块链 第7部分:存证应用指南现行2021-12-312021-12-31
Q/GDW 12172.6-2021电力区块链 第6部分:密码应用规范现行2021-12-312021-12-31
Q/GDW 12172.5-2021电力区块链 第5部分:隐私保护规范现行2021-12-312021-12-31
Q/GDW 12172.4-2021电力区块链 第4部分:跨链实施指南现行2021-12-312021-12-31
Q/GDW 12172.3-2021电力区块链 第3部分:智能合约规范现行2021-12-312021-12-31
Q/GDW 12172.2-2021电力区块链 第2部分:数据格式规范现行2021-12-312021-12-31
Q/GDW 12172.1-2021电力区块链 第1部分:技术导则现行2021-12-312021-12-31
YD/T 6942-2026面向物联网的多区块链即服务(BaaS)平台的管理协同技术要求即将实施2026-06-012026-09-01
T/QGCML 2410-2023基于区块链技术的土地流转综合数字服务通用技术要求现行2023-11-302023-12-15
T/QGCML 2411-2023基于区块链技术的数字乡村政务服务通用技术要求现行2023-11-302023-12-15
T/GBA 014-2023区块链 基因数据应用实施规范现行2023-12-252023-12-30
T/CCSA 547-2024基于区块链的工业互联网数据采集防篡改技术框架现行2024-07-032024-10-01
T/CAS 764-2023零碳工厂创建与基于区块链的评价规范现行2023-09-082023-09-08
T/SAC 004-2024证券业区块链电子数据存证应用规范现行2024-07-292024-07-29
T/SZAS 72-2023区块链 基因数据应用实施规范现行2023-12-252023-12-30
T/CIE 157-2023基于区块链的公共信用信息交换技术参考架构现行2023-03-202023-03-20