T_CESA 1050-2018 区块链 智能合约实施规范.docxVIP

ICS

团 体 标 准

T/CESA1050—2018

区块链智能合约实施规范

Blockchain—Smartcontractimplementingspecification

2018-12-18发布 2018-12-18实施

中国电子工业标准化技术协会 发布

T/CESA1050-2018

T/CESA1050-2018

T/CESA1050-2018

T/CESA1050-2018

PAGE\*ROMAN

PAGE\*ROMANI

II

II

版权保护文件

版权所有归属于该标准的发布机构，除非有其他规定，否则未经许可，此发行物及其章节不得以其他形式或任何手段进行复制、再版或使用，包括电子版，影印件，或发布在互联网及内部网络等。使用许可可于发布机构获取。

目??次

前??言 III

范围 4

规范性引用文件 4

术语和定义 4

缩略语 5

智能合约实施框架 5

实施过程 6

参?考?文?献 13

PAGE\*ROMAN

PAGE\*ROMANIII

PAGE\*ROMAN

PAGE\*ROMAN4

前??言

本标准按照GB/T 1.1-2009给出的规则起草。

请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。本部分由中国电子技术标准化研究院提出。

本标准起草单位：众安信息技术服务有限公司、中国电子技术标准化研究院、深圳前海微众银行股份有限公司、厦门安妮股份有限公司、上海复星高科技（集团）有限公司、上海金丘信息科技股份有限公司、京东集团、易见供应链管理股份有限公司、浙江蚂蚁小微金融服务集团有限公司、中国平安保险

（集团）股份有限公司、普华永道中天会计师事务所（特殊普通合伙）。

本标准主要起草人：瞿争、宋文鹏、李鸣、赵阳、范洪月、张健、吕国新、孙亮、张开翔、徐磊、郝汉、杨胜、鞠鹏、洪蜀宁、韩峰、张林、王招军、齐宁宁、周海平、刘天成、孙曦、韩梅、冯承勇、王梦寒、张宝、郭亦卓、孙琳。

区块链智能合约实施规范

范围

本标准规定了区块链智能合约的实施规范，包括智能合约构建、触发、运行和评估过程。本标准适用于：

为计划使用区块链的组织建设区块链系统提供智能合约实施参考；

指导区块链服务提供组织建立区块链系统智能合约的实现；

为区块链系统建设过程中智能合约运行时环境的实现提供参考。

规范性引用文件

下列文件对于本文件的应用是必不可少的。凡是注日期的引用文件，仅注日期的版本适用于本文件。凡是不注日期的引用文件，其最新版本（包括所有的修改单）适用于本文件。

GB/T18391.1-2002信息技术数据元的规范与标准化第1部分:数据元的规范与标准化框架

CBD-Forum-001-2017区块链参考架构

术语和定义

GB/T18391.1-2002、CBD-Forum-001-2017界定的以及下列术语和定义适用于本文件。为了便于使用，以下重复列出了GB/T18391.1-2002、CBD-Forum-001-2017中一些术语和定义。

3.1

区块链blockchain

在对等网络环境下，通过透明和可信规则，构建不可伪造、不可篡改和可追溯的块链式数据结构，实现和管理事务处理的模式。

注：事务处理包括但不限于可信数据的产生、存取和使用等。

[CBD-Forum-001-2017，定义2.2.1]

3.2

数据类型datatype

由数据元操作决定的用于采集字母、数字和（或）符号的格式，以描述数据元的值。

[GB/T18391.1-2002，定义3.25]

3.3

形式化验证formalverification

用数学形式化方法对算法的性质进行证明或证伪的过程。

3.4

智能合约形式化验证formalverificationforsmartcontract

PAGE

PAGE5

PAGE

PAGE6

通过形式化的程序逻辑，证明智能合约程序是否满足给定的形式化规范。在满足规范的基础上，通过显式证明来验证结果的正确性。

3.5

标识符identifier

数据元的唯一标识。

[GB/T18391.1-2002，定义3.33]

3.6

预言机oraclemachine

区块链与物理世界进行交互而存在的可信任实体。

注：预言机通常提供了智能合约在合约条款得到满足时运行的充分条件。

3.7

智能合约smartcontract

以数字形式定义的能够自动执行条款的合约。

注1：在区块链技术领域，智能合约是指基于预定事件触发、不可篡改、自动执行的计算机程序。