团体标准 T/JSHLW003-2021 区块链智能合约应用规范 Blockchain-SmartcontractapplicationspecificationICS35.240.99 I6490 2021年5月25日发布 2021年6月10实施 江苏省互联网协会区块链标准化技术委员会发布 全国团体标准信息平台 目录 前  言........................................................................................................................................................I 1范围.......................................................................................................................................................1 2规范性引用文件...................................................................................................................................1 3术语、定义和缩略语...........................................................................................................................1 4智能合约基础架构模型.......................................................................................................................2 5智能合约应用要求...............................................................................................................................4 5.1隐私要求........................................................................................................................................4 5.2法律要求........................................................................................................................................4 5.3运行要求........................................................................................................................................4 5.4评估要求........................................................................................................................................5 全国团体标准信息平台 I前  言 本标准按照GB/T1.1-2009给出的规则起草。 本标准由江苏省互联网协会区块链标准化技术委员会提出并归口。 本标准起草单位：南京理工大学、江苏省智能交通信息感知与数据分析工程实验室、苏宁金融研究 院金融科技研究中心、江苏荣泽信息科技、江苏启迪区块链科技、南京大学。 本标准主要起草人：戚湧、赵学龙、王良铄。 全国团体标准信息平台 1区块链智能合约应用规范 1范围 本标准规定了区块链智能合约的应用规范，从基础设施层、合约层、运维层、智能层、表现层和应 用层简述了智能合约基础架构模型，说明了智能合约在区块链中应用时需要注意的各项要求和注意事 项。 本标准适用于： a）供打算使用区块链建设区块链智能合约系统的组织或个人参考； b）可以作为指导参考帮助区块链服务提供组织成功建立区块链系统中智能合约的实现； c）方便在建设区块链系统过程中运行智能合约达到环境实现的目的作为参考。 2规范性引用文件 下列文件对于本文件的应用是必不可少的。凡是标注日期的引用文件，仅限所注日期的版本适用于 本文件。凡是不注日期的引用文件，其最新版本（包括所有的修改单）适用于本文件。 GB/T1839.1-2002信息技术数据元的规范与标准化第1部分：数据元的规范与标准化框架 CBD-Forum-001-2017区块链参考架构 CBD-Forum-002-2018区块链智能合约实施规范 YD/T3747-2020区块链技术架构安全要求 3术语、定义和缩略语 3.1 区块链blockchain 在对等网络环境下，区块链是按照时间顺序将数据相连的一种块链式数据结构，通过透明和可信规 则，使用密码学方式保证的不可伪造、不可篡改和可追溯的分布式账本，实现和管理事务处理的模式。 3.2 分布式账本及其关键技术distributedledgeranditskeytechnologies 智能合约的执行与交互需要依靠共识算法、激励机制及P2P通信网络等区块链关键技术实现,最终执 行结果将记入由全体节点共同维护的分布式账本.不同的共识算法和激励机制将影响智能合约的设计模 式、执行效率和安全性能.以激励机制为例,以太坊中智能合约的开发需要额外考虑燃料消耗问题,设计 合约时需避免出现燃料耗尽异常和死代码、无用描述、昂贵循环等高耗燃操作。 3.3 形式化验证formalverification 用数字形式化方法对算法的性质进行证明或证伪的过程。 3.4 全国团体标准信息平台 2智能合约形式化验证formalverificationforsmartcontract 通过形式化的程序逻辑，证明智能合约程序是否满足给定的形式化规范。在满足规范的基础上，通 过显式证明来验证结果的正确性。 3.5 开发环境developmentenvironment 狭义的智能合约可看作是运行在区块链上的计算机程序,作为计算机程序,智能合约的开发、部署和 调用将涉及到包括编程语言、集成开发环境(IDE)、开发框架、客户端和钱包等多种专用开发工具.以钱 包为例,除作为存储加密货币的电子钱包外,通常还承担启动节点,部署合约、调用合约等功能。 3.6 预言机oraclemachine 为保证区块链网络的安全,智能合约一般运行在隔离的沙箱执行环境中(如以太坊的EVM及超级账本 的Docker容器等),除交易的附加数据外,预言机可提供可信外部数据源供合约查询外部世界的世界状态 或触发合约执行.同时,为保持分布式节点的合约执行结果一致,智能合约也通过查询预言机实现随机 性。 3.7 智能合约smartcontract 以数字形式定义的能够自动执行条款的合约，在区块链技术领域，智能合约是指基于预定时间触发、 不可篡改、自动执行的计算机程序。 注：本文件中，除非特殊说明，合约代指图灵完备的智能合约，即从智能合约代码、智能合约运行 时的环境均支持图灵完备。 3.8 图灵完备Turingcomplete 一系列操作数据的规则（如指令集、编程语言、细胞自动机）按照一定的顺序计算并解决所有可计 算的问题。 4智能合约基础架构模型 智能合约的生命周期根据其运行机制可概括为协商、开发、部署、运维、学习和自毁六个阶段，如 图一所示，模型自下而上由基础设施层、合约层、运维层、智能层、表现层和应用层组成。 全国团体标准信息平台 3 图1智能合约基础架构模型 4.1基础设施层 封装支持智能合约及其衍生应用实现的所有基础设施，这些基础设施的选择将在一定程度上影响智 能合约的设计模式和合约属性。 4.2合约层 封装静态的合约数据，合约层可以看作为智能合约的静态数据库，封装了所有智能合约调用、执行、 通信规则。 4.3运维层 封装了一系列对合约层中静态合约数据的动态操作,运维层是保证智能合约能够按照设计者意愿正 确、安全、高效运行的关键。 4.4智能层 封装了各类智能算法,为前三层构建的可完全按照创建者意愿在区块链系统中安全高效执行的智能 合约增添了智能性。 4.5表现层 封装了智能合约在实际应用中的各类具体表现形式。 全国团体标准信息平台 44.6应用层 封装了智能合约及其表现形式的具体应用领域。 5智能合约应用要求 5.1隐私要求 5.1.1可信数据源隐私要求 智能合约在执行时可能需要向区块链系统以外的可信数据源发出请求查询，这些请求操作一般是公 开的，因此，用户的隐私可能受到外在的威胁，进而导致存在匿名攻击者对用户隐私和智能合约产生威 胁。 要求：可信数据输入系统，系统允许用户发送私密数据请求，合约在发送请求之前用系统的公钥加 密请求，系统收到请求后利用公钥解密，保证区块链中其他用户无法查看请求内容。 5.1.2合约数据隐私要求 区块链的匿名性其实并没有完全解决智能合约产生的隐私问题，在区块