摘要
零知识协议使得证明者在说服验证者的同时不泄露任何其他知识,重置环境则赋予其中的敌手与使用同一条随机带的诚实方进行任意多项式次交互的能力,而在重置环境中同时达到合理性与零知识性的协议即被称为双可重置协议.本文构造了BPK模型中的14轮重置合理重置(T,ϵ)-零知识协议,相比于先前BPK模型中的双可重置协议(27轮),轮复杂度缩减了将近一半.本文使用近年来新开发的个体化归约技术,首先在BPK模型中构造了3轮的重置合理并发(T,ϵ)-零知识协议,随后根据标准模型中重置合理的类有界重置零知识协议构造了BPK模型中的双可重置协议.
Zero knowledge interactive protocols are constructions that allow prover to convince verifier of the validity of a statement while providing zero additional knowledge to the verifier,resettable environment provides an adversary the ability to interact with honest party using the same randomness any polynomial times,and protocols that achieving soundness and zero knowledge simultaneously in resettable environment are called simultaneously resettable zero-knowledge protocols.This paper presents a 14-round resettable sound resettable(T,ϵ)-zero knowledge protocol in the BPK model,with the round complexity being almost half of that of previous simultaneous protocol in BPK model(27-round).This paper first constructs a 3-round resettable sound concurrent(T,ϵ)-zero knowledge protocol in BPK model using the recently developed individual simulation technique,then converts the resettable sound of resettable class-bound zero knowledge protocol in plain model into simultaneous resettable zero knowledge protocol in BPK model.
作者
祝维
邓燚
ZHU Wei;DENG Yi(Key Laboratory of Cyberspace Security Defense,Institute of Information Engineering,Chinese Academy of Sciences,Beijing 100085,China;School of Cyber Security,University of Chinese Academy of Sciences,Beijing 100049,China)
出处
《密码学报（中英文）》
CSCD
北大核心
2024年第4期807-819,共13页
Journal of Cryptologic Research
基金
国家自然科学基金(61932019,61772521,61772522)。
关键词
交互证明系统
零知识
双可重置协议
纯公钥模型
interactive proof system
zero-knowledge
simultaneous resettability
bare public key model
