[发明专利]一种智能合约系统的构建方法和智能合约系统

权利要求书

1.一种智能合约系统的构建方法，其特征在于，包括：

获取智能合约代码；

根据智能合约代码的功能，将智能合约代码拆分为实现不同功能的代码，根据实现不同功能的代码构建多个不同的功能单元；

将多个不同的功能单元分类存储。

2.根据权利要求1所述的构建方法，其特征在于，根据智能合约代码的功能，将智能合约代码拆分为实现不同功能的代码，根据实现不同功能的代码构建多个不同的功能单元的步骤包括：

根据智能合约代码的功能，提取用于实现业务功能的代码，组成智能合约代码模块；

根据智能合约代码的功能，提取用于实现代码漏洞验证功能的代码，组成智能合约验证模块。

3.根据权利要求2所述的构建方法，其特征在于，根据智能合约代码的功能，将智能合约代码拆分为实现不同功能的代码，根据实现不同功能的代码构建多个不同的功能单元的步骤还包括：

根据智能合约代码模块中代码的功能，提取用于响应业务请求，根据业务请求处理业务数据，并为外部设备提供服务接口的代码，组成控制器子模块；

根据智能合约代码模块中代码的功能，提取用于定义数据结构，并提供所存储业务数据的读写接口的代码，组成数据子模块。

4.根据权利要求3所述的构建方法，其特征在于，根据智能合约代码的功能，将智能合约代码拆分为实现不同功能的代码，根据实现不同功能的代码构建多个不同的功能单元的步骤还包括：

根据控制器子模块中代码的功能，提取用于根据业务请求读取数据子模块所存储业务数据，并根据业务请求对业务数据进行逻辑处理的代码，组成业务控制器单元；

根据控制器子模块中代码的功能，提取用于根据业务请求提供对应的数据子模块地址的代码，组成数据地址控制器单元。

5.根据权利要求4所述的构建方法，其特征在于，根据智能合约代码的功能，将智能合约代码拆分为实现不同功能的代码，根据实现不同功能的代码构建多个不同的功能单元的步骤还包括：

根据数据地址控制器单元中代码的功能，提取根据业务请求确定数据子模块命名，并根据数据子模块命名与数据子模块地址之间的映射关系提供数据子模块地址的代码，组成命名空间控制器单元；和/或

根据数据地址控制器单元中代码的功能，提取根据业务请求确定业务类别，并根据业务类别与数据子模块地址之间的映射关系提供数据子模块地址的代码，组成业务分类控制器单元；和/或

根据数据地址控制器单元中代码的功能，提取根据业务请求从预先存储的子合约中查找对应的数据子模块地址的代码，组成工厂控制器单元。

6.根据权利要求2所述的构建方法，其特征在于，根据智能合约代码的功能，将智能合约代码拆分为实现不同功能的代码，根据实现不同功能的代码构建多个不同的功能单元的步骤还包括：

根据所述智能合约验证模块中代码的功能，提取在智能合约开发阶段对智能合约代码进行形式化验证的代码，组成开发形式化验证子模块；和/或

根据所述智能合约验证模块中代码的功能，提取对于区块链上存储的智能合约代码进行形式化验证的代码，组成链上形式化验证子模块；和/或

根据所述智能合约验证模块中代码的功能，提取在智能合约开发阶段对智能合约系统各模块进行测试，验证智能合约系统各模块是否存在漏洞的代码，组成开发测试验证子模块。

7.一种智能合约系统，其特征在于，包括：

智能合约代码模块，用于实现业务功能；

智能合约验证模块，用于实现代码漏洞验证功能；

其中，所述智能合约代码模块、所述智能合约验证模块分类存储在不同地址。

8.根据权利要求7所述的智能合约系统，其特征在于，所述智能合约代码模块包括：

控制器子模块，所述控制器子模块用于响应业务请求，根据业务请求处理业务数据，并为外部设备提供服务接口；

数据子模块，所述数据子模块用于定义数据结构，并提供所存储业务数据的读写接口。