BPK模型中的双可重置零知识协议OA北大核心CSTPCD
Simultaneously Resettable Zero-Knowledge Arguments in BPK Model
零知识协议使得证明者在说服验证者的同时不泄露任何其他知识,重置环境则赋予其中的敌手与使用同一条随机带的诚实方进行任意多项式次交互的能力,而在重置环境中同时达到合理性与零知识性的协议即被称为双可重置协议.本文构造了 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.
祝维;邓燚
中国科学院信息工程研究所网络空间安全防御重点实验室,北京 100085||中国科学院大学网络空间安全学院,北京 100049
计算机与自动化
交互证明系统零知识双可重置协议纯公钥模型
interactive proof systemzero-knowledgesimultaneous resettabilitybare public key model
《密码学报（中英文）》 2024 (004)
807-819 / 13
国家自然科学基金(61932019,61772521,61772522)National Natural Science Foundation of China(61932019,61772521,61772522)
评论