一种选择器的构造方法、系统、设备及存储介质技术方案

本发明专利技术公开了一种选择器的构造方法、系统、设备及存储介质，方法包括：选择参数K作为选择器输出值数量N的开根次数；计算获取对N的K次开根的向上取整结果M；声明K·M个输入变量，标记变量，并对变量进行约束；通过K个变量的乘积计算出选择器的N个输出值。使用本发明专利技术方法构造选择器，能够减少变量的使用，降低电路规模，进而减少计算开销，有助于高效生成智能合约证明。

【技术实现步骤摘要】

本专利技术涉及区块链及大数据，更具体的说是涉及一种选择器的构造方法、系统、设备及存储介质。

技术介绍

1、生成智能合约的证明指的是经由某种技术，生成一个可验证的证明，证明内容是智能合约的执行过程以及执行结果的正确性。生成智能合约的证明的作用是作为验证者可以通过验证此证明进而验证智能合约的执行过程以及执行结果的正确性，而无需重新执行智能合约。

2、针对智能合约的证明生成，当下最常见的证明技术是使用零知识证明技术。在零知识证明中，需要针对要证明的问题，构造零知识证明电路，其中包括变量和约束。变量用来表示合约执行中所用的程序变量，是以“列”为单位的，同一列变量的不同行表示此变量在不同步骤下的状态。变量中的一部分是来自外界公开的输入，一部分是固定的(也称静态)，另一部分是电路内部的变量。约束用来表示合约执行过程中指令的操作逻辑，形式为“表达式＝0”，其中表达式是变量经过加减乘操作得到的。电路的约束是对于所有行同时进行约束的。举例而言，约束“变量a+变量b＝0”是指“第1行变量a+第1行变量b＝0”，“第2行变量a+第2行变量b＝0”，以此类推；如表1所本文档来自技高网...

【技术保护点】

1.一种选择器的构造方法，其特征在于，该方法包括以下步骤：

2.根据权利要求1所述的一种选择器的构造方法，其特征在于，所述步骤S1中，所述参数K为：2或3。

3.根据权利要求2所述的一种选择器的构造方法，其特征在于，所述步骤S2中，声明K·M个输入变量，标记变量，并对变量进行约束的过程，包括：

4.根据权利要求3所述的一种选择器的构造方法，其特征在于，所述步骤S3中，通过K个变量的乘积计算出选择器的N个输出值的过程，包括：

5.一种选择器的构造系统，其特征在于，应用如权利要求1-4任一项所述的一种选择器的构造方法，该系统包括：

...

【技术特征摘要】

1.一种选择器的构造方法，其特征在于，该方法包括以下步骤：

2.根据权利要求1所述的一种选择器的构造方法，其特征在于，所述步骤s1中，所述参数k为：2或3。

3.根据权利要求2所述的一种选择器的构造方法，其特征在于，所述步骤s2中，声明k·m个输入变量，标记变量，并对变量进行约束的过程，包括：

4.根据权利要求3所述的一种选择器的构造方法，其特征在于，所述步骤s3中，通过k个变量的乘积计算出选择器的n个输出值的过程，包括：

5.一种选择器的构造系统，其特征在于，应用如权利要求1-4任一项所述的一种选...

【专利技术属性】
技术研发人员：请求不公布姓名，请求不公布姓名，请求不公布姓名，请求不公布姓名，
申请(专利权)人：北京微芯区块链与边缘计算研究院，
类型：发明
国别省市：