[发明专利]用于简化可执行指令以优化可验证计算的系统

权利要求书

1.一种计算机实现的方法，包括：

获得用第一编程语言编码的条件集合；

将所述条件集合转换为用第二编程语言编码的编程条件集合；

将所述编程条件集合预编译为预编译的程序代码；

将所述预编译的程序代码转换为算术电路；

对所述算术电路进行简化，形成简化的算术电路；和

存储所述简化的算术电路。

2.根据权利要求1所述的计算机实现的方法，其中，对所述算术电路进行简化涉及最大程度地简化所述算术电路，从而产生所述简化的算术电路。

3.根据前述权利要求中任一项所述的计算机实现的方法，其中，所述算术电路是有向无环图，包括：

表示逻辑门和输入的节点集合；和

连接表示逻辑门和输入之间的导线的节点的边线集合。

4.根据权利要求3所述的计算机实现的方法，其中：

所述算术电路包括逻辑子模块，所述逻辑子模块包括所述节点集合的真子集；和

对所述算术电路进行简化包括减少逻辑子模块，把逻辑子模块与其余的算术电路分开。

5.根据权利要求4所述的计算机实现的方法，其中，所述逻辑子模块中逻辑门之间的所述导线宽度是1位。

6.根据权利要求4或5中的任一项所述的计算机实现的方法，其中：

所述算术电路还包括另一逻辑子模块，所述另一逻辑子模块包括所述节点集合的另一子集，并且所述节点子集和节点的其他子集是不相交的；和

对所述算术电路进行简化还包括通过使用第一处理器核心来减少所述逻辑子模块，与通过使用第二处理器核心来减少其他逻辑子模块同时进行。

7.根据权利要求6所述的计算机实现的方法，还包括：根据优化计算资源使用的启发式算法，将所述逻辑子模块分配给第一处理器核心，并将所述另一逻辑子模块分配给第二处理器核心。

8.根据权利要求7所述的计算机实现的方法，其中，所述启发式算法是最长处理时间贪心算法。

9.根据任一前述权利要求所述的计算机实现的方法，其中，对所述算术电路进行简化包括：

确定所述算术电路的质蕴涵项集合；

将所述质蕴涵项集合表示为和之积，所述和之积包括第一乘积项和第二乘积项；和

简化第一乘积项和第二乘积项。

10.根据权利要求9所述的计算机实现的方法，其中，通过把布尔最小化规则应用到所述第一乘积项和所述第二乘积项，简化所述第一乘积项和所述第二乘积项。

11.根据任一前述权利要求所述的计算机实现的方法，其中，所述第二编程语言是C++。

12.根据任一前述权利要求所述的计算机实现的方法，其中，所述第一编程语言是一种用于撰写机器可读金融合同的计算机编程语言。

13.根据任一前述权利要求所述的计算机实现的方法，还包括：

生成二次程序，所述二次程序包括用于描述所述简化的算术电路的多项式集合；和

生成参数集合，区块链网络中的节点在执行二次程序时使用所述参数集合。

14.一种系统，包括：

处理器；和

包含可执行指令的存储器，所述处理器执行所述可执行指令会导致所述系统执行根据前述权利要求中任一项所述的计算机实现的方法。

15.一种存储有可执行指令的非暂时性计算机可读存储介质，计算机系统的处理器执行所述可执行指令会导致所述计算机系统至少执行根据权利要求1至13中任一项所述的计算机实现的方法。