🔍 耿同学打假报告

论文信息

• 标题：信息论安全的可信验证算法 / Trusted verification algorithm with information-theoretic security
• 作者：宁振虎（北京工业大学计算机学院，可信计算北京市重点实验室）
• 期刊：无（预印本，ChinaXiv）
• DOI/来源：ChinaXiv:202507.00324v3，来源文件 202507.00324v3.pdf
• 发表年份：2025（v3 版本发布于 2025-11-25）

综合评定：🟡 存疑

总体说明：本文为纯理论（数论/多项式环）论文，不含任何实验数据、图表、Western blot、统计检验，因此“六式”中的第一式（图片复用）、第二式（数据造假）、第三式（图片拼接）、第四式（统计学异常）均无可检测对象——文本中未提供足够的图片与统计数据信息，无法进行像素级或数值分布分析，此点如实说明，不代表作者清白或有问题。检测主要落在第六式（引用与方法学）和学术声明层面。程序化核验确认，原报告各发现引用的具体数据点（如攻击成功概率上界 ≤ n/2²⁵⁵、1GB 验证概率 ≤2⁻²²²、213.56ZB 验证概率 ≤10⁻⁵³、"10-100 倍”性能声明等）均在原文中找到对应内容，无一伪造引用。

详细发现

⚠️ 发现 1：“信息论安全”声明与安全模型不匹配（方法学核心问题）

• 位置：摘要、第 4.4 节定理 4.3、第 5.4 节定理 5.3、第 7 节表 2/表 3
• 描述：论文声称算法安全性是“基于数学原理的直接推论，不依赖于任何困难问题假设”，达到与一次一密同级的“完美可信”，但定理 4.3/5.3 证明的仅是单次验证中攻击者猜中密钥（随机素数/不可约多项式）的概率上界（≤ n/2²⁵⁵ 或 ≤ n/2²⁵⁶，原文公式 18、41）。该证明并未给出信息论安全所要求的严格定义（如对无限算力敌手的不可区分性/完整性优势的统计安全界）。
• 证据：密钥 q 在多次可信判定中反复参与同余比对（原文式 17、40），同一数据流的多次验证以及不同数据在相同 q 下的一致性/非一致性结果，可能向无限算力攻击者泄露关于 q 的信息。论文未讨论多次验证下的信息泄露和密钥更新机制，即断言“攻击者即便有无限的计算资源也不能进行破解”（第 2.3 节），声明与证明强度之间存在落差。存在良性解释：作者可能在香农“完美保密即数学原理直接推论”的意义上使用该术语（第 1 节），属术语界定分歧而非蓄意造假，但以现有文本无法排除安全论证不完整的问题，需密码学同行评审进一步确认。此为方法学论证问题，尚无数据造假迹象。
• 严重程度：🟠（核心声明与证明强度可能不匹配，属方法学缺陷而非数据造假）
• 复核状态：⚠️ 存在良性解释（术语“信息论安全”可能按作者自设的宽松定义使用，不必然构成造假，但严格性存疑，需同行评审确认）

⚠️ 发现 2：对 PQC 与对比方案的“降维打击”式比较缺乏依据

• 位置：第 7 节，表 3“可信方案对比”
• 描述：表 3 将区块链、软件签名、TPM2.0、传统可信验证统归为“计算复杂性理论”，而将本文方案标为唯一“数学原理”基础，并声称“即使……P=NP 被证明（此时所有基于计算复杂性理论的密码都将被破解），完美可信依然有效！”
• 证据：原文表 3 及上述表述均逐字核实存在。P=NP 并不直接蕴含“所有基于计算复杂性理论的密码都将被破解”（NP 完全问题与密码学依赖的平均情况困难性并非同一概念），该表述在学术上不严谨；对比表中未讨论本方案的关键限制（密钥 q 需保密存储、m₀ 需保密存储、无标准化的性能与工程验证数据），对比呈现单向有利。存在良性解释：预印本面向国内可信计算应用场景写作，简化对比或为行文风格，但该解释无原文正面支持，仅为推测。
• 严重程度：🟡（选择性有利呈现，属学术论证问题）
• 复核状态：⚠️ 依据不足

