零知识证明电路优化方法、装置、终端设备及存储介质制造方法及图纸

本申请提供一种零知识证明电路优化方法、装置、终端设备及存储介质，该方法包括：构建初始零知识证明电路的抽象语法树；根据抽象语法树，优化初始零知识证明电路的初始电路约束；对优化后的初始电路约束进行关联分类，得到零知识证明电路的不同分类的电路约束，不同分类的电路约束在零知识证明电路中并列运行。本申请提供的零知识证明电路优化方法，可以将零知识证明电路中原有的电路约束进行优化，排除了零知识证明电路中一些不需要的电路约束，降低了电路约束出现错误的可能性。同时，对优化后的电路约束进行相应的关联，使得被关联的电路约束具备上下文的关联性，提高了运行效率。提高了运行效率。提高了运行效率。

【技术实现步骤摘要】
零知识证明电路优化方法、装置、终端设备及存储介质


[0001]本申请涉及密码学
，具体涉及一种零知识证明电路优化方法、装置、终端设备及存储介质。

技术介绍

[0002]零知识证明指的是证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。在此之前密码学领域对证明的研究重点在于提高系统的可靠性，即阻止恶意证明者通过验证。零知识证明在此基础上还增加一条限制，即保证在验证过程中证明者的隐私信息不会被透露出去。这一需求在实际场景中随处可见，例如：人们在转账过程中并不想对外人甚至是转账对象泄露交易的相关信息，登陆系统时也不想对服务器暴露自己的密码。零知识证明为这些需求提供了一个通用且高效的解决方案。
[0003]然而，实际情况中，零知识电路描述了计算逻辑中各个参数之间的相互关系，在一组给定的电路约束和输入下，电路的输出结果将是固定的。因此，难免出现给定组合下的电路约束出现问题，即给定的电路约束可能存在冗余、错误的风险。同时，在对现有的电路约束进行了一定的电路约束的优化，又容易导致优化后的电路约束关联性较差，执行效率本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种零知识证明电路优化方法，其特征在于，所述方法包括：构建初始零知识证明电路的抽象语法树；根据所述抽象语法树，优化所述初始零知识证明电路的初始电路约束；对优化后的初始电路约束进行关联分类，得到零知识证明电路的不同分类的电路约束，所述不同分类的电路约束在所述零知识证明电路中并列运行。2.根据权利要求1所述的零知识证明电路优化方法，其特征在于，所述构建初始零知识证明电路的抽象语法树，包括：获取所述初始零知识证明电路的代码信息；对所述初始零知识证明电路的代码信息进行词法分析，得到词法分析结果；对所述初始零知识证明电路的代码信息进行语法分析，得到语法分析结果；根据所述词法分析结果和所述语法分析结果，构建所述初始零知识证明电路的抽象语法树。3.根据权利要求1所述的零知识证明电路优化方法，其特征在于，所述根据所述抽象语法树，优化所述初始零知识证明电路的初始电路约束，包括：根据所述抽象语法树，重新构造电路约束的约束配置信息；根据所述约束配置信息，优化所述初始零知识证明电路的初始电路约束。4.根据权利要求3所述的零知识证明电路优化方法，其特征在于，所述根据所述约束配置信息，优化所述初始零知识证明电路的初始电路约束之前，所述方法还包括：对所述初始电路约束中的约束变量进行变量赋值，得到赋值约束变量；对所述初始电路约束中的约束信号进行信号赋值，得到赋值约束信号；根据所述赋值约束变量和所述赋值约束信号，得到所述初始电路约束的描述信息。5.根据权利要求4所述的零知识证明电路优化方法，其特征在于，所述根据所述约束配置信息，优化所述初始零知识证明电路的初始电路约束，包括：根据所述约束配置信息，解析计算所述描述信息，得到电路信号信息，所述电路信号信息用于对所述初始电路约束中部分初始电路约束的预先编译的电路信号进行完全赋值；删除所述初始电路约束中被所述电路信号完全赋值的初始电路约束，得到未被删除的初始...

【专利技术属性】
技术研发人员：张珂杰，邱炜伟，姜睿颖，乔沛杨，黄方蕾，
申请(专利权)人：杭州趣链科技有限公司，
类型：发明
国别省市：