×
耶胡达·林德尔

关于常舍入零知识的一个注记知识的证明。 （英语） Zbl 1283.94074号

J.密码学 26，第4期，638-654（2013）.
摘要：在本注释中，我们显示了恒久不变的计算零知识知识证明对于所有\（\mathcal｛NP｝\）。恒量零知识证明的存在性由O.Goldreich公司和A.卡汉[J.Cryptology 9，No.3，167–189（1996；Zbl 0855.68085号)]以及永久零知识的存在论据知识的证明U.菲戈和A.沙米尔[法学笔记计算科学435、526–544（1990；Zbl 0722.68045号)]. 然而，就我们所知，对所有人的知识（mathcal{NP}）存在恒久的零知识证明是民间传说，因为还没有公布这一事实的证明。

引用于9文件

MSC公司：

94A60型 密码学
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）

引文：

Zbl 0855.68085号;Zbl 0722.68045号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Lindell}，J.Cryptology 26，No.4，638--654（2013；Zbl 1283.94074）
全文： 内政部

参考文献：

[1] 贝拉雷，M。；Goldreich，O.，《关于定义知识证明》，第740号，第390-420页（1992年），柏林·Zbl 0823.94016号
[2] 贝拉雷，M。；雅各布森，M。；Yung，M.，基于任何单向函数的圆最优零知识参数，第4515号，280-305（1997），柏林
[3] M.Blum，《如何证明一个定理，以使其他人无法声称它》，载于《国际数学家大会论文集》，美国，第1444-1451页·Zbl 0672.94005号
[4] R.Canetti，多方密码协议的安全性和组合。《加密杂志》13（1），143-202（2000）·Zbl 0957.68040号 ·doi:10.1007/s001459910006
[5] I.Damgård，关于∑协议。网址：http://www.daimi.au.dk/伊凡/西格玛.pdf·Zbl 1295.94045号
[6] U.Feige，零知识交互证明的替代模型。1990年，以色列Rehovot Weizmann科学研究所计算机科学和应用数学系博士论文。可从以下位置获得网址：http://www.wisdom.weizmann.ac.il/费格·Zbl 1027.94011号
[7] Feige，美国。；沙米尔，A.，《两轮零知识知识证明》，第435号，第526-544页（1989年），柏林·Zbl 0722.68045号
[8] O.Goldreich，《密码学基础》，第1卷：基本工具（剑桥大学出版社，剑桥，2001）·Zbl 1007.94016号 ·doi:10.1017/CBO9780511546891
[9] O.Goldreich，《密码学基础》，第2卷：基本应用（剑桥大学出版社，剑桥，2004）·Zbl 1068.94011号 ·doi:10.1017/CBO9780511721656
[10] O.Goldreich，A.Kahan，《如何为NP构造恒速零知识证明系统》，《密码》9（3），167-190（1996）·Zbl 0855.68085号 ·doi:10.1007/s001459900010
[11] O.Goldreich，H.Krawczyk，《零知识证明系统的构成》。SIAM J.计算25（1），169-192（1996）·Zbl 0841.68112号 ·doi:10.1137/S0097539791220688
[12] O.Goldreich，S.Micali，A.Wigderson，只产生有效性的证明，或者NP中的所有语言都有零知识证明系统。J.ACM38（1），691-729（1991）·Zbl 0799.68101号
[13] S.Goldwasser，S.Micali，C.Rackoff，交互证明系统的知识复杂性。SIAM J.Compute.18（1），186-208（1989）·Zbl 0677.68062号 ·doi:10.1137/0218012
[14] S.Har-Peled，《几何近似算法讲义》（2010），第27章，练习27.5.3。当前在找到http://valis.cs.uiuc.edu/萨里尔/老师/笔记/aprx/·Zbl 0722.68045号
[15] J.Katz，哪些语言有四轮零知识证明？《加密杂志》25（1），41-56（2012）·兹比尔1276.94016 ·doi:10.1007/s00145-010-9081-y
[16] J.Katz。；Ostrovsky，R.，Round-optimal secure two-party computation，No.3152，335-354（2004），柏林·Zbl 1104.94027号 ·doi:10.1007/978-3-540-28628-8_21
[17] Y.Lindell，并行共处理和恒定安全两部分计算。J.Cryptol.16（3），143-184（2003）·Zbl 1027.94011号 ·doi:10.1007/s00145-002-0143-7
[18] M.Naor，使用伪随机生成器的比特承诺。《密码学杂志》4（2），151-158（1991）·Zbl 0731.68033号 ·doi:10.1007/BF00196774
[19] Rosen，A.，关于NP恒整零知识证明的注记，第2951号，191-202（2004），柏林·Zbl 1197.94204号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。