cryptography

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

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