【技术实现步骤摘要】
【国外来华专利技术】
本专利技术大体上涉及安全信息交换和加密计算领域，尤其涉及计算机化通信系统中的零知识证明。
技术介绍
1、零知识证明(zero-knowledge proof)，也称为零知识协议，是指一方(证明方)可以向另一方(验证方)证明(或演示)语句为真而不透露任何超出语句本身有效性的信息所遵照的协议。例如，给定一个随机数的哈希值，证明方(prover)可以使用零知识证明让验证方(verifier)相信证明方确实拥有(或知道)这个数。具体地，在不透露这个数的情况下，证明方可以构建一个证明系统，所述系统在实现时令人信服地引导验证方得出结论：证明方拥有或知道这个数。在理想情况下，零知识证明能让验证方相信一个语句，但只透露该语句本身的有效性。
2、自goldwasser、micali和rackoff推出零知识(zero-knowledge，zk)证明以来，零知识证明已在用户或设备认证和签名方案、安全计算、以及区块链技术中新兴的屏蔽交易等多个领域得到应用。零知识证明在密码学和(例如，电子设备之间的)安全通信中有多种应用。
3、零知识技...
【技术保护点】
1.一种用于执行零知识证明的方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，所述语句具有多个方面或变量，并且其中，所述多片语法分解包括使用多个线路和多个门生成所述语句的布尔电路表示，所述混淆电路从所述布尔电路表示生成。
3.根据权利要求1或2所述的方法，其特征在于，所述方法还包括将所述语句转换为一个或多个正则表达式，并从所述正则表达式生成布尔电路表示，所述混淆电路直接或间接从所述布尔电路表示生成。
4.根据权利要求3所述的方法，其特征在于，所述方法还包括在所述布尔电路表示上实现卡诺图运算，以产生所述布尔电...
【技术特征摘要】
【国外来华专利技术】
1.一种用于执行零知识证明的方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，所述语句具有多个方面或变量，并且其中，所述多片语法分解包括使用多个线路和多个门生成所述语句的布尔电路表示，所述混淆电路从所述布尔电路表示生成。
3.根据权利要求1或2所述的方法，其特征在于，所述方法还包括将所述语句转换为一个或多个正则表达式，并从所述正则表达式生成布尔电路表示，所述混淆电路直接或间接从所述布尔电路表示生成。
4.根据权利要求3所述的方法，其特征在于，所述方法还包括在所述布尔电路表示上实现卡诺图运算，以产生所述布尔电路表示的简化版本，所述混淆电路直接或间接从所述布尔电路表示的所述简化版本生成。
5.根据权利要求1至4中任一项所述的方法，其特征在于，使用非交互式不经意传输执行向多个验证方发送所述分区的混淆电路。
6.根据权利要求1至5中任一项所述的方法，其特征在于，所述方法还包括执行多方不经意传输方案，以促进所述证明方和所述验证方之间的交互和/或所述验证方之间的交互。
7.一种计算机程序产品，其特征在于，所述计算机程序产品包括其上存储有指令的非瞬时性计算机可读介质，当所述指令由计算机处理器执行时，使计算机执行根据权利要求1至6中任一项所述的方法。
8.一种系统，其特征在于，所述系统包括：
9.根据权利要求8所述的系统，其特征在于，所述语句具有多个方面或变量，并且其中，所述多片语法分解包括使用多个线路和多个门生成所述语句的布尔电路表示，所述混淆电路从所述布尔电路表示生成。
10.根据权利要求8或9所述的系统，其特征在于，所述证明方设备还用于：将所述语句转换为一个或多个正则表达式，并从所述正则表达式生成布尔电路表示，所述混淆电路直接或间接从所述布尔电路表示生成。
11.根据权利要求10所述的系统，其特征在于，所述证明方设备还用于在所述布尔电路表示上实现卡诺图运算，以产生所述布尔电路表示的简化版本，所述混淆电路直接或间接从所述布尔电路表示的所述简化版本生成。
12.根据权利要求8至11中任一项所述的系统，其特征在于，所述证明方设备用于使用非交互式不经意传输向所述多个验证方设备发送所述分区的混淆电路。
13.根据权利要求8至12中任一项所述的系统，其特征在于，所述证明方设备和所述验证方设备和/或多个验证方设备用于执行多方不经意传输方案，以促进所述证明方设备和所述验证方设备和/或多个验证方设备之间的交互。
14.一种用于执行零知识证明的方法，其特征在于，所述方法包括：
15.根据权利要求14所述的方法，其特征在于，所述语句具有多个方面或变量，并且其中，所述多片语法分解包括使用多个线路和多个门生成所述语句的布尔电路表示，所述混淆电路从所述布尔电路表示生成。
1...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。