量子科技中心_量科网

Fischlin变换可在经典随机预言机模型中生成具有直线可提取性的非交互式零知识证明。该机制通过工作量证明迫使证明者生成多个可接受的交互记录。由于在量子可访问随机预言机模型(QROM)中难以分析查询记录的概率（即使采用压缩预言机方法），Fischlin变换是否对量子敌手保持直线可提取性始终是未解难题。本工作证明，基于压缩预言机的提取器可使Fischlin变换在QROM中保持直线可提取性。这确立了Fischlin变换的后量子安全性，为Pass变换提供了证明尺寸更小、具备后量子直线可提取性的NIZK替代方案。我们的技术包括独立随机变量和与鞅的尾界估计、对称化处理、查询振幅分析以及量子联合界论证方法。