基于可更新可验证CRS模型通用编译器的构建方法技术

本发明专利技术属于零知识证明的技术领域，具体为一种基于可更新CRS模型的通用编译器。通过使用本发明专利技术定义的一个高效的可更新可验证随机函数或可更新可验证不可预测函数，该编译器可将SNARK的可更新知识可靠性提升为可更新仿真可提取性。本发明专利技术进一步扩展了这一结果，提出了另一种编译器，可以将具有更弱安全性概念——称为可更新可靠性的NIZK提升为可更新仿真可提取性。本发明专利技术具体实现了这些编译器，并将其与其他相关工作进行了比较。结果表明，本发明专利技术编译器更为高效，并且可以在多种应用场景中使用。

【技术实现步骤摘要】

本专利技术属于零知识证明，具体涉及一种基于可更新可验证crs模型通用编译器的构建方法，进一步涉及一种基于可更新可验证随机函数或可更新可验证不可预测函数编译器的构建方法。

技术介绍

1、零知识证明(zkp)和非交互式零知识论证(nizk)是现代密码学中的核心工具，并且在密码学理论中扮演着重要角色。这些技术已经广泛应用于各种实际应用中，如匿名凭证、可验证计算、群体签名和尊重隐私的加密货币等。零知识证明系统允许一方(证明者)在不泄露具体信息的情况下向另一方(验证者)证明自己知道一个符合特定关系的见证。典型的零知识证明需要满足三个基本属性：完备性、可靠性和零知识性。完备性保证诚实的证明者总是能够说服诚实的验证者；可靠性保证恶意证明者不能以不可忽略的概率说服诚实的验证者；零知识性保证生成的证明不会泄露任何关于见证的信息。

2、当前最具吸引力的非交互式零知识证明系统是零知识简洁非交互式知识论证(zk-snarks)。近期的研究集中在如何为布尔电路和算术电路构造高效的zk-snarks。groth提出的zk-snarks是目前对于算术电路-满足问题最有效的证本文档来自技高网...

【技术保护点】

1.一种基于可更新可验证CRS模型通用编译器的构建方法，其特征在于具体步骤如下：

2.根据权利要求1所述的构建方法，其特征在于通过将uVRF/uVUF的公钥添加到公共参考字符串(CRS)中，构建一个Lamassu框架的替代方案，给定满足U-nBB-KS和U-WI的NIZKs的NIZKsΠ，其对应的语言其中RL为NP关系，并定义一个新的语言L’有：

3.根据权利要求1所述的构建方法，其特征在于通过设置crs来获知公钥(pk)对应的私钥(sk)，在更新时，或通过一些知识假设来提取新的私钥，NIZKs的构造方法如下所示：

4.根据权利要求1所述的构建方法，其...

【技术特征摘要】

1.一种基于可更新可验证crs模型通用编译器的构建方法，其特征在于具体步骤如下：

2.根据权利要求1所述的构建方法，其特征在于通过将uvrf/uvuf的公钥添加到公共参考字符串(crs)中，构建一个lamassu框架的替代方案，给定满足u-nbb-ks和u-wi的nizks的nizksπ，其对应的语言其中rl为np关系，并定义一个新的语言l’有：

3.根据权利要求1所述的构建方法，其特征在于通过设置crs来获知公钥(pk)对应的私钥(sk)，在更...

【专利技术属性】
技术研发人员：阚海斌，王力冠，鞠元之，
申请(专利权)人：复旦大学，
类型：发明
国别省市：