研究指出个体知识证明的随机预言机建模缺陷并给出实用攻击

内容摘要

Wojciech Ciszewski、Stefan Dziembowski 等研究者在 IACR ePrint 发布预印本，指出部分个体知识证明类工作把哈希函数建模为可处理长消息的原子随机预言机存在缺陷。作者称 Merkle-Damgard 和海绵结构等实际哈希函数以及比特币挖矿所用哈希都允许对长输入做部分预计算，违反该假设，并据此展示对 Miller 等人（CCS'15）与 Kelkar 等人（CCS'24）方案的实用攻击，同时提出避免依赖该假设的修改版构造。形式化安全分析将在论文完整版中给出。