cryptography

本文探讨了在人类身份领域，自我主权公钥基础设施（self-sovereign PKI）持续存在的差距——像 Signal 和 iMessage 这类消息应用依赖于用户极少执行的手动密钥验证，并提出当前命名系统无法同时提供对人类有意义且基于密码学锚定的身份标识。

一篇探讨随机性哲学与实用意义的文章，以熔岩灯作为计算中熵生成的隐喻。

澄清了关于 /dev/urandom 和 /dev/random 的常见误解，说明 /dev/urandom 是类 Unix 系统中加密随机性的首选来源。

本文讨论了 FN-DSA 后量子签名标准的当前状态、标准化延迟以及部署中的重要注意事项，包括预哈希考虑。

一种新型的零知识证明利用哥德尔不完备定理克服了之前的保密性限制，建立了数理逻辑与密码学之间的惊人联系。

本文通过一个关于朋友们私下决定去哪家餐厅的实用示例，介绍了安全多方计算（MPC）中 Beaver 三元组的概念。文章解释了秘密共享如何允许参与者基于私有输入计算群体级别的评分，而无需泄露个人数据。

一篇教育性文章，解释生日悖论的数学原理及其在密码学中哈希碰撞的应用，涵盖匹配生日的概率计算以及理查德·冯·米泽斯贡献的历史背景。

Symbolic 发布了 hpke-ng，这是一个新的 Rust 实现的 HPKE（RFC 9180），旨在通过避免现有库（如 hpke-rs）中的错误和抽象来提供更好的性能和安全性。

本文介绍了一篇密码学研究论文，重新审视后量子WireGuard，探讨如何保护WireGuard VPN协议免受未来量子计算威胁。

Signal Shot 是一项重大的形式化验证项目，旨在使用 Lean 验证 Signal 协议及其 Rust 实现。该项目结合了 Rust 到 Lean 的转换（Aeneas）、数学基础（Mathlib/CSLib）、自动化策略（grind/SymM）以及 AI 辅助形式化等方面的最新进展。这是对 Lean 能否从纯数学扩展到已部署的现实世界软件系统的一次重大考验。

一项分析表明，量子计算机并不会对 AES-128 等 128 位对称加密密钥构成威胁，这与大众对 Grover 算法的常见误解正好相反。文章解释了为何在后量子过渡进程中无需更改对称密钥的长度，这与专家和标准化机构的共识保持一致。

图解入门系列的第二部分，介绍 Privacy Pass 和 Google 年龄验证提案等真实世界的匿名凭证系统，重点讲解如何防止凭证克隆，并在不牺牲用户隐私的前提下实现富有表现力的证明。

OpenAI 发布了一篇文章，通过密码破译示例探索大语言模型的推理技术，展示了语言模型的逐步问题求解和模式识别能力。

# 鲁棒分类中的计算限制与双赢结果 来源: [https://openai.com/index/computational-limitations-in-robust-classification-and-win-win-results/](https://openai.com/index/computational-limitations-in-robust-classification-and-win-win-results/) ## 摘要 我们延续关于学习鲁棒分类器中统计/计算权衡的研究,跟进 Bubeck, Lee, Price 和 Razenshteyn 的最近工作,他们展示了分类任务的示例,其中 \(a