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

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

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


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

技术介绍

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

技术实现思路

[0005]这个部分提供了本公开的一般概要，而不是其本文档来自技高网...

【技术保护点】

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

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