cryptography

Anthropic 宣布推出 FlashProve，这是一个基于 zkSNARKs 的可验证推理系统，让用户能够通过密码学方式验证所使用的正是承诺的 AI 模型和权重，而无需公开模型权重。该系统在 Claude 的协助下开发，据称比现有开源方案快一个数量级，对模型完整性、审计以及未来的 AI 监管具有重要意义。

推文称整数分解已被确定性地证明具有亚指数复杂度（最坏情况界限），并称关键进展来自 Claude 版本的 ETH 反驳工作。

研究人员发现多个 PDF 实现（如 MuPDF 和 Foxit）在生成 AES-256 文件密钥时使用了极弱的随机性——MuPDF 的密钥仅受 9 比特随机状态影响，可通过暴力枚举实现无密码解密受保护的 PDF 文档。

AdaCore 展示了利用 AI（无需直接人工干预）在 SPARK 中生成经过形式化证明的 AES、SHA-256 和 HMAC-SHA-256 实现，正确性通过四种独立方式验证，呼应 Anthropic 关于 LLM 用于形式化软件验证的研究。

eMudhra 的八个中间 CA 私钥被发现是 P-384 曲线上极其薄弱的单字节值（如 4、56、115），可在不到一秒内被暴力破解，因此 Chrome 和 Mozilla 屏蔽了其根证书。

研究人员发现由印度 CA eMudra 签发的 8 个 TLS 证书的私钥强度极其薄弱（熵值仅为 3-8 位，而非预期的 384 位），引发互联网全球范围内的广泛警觉，被比作当年的 Heartbleed 危机。

# 破解 T. E. Wood 1950 年"生存考验"密文 ## 背景 1950 年，T. E. Wood 在《英国心灵研究学会学报》（*Proceedings of the Society for Psychical Research*，简称 *Proceedings of the SPR*）上发表了一则被称为"生存考验"（test of survival）的密码文。其核心问题是：Wood 声称，这则密文包含一条死后世界的信息，而信息被加密保存——只有在人死后才可能被"接收"并解密。学界随即对此展开了大量分析。 密文本身是一串看似随机的字母序列，并未标注密钥来源或加密方法。心灵研究界内部围绕它是否真的蕴含有意义的信息、以及是否有人为构造的可能，争论了数十年。 ## Robert Thouless 与"书籍密钥"加密法 著名心理学家、心灵研究学者 **Robert Thouless** 在分析后提出：这则密文并非"超自然产物"，而可能是用一种**基于书籍的密钥密码**（book-based key cipher）加密的普通英文信息。其机制如下： 1. **选取一本双方事先约定的书**，例如某本经典文学作品或宗教文本。 2. **将书中连续的字母流**按顺序提取，作为密钥流（key stream）。 3. 对明文的第 *n* 个字母，用密钥流的第 *n* 个字母进行**维吉尼亚式偏移**（Vigenère-style shift）： - 设明文字母为 $P_n$（以数字 0–25 表示 A–Z），密钥字母为 $K_n$，则密文字母为： $$C_n = (P_n + K_n) \bmod 26$$ - 解密则做逆运算：$P_n = (C_n - K_n) \bmod 26$。 这种方法的优点是密钥（书籍）可以公开指定而不暴露明文——只要敌对方不知道用的是哪本书，密文看起来就是完全随机的。Thouless 认为，Wood 或其"信息传递者"很可能采用了类似机制，以确保这条信息在"来世"或另一个时代才能被正确解读。 ## 密码机制的细节 ### 字母映射与空格处理 实际操作中，需要对以下问题作出约定： - **空格、标点**：通常在提取密钥流时忽略原文的空格和标点，只保留字母；明文同样只加密字母，空格另行标记或省略。 - **大小写**：统一转为大写（或小写）后再做模运算。 - **数字**：明文中的数字通常以英文单词形式拼写后再加密。 ### 周期性与非周期性 普通的维吉尼亚密码有固定的周期 $m$，但 Thouless 方案中的密钥流来自一本真实书籍的**连续字母序列**，其长度远大于任何合理的明文长度。因此密钥流在实践中是**非周期的**（或者周期极大），这使得传统频率分析完全失效。 ## 穷举搜索：跨多本书籍的暴力破解 由于没有密钥提示，研究者只能采取**穷举法**：对大量候选书籍逐一提取密钥流，尝试解密密文，再检查结果是否为可读英文。 ### 搜索流程 1. **建立候选书籍库** 收集 20 世纪上半叶英语世界最常见的书籍，包括： - 宗教文本（《钦定版圣经》King James Version、《公祷书》*Book of Common Prayer*） - 经典文学（《失乐园》*Paradise Lost*、莎士比亚全集、狄更斯小说） - 手册与参考书（*Whitaker's Almanack*、*Wisden*） - 流行读物与教科书 每本书都需数字化为纯字母串（去除空格和标点，统一大小写）。 2. **逐书解密** 对每本书，从密钥流的第 0 位、第 1 位、……、第 (书长 − 密文长) 位分别作为起始位置，对密文执行解密运算，得到候选明文。 3. **可读性检测** 对每条候选明文使用以下手段评估： - **词频评分**：检查结果中英文常见词（the, and, that, of…）的出现频率。 - **四字母组频率**（quadgram scoring）：比单纯的字母频率更可靠，尤其对较短明文。 - **人工检查**：由研究者目视确认是否存在连贯的句子。 4. **跨书籍遍历** 对书籍库中每一本书重复上述过程。由于每本书的密钥流长度不同，起始位置数量也不同，总搜索量大致为： $$\text{总搜索量} \approx \sum_{i} (L_i - L_c)$$ 其中 $L_i$ 为第 $i$ 本书的字母总数，$L_c$ 为密文长度。当书籍库包含数百本书、每本数千到数十万字母时，总搜索量在数十万到数百万量级——对于现代计算机而言完全可以接受，但在 20 世纪后期手动操作则极其耗时。 ### 关键假设与局限 - **起始位置对齐**：该方法假设密钥流从书中某处连续截取。如果加密者在选书时做了任何修改（跳过段落、换用另一版本），搜索将失败。 - **明文长度**：密文长度限制了明文长度，因此解密结果往往只是一小段话——这也符合"简短的死后信息"这一假设。 - **书籍版本**：同一本书的不同版本（如《圣经》的不同印刷版）字母序列可能存在差异，需要逐一测试。 - **密钥流是否完全连续**：若加密者使用了某种非连续的密钥提取方式（例如每隔若干字母取一个），则上述搜索方法无法覆盖。 ## 搜索结果与结论 Thouless 及后来的研究者对这一方案进行了广泛的测试。总体而言： - 在对大量常见书籍进行穷举后，**未能找到**能够产生完全可读、有意义英文的密钥书籍及起始位置。 - 这一结果既不完全证伪 Thouless 的假设（因为书籍库不可能穷尽所有可能的书），也不支持"超自然来源"的主张——因为**没有任何可验证的解密结果**出现。 - 研究者普遍倾向于认为，Wood 的密文要么是**故意构造的随机字母序列**（以测试学界反应），要么使用了一种**未知的或更复杂的加密机制**，而非 Thouless 所猜测的标准书籍密钥密码。 ## 意义与启示 这一案例在密码学史和心灵研究史上都具有重要意义： - 它展示了**书籍密钥密码**（本质上是流密码的一种手动实现）在前数字时代的实用性与局限性。 - 它提供了**穷举搜索**思路的早期范例——在不知道密钥的情况下，对假设的密钥空间进行系统性遍历。 - 它也揭示了一个深层问题：**如果一条信息从未被成功解密，其"存在"本身就永远无法被证伪**——这使得"生存考验"类的主张在科学上处于不可检验的尴尬地位。 T. E. Wood 的这则密文至今仍作为心灵研究领域一个未解之谜而被提及，而破解它的努力，反而成为了密码分析方法论发展的一个有趣注脚。

