机构名称：
¥ 7.0
流式交互式证明（SIPS）启用了一种由空间构造的算法，该算法可以一通访问大量数据流，以通过与强大但不受信任的供体通信，验证需要大空间的计算。这项工作启动了对数据流的零知识证明的研究。我们在流设置中定义了零知识的概念，并为流互动证明文献中的两个主要算法构建块构造了零知识SIP：Sumcheck和多项式评估协议。我们最好的知识，所有已知的流互动互动证明都是基于这些工具中的一种，实际上，这使我们能够获得零知识的SIP，以解决中心流问题，例如索引，点和范围查询，中位数，频率力矩和内部产品。我们的协议在时间和空间方面和通信方面都是有效的：验证算法的空间复杂性是Polylog（n），在使用随机的接近线性长度的非相互作用设置后，其余参数为n o（1）。在途中，我们开发了一个用于设计零知识数据流托管的算法工具包，由代数流承诺协议和时间承诺协议组成。我们的分析依赖于平均案例沟通复杂性的微妙代数和信息理论论证和依赖。
流式零知识证明
主要关键词
相关文件推荐
