ICS 团体标准 T/CESA1050—2018 区块链智能合约实施规范 Blockchain—Smartcontractimplementingspecification 2018-12-18发布 2018-12-18实施 中国电子工业标准化技术协会发布 全国团体标准信息平台 全国团体标准信息平台 T/CESA1050-2018 I 版权保护文件 版权所有归属于该标准的发布机构，除非有其他规定，否则未经许可，此发行物及其章节不得以其 他形式或任何手段进行复制、再版或使用，包括电子版，影印件，或发布在互联网及内部网络等。使用 许可可于发布机构获取。 全国团体标准信息平台 T/CESA1050-2018 II目  次 前  言.............................................................................................................................................................III 1范围.....................................................................................................................................................................4 2规范性引用文件.................................................................................................................................................4 3术语和定义.........................................................................................................................................................4 4缩略语.................................................................................................................................................................5 5智能合约实施框架.............................................................................................................................................5 6实施过程.............................................................................................................................................................6 参 考 文 献...................................................................................................................................................13 全国团体标准信息平台 T/CESA1050-2018 III前  言 本标准按照GB/T1.1-2009给出的规则起草。 请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。 本部分由中国电子技术标准化研究院提出。 本标准起草单位：众安信息技术服务有限公司、中国电子技术标准化研究院、深圳前海微众银行股 份有限公司、厦门安妮股份有限公司、上海复星高科技（集团）有限公司、上海金丘信息科技股份有限 公司、京东集团、易见供应链管理股份有限公司、浙江蚂蚁小微金融服务集团有限公司、中国平安保险 （集团）股份有限公司、普华永道中天会计师事务所（特殊普通合伙）。 本标准主要起草人：瞿争、宋文鹏、李鸣、赵阳、范洪月、张健、吕国新、孙亮、张开翔、徐磊、 郝汉、杨胜、鞠鹏、洪蜀宁、韩峰、张林、王招军、齐宁宁、周海平、刘天成、孙曦、韩梅、冯承勇、 王梦寒、张宝、郭亦卓、孙琳。 全国团体标准信息平台 T/CESA1050-2018 4区块链智能合约实施规范 1范围 本标准规定了区块链智能合约的实施规范，包括智能合约构建、触发、运行和评估过程。 本标准适用于： a)为计划使用区块链的组织建设区块链系统提供智能合约实施参考； b)指导区块链服务提供组织建立区块链系统智能合约的实现； c)为区块链系统建设过程中智能合约运行时环境的实现提供参考。 2规范性引用文件 下列文件对于本文件的应用是必不可少的。凡是注日期的引用文件，仅注日期的版本适用于本文件。 凡是不注日期的引用文件，其最新版本（包括所有的修改单）适用于本文件。 GB/T18391.1-2002信息技术数据元的规范与标准化第1部分:数据元的规范与标准化框架 CBD-Forum-001-2017区块链参考架构 3术语和定义 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 全国团体标准信息平台 T/CESA1050-2018 5通过形式化的程序逻辑，证明智能合约程序是否满足给定的形式化规范。在满足规范的基础上，通 过显式证明来验证结果的正确性。 3.5 标识符identifier 数据元的唯一标识。 [GB/T18391.1-2002，定义3.33] 3.6 预言机oraclemachine 区块链与物理世界进行交互而存在的可信任实体。 注：预言机通常提供了智能合约在合约条款得到满足时运行的充分条件。 3.7 智能合约smartcontract 以数字形式定义的能够自动执行条款的合约。 注1：在区块链技术领域，智能合约是指基于预定事件触发、不可篡改、自动执行的计算机程序。 注2：本文件中，除非特殊说明，合约代指图灵完备的智能合约，即从智能合约代码、智能合约运行时环境均支持 图灵完备。（对齐） [CBD-Forum-001-2017，定义2.2.7] 3.8 图灵完备Turingcomplete 一系列操作数据的规则（如指令集、编程语言、细胞自动机）按照一定的顺序计算并解决所有可计 算的问题。 4缩略语 下列缩略语适用于本文件。 DApp：分布式应用程序（DecentralizedApplication） 5智能合约实施框架 智能合约实施框架包含合约构建、合约触发、合约运行和合约评估四部分，见图1。 全国团体标准信息平台 T/CESA1050-2018 6图1智能合约实施框架 6实施过程 6.1合约构建要求 6.1.1合约编码规范 在编写智能合约代码时，应符合代码书写规范、逻辑要求等规范性要求。其中包括但不限于： a)书写规范： 1)应使用已经广泛应用的安全技术和工具； 2)合约和函数应模块化，逻辑简洁，避免逻辑性冲突，不应使用过时的语法或用法，如分母 为零、数值运算溢出、数组越界访问等。 b)逻辑要求： 1)对所有公共成员变量与函数的引用对象，进行对外暴露的风险分析； 2)对所有条件选择语句和交易步骤进行完备性检查，满足条件动作描述的完备要求； 3)避免已知的逻辑漏洞和低级的逻辑错误，如转账前余额未校验，未检查返回值的调用等。 6.1.2合约语言约束 智能合约应使用已经广泛应用的合约语言，宜采用最新的稳定版本。合约语言的约束包含数据类型、 计算类型和计算基本结构，见表1。合约创建 合约升级合约构建 基于原合约升级合约运行 合约部署 合约实例化 合约执行 合约废止合约触发 接口直接调用 合约间调用 预言机调用合 约 事 件 合约评估 安全审计 形式化验证 全国团体标准信息平台 T/CESA1050-2018 7表1智能合约语言约束 智能合约语言约束 应支持 宜支持 数据类型string(字符串)、int(整型)、char(字符 型)、boolean（布尔型）以及基本类型的数 组类型byte（字节型）、short（短整型）、long （长整型）、float（单精度浮