由于密钥生成错误，eMudhra 的八张中间 CA 证书私钥遭到泄露，攻击者可能借此冒充任何网站；目前 Mozilla、Microsoft、Apple 和 Chrome 已通过证书吊销机制封锁了这些证书。

据称 Claude 帮助解决了一个困扰NSA 25年的密码学难题，模型内部推理日志显示，它质疑为何如此显而易见的成果几十年来都无人发现。

一门大学课程讲座（CS 463），讲解Galois有限域 GF(2^8) 如何为高级加密标准（AES）提供数学基础，涵盖作为异或运算的域加法，以及基于多项式的乘法和替换表。

据报道，Anthropic 的一款内部研究模型在不到 30 分钟内破解了美国国家安全局（NSA）椭圆曲线种子常数背后长达 26 年的谜团，文章还展示了该模型的思维链推理过程。

Anthropic 的 Claude 破译了 NIST P-256 椭圆曲线种子的生成方式，揭示它来自以时间戳为种子运行的标准 lrand48 随机数生成器，从而驳斥了长期以来关于这条广泛用于网络加密的曲线中存在政府后门的猜测。

博客讲述了作者在 GitHub Nomic 游戏中试图利用 merge commit 时间戳进行 timing attack 却被 GPG 签名阻止，最终朋友 Chelsea Voss 通过本地生成并推送无签名 merge commit 赢得游戏的故事。

一条推文声称，Claude 解开了 NIST 椭圆曲线种子参数来源的长期谜团，揭示这些参数是由时间戳推导而来的。

Anthropic 的研究人员破解了 NIST 椭圆曲线种子的生成方式这一长达 25 年的谜团——这些种子来自以 UNIX 时间戳为种子的 POSIX drand48 随机数生成器，而非经过哈希处理的句子——并领取了 Filippo Valsorda 提供的全额悬赏，将其捐赠给 ISRG/Let's Encrypt。

Anthropic 的 Claude 在半小时内破解了一个长期悬而未决的谜题：NIST ECDSA 椭圆曲线的种子值并非由哈希生成，而是由 C 库中的 lrand48 随机数生成器以 Unix 时间戳作为种子生成。这并非密码学破解，而是解开了长达数十年的起源争议。

Jeremy Kun 的 CKKS 同态加密教程系列新一篇，讲解密文上的加法与乘法运算（暂不含 relinearization），并附带代码实现。

财新报道：香港出生、剑桥毕业的量化工程师何卓峰（音）被控从前雇主Headlands窃取高频交易策略AP1，并与Tower合作在中国期货市场部署，2025年1月在洛杉矶被捕，纽约陪审团审判已开始，面临最高30年刑期。

一名业余爱好者对一个伪装成《南方公园》剧集的恶意 .exe 文件进行了逆向分析。该文件由 Sonarr 从公共 torrent 追踪站自动下载。分析揭示了一个经 ChaCha20 加密的内存 PE 加载器、反调试和反沙箱手法，以及一个窃取浏览器密码和 Cookie 的第二阶段信息窃取程序。

微软研究院发布 Magnetar，一个让 Rust、Go 和 C 程序直接生成零知识证明的通用系统，速度比现有同类系统快 10 到 39 倍，且仅依赖标准哈希函数实现抗量子安全，推动零知识证明走向主流应用。