Concurrent non-malleable zero-knowledge and simultaneous resettable non-malleable zero-knowledge in constant rounds  

作　　者：Zhenbin Yan Yi Deng Yiru Sun 

机构地区：[1]State Key Laboratory of Information Security,Institute of Information Engineering,Chinese Academy of Sciences,Beijing,China [2]School of Cyber Security,University of Chinese Academy of Sciences,Beijing,China

出　　处：《Cybersecurity》2018年第1期230-244,共15页网络空间安全科学与技术（英文）

基　　金：supported in part by the National Natural Science Foun-dation of China(Grant No.61772521);Key Research Program of Frontier Sciences,CAS(QYZDB-SSW-SYS035);the Open Project Program of the State Key Laboratory of Cryptology。

摘　　要：Concurrent non-malleable zero-knowledge(CNMZK)considers the concurrent execution of zero-knowledge protocols in a setting even when adversaries can simultaneously corrupt multiple provers and verifiers.As far as we know,the round complexity of all the constructions of CNMZK arguments for NP is at least ω(log n).In this paper,we provide the first construction of a constant-round concurrent non-malleable zero-knowledge argument for every language in NP.Our protocol relies on the existence of families of collision-resistant hash functions,one-way permutations and indistinguishability obfuscators.As an additional contribution,we study the composition of two central notions in zero knowledge,the simultaneously resettable zero-knowledge and non-malleable zero-knowledge,which seemingly have stronger proved security guarantees.We give the first construction of a constant-round simultaneously-resettable non-malleable zero-knowledge.To the best of our knowledge,this is the first study to combine the two security concepts described above together in the zero-knowledge protocols.

关 键 词：ZERO-KNOWLEDGE Concurrent non-malleable zero-knowledge Simultaneously resettable zero-knowledge Concurrent security computation 

分 类 号：O17[理学—数学]