范围:本文件规定了区块链智能合约的安全规范，包括智能合约需求分析与规划、合约建设、审计、触发、运行和废止过程。 本标准适用于： a）为计划使用区块链的组织建设区块链智能合约系统提供安全规范参考； b）指导区块链服务提供组织建立安全的区块链智能合约； c）为区块链系统建设过程中，智能合约运行安全的实现提供参考。 注：在不引起混淆的情况下，本文件中的“标准化文件”简称为“文件”; 主要技术内容:1  范围2  规范性引用文件3  术语和定义3.1 区块链3.2 智能合约3.3 智能合约审计3.4 智能合约形式化验证3.5 预言机3.6 图灵完备4  缩略语5.安全实施框架6  智能合约安全基本要求6.1 需求分析与规划安全要求6.2 智能合约建设安全要求6.2.1 编码安全要求6.3 智能合约审计安全要求6.4 智能合约触发安全要求6.4.1 直接接口调用安全要求6.4.2 合约间调用安全要求6.4.3 预言机调用安全要求6.5 智能合约运行安全要求6.6智能合约废止安全要求