德罗·拉皮多特;阿迪·沙米尔 可公开验证的非交互式零知识证明。 （英语） 兹比尔0800.68414 Menezes，Alfred J.（编辑）等人，《密码学进展-密码术’90》。密码学理论与应用会议，美国加州大学圣巴巴拉分校，1990年8月11日至15日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。537, 353-365 (1991). 摘要：在本文中，我们在单向置换存在的一般假设下，为任何NP语句构造了第一个可公开验证的非交互式零知识证明。如果证明器是多项式有界的，那么我们的方案基于陷门置换存在的更强的假设。在这两种情况下，我们假设（P）和（V）有一个共同的随机串，并用它来证明一个定理（可以选择它作为已知串的函数）。关于整个系列，请参见[Zbl 0782.00081号]. 引用于6评论引用于30文件 MSC公司： 68第25页 数据加密（计算机科学方面） 94A60型 密码学 关键词：零知识证明;活板门排列 PDF格式BibTeX公司 XML格式引用 \textit{D.Lapidot}和\textit{A.Shamir}，莱克特。注释计算。科学。537353-365（1991年；Zbl 0800.68414） 全文： 内政部