机构名称：
¥ 8.0
我们引入了一类交互式协议，我们称之为Sumcheck参数，该协议在Sumcheck协议之间建立了新的联系（Lund等人。JACM 1992）和PEDERSEN承诺的折叠技术（Bootle等人EUROCRYPT 2016）。 我们定义了一类对捕获许多感兴趣示例的模块上的Sumcheck友好的承诺方案，并表明Sumcheck协议适用于与承诺方案相关的多项式，从而产生了对承诺开放的知识的简洁论点。 在此基础上，我们还获得了某些环上NP完整语言R1C的简洁论点。 sumcheck参数使我们能够作为特殊情况恢复，以不同的加密设置（离散对数，配对，未知顺序，未知订单，晶格组）的众多先前作品，提供了一个框架来了解所有这些。 此外，我们回答了在先前的工作中提出的空旷的问题，例如从SIS假设中获得基于晶格的简洁论点，以解决环上的满足能力问题。EUROCRYPT 2016）。我们定义了一类对捕获许多感兴趣示例的模块上的Sumcheck友好的承诺方案，并表明Sumcheck协议适用于与承诺方案相关的多项式，从而产生了对承诺开放的知识的简洁论点。在此基础上，我们还获得了某些环上NP完整语言R1C的简洁论点。sumcheck参数使我们能够作为特殊情况恢复，以不同的加密设置（离散对数，配对，未知顺序，未知订单，晶格组）的众多先前作品，提供了一个框架来了解所有这些。此外，我们回答了在先前的工作中提出的空旷的问题，例如从SIS假设中获得基于晶格的简洁论点，以解决环上的满足能力问题。
Sumcheck参数及其申请
主要关键词
相关文件推荐
