FDH、PFDH及GPV-IBE的紧致后量子证明
Tighter Post-Quantum Proof for Plain FDH,PFDH,and GPV-IBE
摘要
Abstract
At CRYPTO 2012,Zhandry developed generic semi-constant oracle technique and proved security of an identity-based encryption scheme,GPV-IBE,and full domain hash(FDH)signature scheme in the quantum random oracle model(QROM).However,the reduction provided by Zhandry incurred a quadratic reduction loss.This study provides a much tighter proof,with linear reduction loss,for the FDH,probabilistic FDH(PFDH),and GPV-IBE in the QROM.The proof is based on the measure-and-reprogram technique developed by Don et al.A security proof is also given for the deterministic hash-and-sign in the QROM,assuming the underlying PSF is non-invertible.This result can be applied to the deterministic version of FALCON and its variants.关键词
量子随机预言机/全域哈希/基于身份的加密方案Key words
quantum random oracle/full domain hash/identity-based encryption分类
信息技术与安全科学引用本文复制引用
刘羽,江浩东,赵运磊..FDH、PFDH及GPV-IBE的紧致后量子证明[J].密码学报（中英文）,2025,12(1):148-162,15.基金项目
国家重点研发计划(2022YFB2701601) （2022YFB2701601）
国家自然科学基金(62002385) （62002385）
密码科学技术全国重点实验室面上课题(MMKFKT202227) （MMKFKT202227）
上海市科委技术标准基金(21DZ2200500) （21DZ2200500）
上海市协同创新基金(XTCX-KJ-2023-54) （XTCX-KJ-2023-54）
上海市科委区块链关键技术攻关专项基金(23511100300)National Key Research and Development Program of China(2022YFB2701601) （23511100300）
National Natural Sci-ence Foundation of China(62002385) （62002385）
General Project of State Key Laboratory of Cryptography(MMKFKT202227) （MMKFKT202227）
Technical Standard Project of Shanghai Scientific and Technological Committee(21DZ2200500) （21DZ2200500）
Shanghai Collabora-tive Innovation Fund(XTCX-K J-2023-54) （XTCX-K J-2023-54）
Special Fund for Key Technologies in Blockchain of Shanghai Scientific and Technological Committee(23511100300) （23511100300）
