[发明专利]一种基于零知识证明的链上自动执行智能合约中间件系统

权利要求书

1.一种基于零知识证明的链上自动执行智能合约中间件系统，其特征在于：包含以下组成部分：

(1)数据源模块，定义证明和验证过程中所需的输入数据的参数，验证用户的数据是否来自正确的数据源；

(2)数据证明模块，使用零知识证明zk-SNARKs技术对用户数据进行验证，生成可证明的数据证据；

(3)智能合约代码转换模块，将程序员开发的应用程序转换为可在区块链上运行的智能合约，该智能合约能够验证生成的外部数据证明。

(4)智能合约验证模块，对生成的智能合约进行形式化验证。

2.根据权利要求1所述的一种基于零知识证明的链上自动执行智能合约中间件系统，其特征在于：所述组成部分(1)验证用户的数据是否来自正确的数据源是通过与ECDH交换的加密密钥进行签名验证，用户与中间件系统之间加密是加密进行传输。

3.根据权利要求1所述的一种基于零知识证明的链上自动执行智能合约中间件系统，其特征在于：所述组成部分(1)数据源可以是用户可以通过从外部来源导入数据来用户证明数据如用户的银行余额或资格证书证明等，还可以来自公开的数据源。

4.根据权利要求1所述的一种基于零知识证明的链上自动执行智能合约中间件系统，其特征在于：所述组成部分(2)，零知识证明zk-SNARKs技术可以是PGHR13、G16和GM17等方案。

5.根据权利要求1所述的一种基于零知识证明的链上自动执行智能合约中间件系统，其特征在于：所述组成部分(3)，程序员开发的应用程序是通过中间件系统提供的接口来编写中间程序。

6.根据权利要求1所述的一种基于零知识证明的链上自动执行智能合约中间件系统，其特征在于：所述组成部分(3)，转换生成智能合约过程包括智能合约代码转换模块进行预处理，根据语法规则创建一个带有标记的抽象语法树，并将签名验证转换为零知识证明，生成区块链可运行的智能合约程序。

7.根据权利要求1所述的一种基于零知识证明的链上自动执行智能合约中间件系统，其特征在于所述组成部分(4)，程序进行形式化验证是对智能合约建模、分析和验证，采用的方法可以是演绎验证方法也可以是模型检测方法。