信息处理装置、信息处理方法和机器可读存储介质制造方法及图纸

本公开涉及一种信息处理装置、信息处理方法和机器可读存储介质。信息处理装置包括：获取单元，其基于源信息得到多个约束信息，多个约束信息表示变量之间的约束关系；合理性分析单元，其分析多个约束信息的合理性；以及改变信息输出单元，其基于分析结果输出与改变多个约束信息有关的改变信息。该信息处理装置可以对开发者定义的电路约束进行性能和安全两方面的合理性分析，并提出电路约束的优化意见。并提出电路约束的优化意见。并提出电路约束的优化意见。

【技术实现步骤摘要】
信息处理装置、信息处理方法和机器可读存储介质


[0001]本公开涉及信息处理的
，具体地涉及用于密码学领域的信息处理装置、信息处理方法和机器可读存储介质。

技术介绍

[0002]这个部分提供了与本公开有关的背景信息，这不一定是现有技术。
[0003]开发者在定义零知识证明(zkp，zero
‑
knowledge proof)中的电路约束时，由于经验缺乏，很难发现电路中的不合理地方。不合理的电路约束会导致证明生成的性能和安全下降。常规地，开发者手动检查电路的不合理性，但是手动对电路约束进行优化对于开发者来说是件很难的事情。
[0004]此外，zkp框架的代码编译器也会给出一些代码的语法错误。但是这些错误提示和电路约束无关，无法对电路约束进行合理性分析。开发者在对电路约束选择zkp协议的时候，也仅仅是凭借经验，并不能很准确地选择出适配的高性能zkp协议。因此，如何选择一个合适的zkp协议来快速生成证明，也是一件极其困难的事情。

技术实现思路

