彭坤;包，冯 批量ZK证明和OR逻辑验证。 （英语） 兹比尔1237.94083 Yung，Moti（编辑）等人，《信息安全与密码学》。2008年12月14日至17日，第四届国际会议，Inscrypt 2008，中国北京。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-01439-0/pbk）。计算机科学课堂讲稿5487141-156（2009）。 摘要：当必须证明和验证与“OR”逻辑关联的多个知识语句时，现有的解决方案是Cramer等人的证明技术，其中并行执行多个证明和验证协议。本文指出，Cramer等人的解中的强稳健性仅在理论上有价值，在许多应用中并不需要，因为其效率较低。因此，使用批证明和验证这一密码工具来修改Cramer等人的解决方案，该工具通过将只有理论价值的可靠性强度降低到实用水平来提高效率。更准确地说，本文分批处理了Cramer等人解决方案中的多个证明和验证实例。由于现有的批ZK（零知识）证明和验证技术只能处理与and逻辑关联的语句的证明和验证，因此设计了一种新的批证明和验证方法，称为OR逻辑的批ZK-证明和验证。它是第一个处理与OR逻辑链接的多个语句的批处理加密技术。这种新技术只使用一个修改过的证明和验证协议来证明和验证与OR逻辑关联的多个知识语句，从而大大提高了Cramer等人的证明和检验技术的效率。它是Cramer等提出的问题的最有效的解决方案。新的证明和验证协议的稳健性强度降低到对于大多数实际应用仍然足够强的水平。也就是说，在可靠性和效率之间进行了适当的权衡，以设计一个更实用的解决方案来证明和验证OR逻辑。新方案在一个称为van（Sigma）协议的安全模型中进行了分析，该模型是Cramer等人在该技术中使用的Sigma协议的扩展。分析表明，新方案实现了令人满意的安全性和性能。关于整个系列，请参见[Zbl 1160.94004号]. 引用于1审查引用于2文件 MSC公司： 94A60型 密码学 68个M12 网络协议 94A62 身份验证、数字签名和秘密共享 关键词：批量检验;批量验证;与OR逻辑关联的知识语句 PDF格式BibTeX公司 XML格式引用 \textit{K.Peng}和\textit{F.Bao}，Lect。注释计算。科学。5487、141--156（2009年；Zbl 1237.94083） 全文： 内政部