Constant-round adaptive zero-knowledge proofs for NP
Constant-round adaptive zero-knowledge proofs for NP
复制标题
NP 的常轮自适应零知识证明
DOI：
10.1016/j.ins.2013.07.037
复制
发表时间：
2014-03
影响因子：
8.1
通讯作者：
Haojin Zhu
中科院分区：
文献类型：
--
作者：
Zongyang Zhang;Zongyang Zhang;Zhenfu Cao;Zhenfu Cao;Haojin Zhu;Haojin Zhu
安全双方计算允许具有私有输入的双方安全地计算其输入的某些函数，即使在恶意对手存在的情况下也是如此。在这项工作中，我们回顾了零知识证明，并关注于自适应对手，它可以破坏任意数量的参与者，并自适应地决定在计算阶段破坏谁和何时破坏。以前的构造可以在NP(Lindell和Zarosim TCC‘09)中实现所有语言的自适应零知识证明，代价是高轮数，即超常数轮数。在这项工作中，假设存在固定轮次的统计隐藏承诺方案，我们为NP中的所有语言建立了有效的自适应零知识证明，该证明只需要固定的通信轮数。这一制度也是知识的证明。该构造依赖于自适应的实例依赖的承诺方案，并且安全性证明只需要使用黑盒技术，并且根据真实/理想的仿真范例来给出。
Secure two-party computation allows two parties with private inputs to securely compute some function of their inputs, even in the presence of a malicious adversary. In this work, we revisit zero-knowledge proofs and focus on adaptive adversaries, which could corrupt an arbitrary number of parties and adaptively determine who and when to corrupt during the computation phase.Previous constructions could realize adaptive zero-knowledge proofs for all languages in NP (Lindell and Zarosim TCC’09) at the cost of a high round-complexity, i.e., super-constant number of rounds. In this work, assuming the existence of constant-round statistically hiding commitment schemes, we build efficient adaptive zero-knowledge proofs for all languages in NP, which only require constant number of communication rounds. The system is also a proof of knowledge. The construction relies on an adaptive instance-dependent commitment scheme, and the proof of security requires only the use of black-box techniques and is presented according to the real/ideal simulation paradigm.
登录
查看更多内容
影响因子：
3
作者：
Canetti, R
通讯作者：
Canetti, R
影响因子：
3
作者：
M. Naor
通讯作者：
M. Naor
影响因子：
3
作者：
Yehuda Lindell
通讯作者：
Yehuda Lindell
DOI：
10.1145/237814.238014
发表时间：
1996-07
期刊：
Membrane Journal
影响因子：
--
作者：
Donald Beaver
通讯作者：
Donald Beaver
DOI：
10.1137/080725404
发表时间：
2009-09
期刊：
SIAM J. Comput.
影响因子：
--
作者：
Iftach Haitner;Minh-Huyen Nguyen;Shien Jin Ong;Omer Reingold;S. Vadhan
通讯作者：
Iftach Haitner;Minh-Huyen Nguyen;Shien Jin Ong;Omer Reingold;S. Vadhan