[0005]这个部分提供了本公开的一般概要，而不是其全部范围或其全部特征的全面披露。
[0006]本公开的目的在于提供一种用于零知识证明的电路合理性分析和协议推荐的信息处理装置、信息处理方法和机器可读存储介质。
[0007]根据本公开的一方面，提供了一种信息处理装置，包括：获取单元，其基于源信息得到多个约束信息，多个约束信息表示变量之间的约束关系；合理性分析单元，其分析多个约束信息的合理性；以及改变信息输出单元，其基于分析结果输出与改变多个约束信息有关的改变信息。
[0008]根据本公开的另一方面，提供了一种信息处理方法，包括：基于源信息得到多个约束信息，多个约束信息表示变量之间的约束关系；分析多个约束信息的合理性；以及基于分析结果输出与改变多个约束信息有关的改变信息。
[0009]根据本公开的另一方面，提供了一种机器可读存储介质，其上携带有包括存储在其中的机器可读指令代码的程序产品，其中，所述指令代码当由计算机读取和执行时，能够使所述计算机执行根据本公开的信息处理方法。
[0010]使用根据本公开的信息处理装置、信息处理方法和机器可读存储介质，可以对开发者定义的电路约束进行性能和安全两方面的合理性分析，并提出电路约束的优化意见。
[0011]从在此提供的描述中，进一步的适用性区域将会变得明显。这个概要中的描述和特定例子只是为了示意的目的，而不旨在限制本公开的范围。
附图说明
[0012]在此描述的附图只是为了所选实施例的示意的目的而非全部可能的实施，并且不旨在限制本公开的范围。在附图中：
[0013]图1为图示根据本公开的实施例的信息处理装置的结构的框图；
[0014]图2为图示根据本公开的另一实施例的信息处理装置的结构的框图；
[0015]图3为图示根据本公开的实施例的信息处理装置的分析可合并电路的流程的示意图；
[0016]图4为图示根据本公开的实施例的信息处理装置的基于分析变量依赖性来分析电路约束的安全性的流程的示意图；
[0017]图5为图示根据本公开的实施例的信息处理装置的基于规则的模式匹配分析电路约束中的不合理性的示意表格；
[0018]图6为图示根据本公开的又一实施例的信息处理装置的第一结构的框图；
[0019]图7为图示根据本公开的又一实施例的信息处理装置的第二结构的框图；
[0020]图8为图示根据本公开的又一实施例的信息处理装置的协议分析流程的示意图；
[0021]图9为图示根据本公开的又一实施例的信息处理装置的协议推荐流程的示意图；
[0022]图10为图示根据本公开的实施例的信息处理方法的流程图；
[0023]图11为图示根据本公开的又一实施例的信息处理方法的流程图；以及
[0024]图12为其中可以实现根据本公开的实施例的信息处理装置和方法的通用个人计算机的示例性结构的框图。
[0025]虽然本公开容易经受各种修改和替换形式，但是其特定实施例已作为例子在附图中示出，并且在此详细描述。然而应当理解的是，在此对特定实施例的描述并不打算将本公开限制到公开的具体形式，而是相反地，本公开目的是要覆盖落在本公开的精神和范围之内的所有修改、等效和替换。要注意的是，贯穿几个附图，相应的标号指示相应的部件。
具体实施方式
[0026]现在参考附图来更加充分地描述本公开的例子。以下描述实质上只是示例性的，而不旨在限制本公开、应用或用途。
[0027]提供了示例实施例，以便本公开将会变得详尽，并且将会向本领域技术人员充分地传达其范围。阐述了众多的特定细节如特定部件、装置和方法的例子，以提供对本公开的实施例的详尽理解。对于本领域技术人员而言将会明显的是，不需要使用特定的细节，示例实施例可以用许多不同的形式来实施，它们都不应当被解释为限制本公开的范围。在某些示例实施例中，没有详细地描述众所周知的过程、众所周知的结构和众所周知的技术。
[0028]<信息处理装置>
[0029]图1图示了根据本公开的实施例的信息处理装置的结构的框图。如图1所示，根据本公开的实施例的信息处理装置100可以包括获取单元110、合理性分析单元120和改变信息输出单元130。
[0030]获取单元110可以基于源信息得到多个约束信息，多个约束信息表示变量之间的约束关系。在此，源信息可以指用于生成约束的源代码，而约束信息可以指与电路约束相关的信息。例如，获取单元110可以基于源代码来构造定义零知识证明的电路约束(也可以简
称电路)。此外，电路约束中定义的变量也可以称为电路变量。
[0031]此外，获取单元110可以将所得到的多个约束信息提供给合理性分析单元120和改变信息输出单元130。
[0032]进一步，合理性分析单元120可以分析多个约束信息的合理性，并且将分析结果提供给改变信息输出单元130。在此，合理性分析主要涉及电路约束系统(例如，一系列乘法约束)的性能和安全性。在合理性分析单元120中，可以分析出电路约束系统中的可合并电路，存在R1CS(Rank one constraint system)变量依赖的不安全电路以及基于规则匹配分析出电路中其他的不合理地方。
[0033]进一步，改变信息输出单元130可以基于分析结果输出与改变多个约束信息有关的改变信息。改变多个约束信息可以包括对约束信息的合并、删除、添加、替换等。具体地，改变信息输出单元130可以基于分析结果向开发者输出电路约束优化建议，从而基于开发者的反馈可以得到修改后的源信息以及相应的约束信息，由此实现对约束信息的优化。
[0034]由此，根据本公开的实施例的信息处理装置100可以对开发者定义的电路约束进行性能和安全两方面的合理性分析，并提出电路约束的优化意见，从而提高零知识证明生成的性能以及加强电路约束的安全性。
[0035]优选地本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种信息处理装置，包括：获取单元，其基于源信息得到多个约束信息，所述多个约束信息表示变量之间的约束关系；合理性分析单元，其分析所述多个约束信息的合理性；以及改变信息输出单元，其基于分析结果输出与改变所述多个约束信息有关的改变信息。2.根据权利要求1所述的信息处理装置，其中，所述改变信息指示对所述多个约束信息中的符合预定条件的约束信息进行合并。3.根据权利要求2所述的信息处理装置，其中，所述合理性分析单元被配置成分析所述变量中的外部变量和基于所述外部变量的值而分配的中间变量，通过去除所述中间变量来合并约束信息，并且对合并后的约束信息进行检查，并且所述改变信息仅指示保留所述合并后的约束信息中的符合所述多个约束信息的通用规则的约束信息作为新的约束信息，而不指示对合并后不符合所述多个约束信息的通用规则的约束信息进行合并。4.根据权利要求1所述的信息处理装置，其中，所述合理性分析单元分析变量依赖性，并且基于所述变量依赖性来检查所述多个约束信息，并且在检查到所述多个约束信息有缺失的情况下，所述改变信息指示向所述多个约束信息添加缺失的约束信息。5.根据权利要求3或4所述的信息处理装置，还包括：语法分析单元，其对所述源信息进行语法分析，得到抽象语法树，并且所述合理性分析单元基于所述抽象语法树分析所述外部变量和所述中间变量或者所述变量依赖性。6.根据权利要求1所述的信息处理装置，其中，所述改变信息输出单元被配置成基于不同的模式类型相应地输出与改变...

【专利技术属性】
技术研发人员：张沈斌，皮冰锋，孙俊，华松，
申请(专利权)人：富士通株式会社，
类型：发明
国别省市：