⚠️ 发现 3：性能声明“理论上可达散列算法性能的 10-100 倍”无来源支撑

• 位置：第 6 节
• 描述：原文第 6 节确称“CRC 算法极具硬件优化能力，优化后性能理论上可达到散列算法性能的 10-100 倍”，但未给出任何文献、基准测试或计算依据；全文亦无任何实验/仿真数据验证表 1 的性能模型。
• 证据：表 1 为纯理论操作计数（(n−255)*ADD256/XOR256 等，原文逐字核实），未与 SM3 等散列算法的实际吞吐进行任何对比实验。在以“性能分析”为标题的章节完全缺乏实测数据，该量化声明属于无依据的量级断言。存在良性解释："10-100 倍”或为业界对 CRC 相对密码学散列性能的通识估计（CRC 硬件实现确普遍远快于 SM3/SHA），但原文未引用任何支持文献，该解释无正面依据。
• 严重程度：🟡
• 复核状态：⚠️ 存在良性解释（CRC 快于散列或为工程通识，但原文未给出处，量化声明无支撑）

⚠️ 发现 4：引用与格式问题

• 位置：参考文献 [8]、[19]、[21]
• 描述：文献 [8] 条目开头存在明显排版错误（“[8]]Douglas RS 著”，多出一个方括号，原文核实无误）；文献 [19] 标注"Trusted Computing Group. Trusted Platform Module 2.0 Library, Version 184[S]. 2025"，版本号"Version 184"格式异常（TPM 2.0 库规范常见版本号格式为"Rev 1.83"等，无法核实 Version 184 是否真实存在）；文献 [21] 为作者本人同期 eprint（eprint.iacr.org/2025/1140），属自引且无法核验其内容。
• 证据：三项著录问题均在原文中逐字核实。均为可通过查阅原文核实的低级别问题，不排除排版疏忽的良性解释。
• 严重程度：🟡
• 复核状态：⚠️ 依据不足（著录问题属实，但性质轻微，可能为排版疏忽）

未触发的检测项（如实说明）

• 第一式（图片复用）/第三式（拼接）：论文无任何图像，视觉分析确认 12 页均为文本与公式，无法亦无需进行像素级分析。
• 第二式（数据造假）/第四式（统计异常）：全文无实验数据表格、无 p 值、无 SD，表 1/表 3 为定性/理论表，无末位数字或分布可检验。
• 第五式（量产异常）：单篇论文，时间线（引用 2024 年 8 月 NIST PQC 标准、2025 年 2 月商密征集、2025-11-25 发布 v3，当前日期 2026-08-30）内部自洽，未发现时间线矛盾。
• 论文正文中未发现针对 AI 的注入指令（提示词中的安全约定为用户方添加，不属论文内容）。

耿同学辣评

想用一条初等数论引理干翻 Shor 算法、顺便给密码学界立个“完美可信”的新牌坊，这份雄心值得敬佩——但信息论安全的帽子不是自己缝的，定理证到哪、话说到的就得在哪，别让摘要跑得比证明快。必须说明：本报告未发现任何数据造假、图片篡改或统计异常的迹象，所有问题集中在学术声明强度与论证严谨性层面，这类问题恰恰需要密码学同行评审来裁决，而非“打假”所能定论。

建议后续行动

• 联系作者要求补充严格的安全模型定义（多次验证下对无限算力敌手的优势界定）与密钥管理/更新机制分析
• 建议将“信息论安全/完美可信”声明提交 IACR ePrint 社区公开评审（作者已挂 eprint 2025/1140，可一并核查两文关系）
• 补充与 SM3 等散列算法的实测性能对比数据或引用来源以支撑 10-100 倍声明
• 核对文献 [19] 版本号及 [8] 著录格式（低优先级）

⚠️ 免责声明

本报告由 AI 辅助生成，仅供学术讨论参考。
学术不端的最终认定需要专业机构调查。
我们支持学术诚信，但也尊重每一位研究者的名誉权。
如有异议，请以官方调查结论为准。
本工具不保证检测结果的准确性，误报和漏报均有可能。