主要技术内容
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智能合约废止安全要求
适用范围
本文件规定了区块链智能合约的安全规范，包括智能合约需求分析与规划、合约建设、审计、触发、运行和废止过程。
本标准适用于：
a）为计划使用区块链的组织建设区块链智能合约系统提供安全规范参考；
b）指导区块链服务提供组织建立安全的区块链智能合约；
c）为区块链系统建设过程中，智能合约运行安全的实现提供参考。
注：在不引起混淆的情况下，本文件中的“标准化文件”简称为“文件”
是否包含专利
否
