一种构造并发不可延展零知识的新方法.pdfVIP

第35卷第4期 计 算 机 学 报 V01．35No．4 2012年4月 CHINESE 0FCoMPUTERS Apr．2012 JOURNAL 一种构造并发不可延展零知识的新方法 李睿 徐秋亮 (山东大学计算机科学与技术学院济南250101) 摘要构造了一个新的并发不可延展的零知识论证系统，具有更好的鲁棒性．新方案基于Feige—Shamir结构而 设计，以具有鲁棒性的不可延展承诺方案以及巧妙设计的证据不可区分性证明为基本组件，来实现并发不可延展 性和鲁棒性．此外，对敌手视图的模拟借助r“茫然模拟”的策略．当与其它协议并发组合时，该方案更易于分析和 应用．基于单向函数假设，该方案的轮复杂性为超对数． 关键词零知识；并发不可延展性；鲁棒性；单向函数假设；茫然模拟 中图法分类号TP309DOI号：10．3724／SP．J．1016．2012．00682 Non-·malleable ANewConstructionofConcurrent Zero。·Knowledge LIRuiXU Qiu—Liang Scienceand 250101) (Schoolof Technology，ShandongUniversity，Jinan Computer ofconcurrentnon—malleable AbstractThis focusesontherobustness zero—knowledge． paper simula’_ non-malleable either non-black—box concurrent Existing zero—-knowledgeprotocolsapply tion black—boxsimulationbut a techniques，oremploy incorporatezero—knowledgesub—protoc01． Hencewhen withother ofthese isnot composed protocols，securityprotocolspre— concurrently thewell—known anew servedorhardtO presents argue．Following Feige—Shamirstyle，thispaper forconcurrentnon—malleable is com— construction zero-knowledgeargumentsystem，whicheasily c