机构名称：
¥ 2.0
摘要。折叠方案是一个令人兴奋的新原始性，它改变了执行多个零知识的知识证明以建立关系的任务，以仅执行一个零知识证明，以进行相同的关系，并进行许多廉价的包容性证明。最近，折叠方案已被用来摊销与具有各种应用程序的多个不同验证者证明不同陈述相关的成本。我们观察到，对于这些用途，泄漏有关折叠的陈述的信息可能是有问题的，但是以前的构造会发生这种情况。为解决此问题，我们对保留折叠计划的隐私及其应提供的安全性提供了自然的定义。为了构建保留折叠方案的隐私，我们首先定义了声明hiders，这是一种可能具有独立感兴趣的原始性。简而言之，一种语句隐藏了一个关系的实例作为新实例。当且仅当初始实例为时，新实例才在关系中。使用此构建块，我们可以通过首先隐藏每个语句来利用现有的折叠方案来构建隐私折叠方案。折叠方案允许验证语句折叠到另一个语句中，而语句隐藏器允许验证语句被隐藏为另一个语句。
折叠方案带有隐私保存选择性验证
主要关键词
相关文件推荐
