密码学报（中英文）2024，Vol.11Issue(4)：807-819,13.DOI:10.13868/j.cnki.jcr.000709
BPK模型中的双可重置零知识协议
Simultaneously Resettable Zero-Knowledge Arguments in BPK Model
摘要
Abstract
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.关键词
交互证明系统/零知识/双可重置协议/纯公钥模型Key words
interactive proof system/zero-knowledge/simultaneous resettability/bare public key model分类
信息技术与安全科学引用本文复制引用
祝维,邓燚..BPK模型中的双可重置零知识协议[J].密码学报（中英文）,2024,11(4):807-819,13.基金项目
国家自然科学基金(61932019,61772521,61772522)National Natural Science Foundation of China(61932019,61772521,61772522) （61932019,61772521,61772522）
