62、菲亚特 - 沙米尔签名的具体处理

菲亚特 - 沙米尔签名的具体处理

1. 研究背景与相关工作

在量子计算环境下，菲亚特 - 沙米尔（Fiat - Shamir）签名的安全性证明是一个重要的研究方向。此前，有基于学习误差（LWE）假设的证明，它采用特定技术自适应地重新编程量子随机预言机，且似乎是为特定的身份识别协议量身定制。对于 TESLA 签名方案在量子随机预言机模型（QROM）下的安全性证明，其背后的直觉源于底层身份识别方案具有有损性，但从有损身份识别方案证明菲亚特 - 沙米尔签名的通用安全性仍是一个开放问题。

Unruh 证明了具有诚实验证者零知识（HVZK）和统计稳健性的身份识别方案，在额外假设存在“双模硬实例生成器”来生成身份识别方案的密钥对时，能在 QROM 下产生不可伪造选择消息攻击（UF - CMA）安全的菲亚特 - 沙米尔签名。最初的证明仅包含渐近证明，而更新版本提供了具体的安全边界。

2. 核心研究成果

• 安全分析 ：对通过菲亚特 - 沙米尔变换及中止机制从任何有损身份识别方案 ID 获得的签名 FS[ID, H]进行了简单且模块化的 QROM 安全分析，同时考虑了确定性变体 DFS[ID, H, PRF]的安全性。若 ID 是有损身份识别方案且具有 HVZK 特性，那么 DFS[ID, H, PRF]在 QROM 下是紧密 UF - CMA 安全的，而 FS[ID, H]是非紧密 UF - CMA 安全的。这表明应优先选择 DFS[ID, H, PRF]。
• 证明方法 ：证明的主要部分是对 AFLT 菲亚特 - 沙米尔证明的改进，使其无历史依赖。结合相关通用结果