cryptography

白宫发布行政命令，将向抗量子加密系统过渡的截止日期缩短至2030/2031年，理由是量子计算机的预估成本降低以及“先存储后解密”攻击的威胁。

本文提出Delta-Star，一种采用AlphaZero风格自我对弈的深度强化学习方法，通过与LLL算法的原始操作交互，发现更优的格基约简策略。学习到的策略无需重新训练即可泛化到更高维度和未见过的模数。

加密风投公司Paradigm以近百万美元的价格买下了中央情报局Kryptos雕塑谜题的答案，接管了验证解决方案的角色。

研究人员发现，具有严重偏置比特（大部分为零）的RSA密钥可以使用多项式技术快速分解，这影响了CompleteFTP等产品的密钥。该研究识别出数百个易受攻击的密钥，并将问题追溯到大整数代码中的类型不匹配。

加密空间是一种协作应用架构的研究预览，确保数据经过加密且操作可进行密码学验证，允许服务器存储数据而无法查看明文。它包含一个原型同步引擎，由微软研究院和哈佛大学伯克曼克莱因中心共同开发。

hax是一个将Rust代码翻译成F*、Rocq和Lean等正式语言以进行高保障验证的工具。

详细阐述哈希函数的历史和数学原理，从1956年Arnold Dumey为内存索引而发明的哈希函数，到现代密码学哈希，并包含Python实现。

有证据表明，美国军方近20年来一直在公共GPS信号中利用一个隐藏的176比特槽位广播加密的密码密钥，这实际上将GPS卫星变成了全球数字电台。

rscrypto 是一个纯 Rust 加密库，提供 RSA、Ed25519、X25519、AEAD、哈希、KDF 等功能，注重可移植性、no_std 支持以及业界领先的基准测试。

Let's Encrypt宣布计划采用Merkle Tree证书进行后量子认证，以应对Web PKI中向后量子签名迁移日益增长的紧迫性。

苏黎世联邦理工学院的研究人员展示了一种利用纠缠的超导量子比特生成'完美随机性'的方法，这一突破对密码学和安全通信具有重要意义。

Reed是一种轻量级规范，用于实现前缀认证方案（透明度日志），产生的证明比传统的证书透明度日志更短，取代了早期的Bamboo规范，效率更高、灵活性更强。

作者探究了来自OpenAI和Anthropic的LLM API中的加密推理块，讨论了链式思考数据如何被加密和签名，以及篡改这些块的安全影响。

A gentle introduction to lattice-based cryptography, covering foundations and potential use in post-quantum cryptography.

CA/Browser Forum已投票决定，ACME CAA扩展将在2027年3月前成为强制要求，这是使用DNSSEC实现强加密域名验证的关键一步。

通过几何直觉解释Shamir秘密分享的工作原理，并提到其在Ente的Legacy Kit中用于安全恢复秘密。

文章探讨了量子阻塞这一概念，该过程可能打破量子加密协议，并讨论了为在量子力学之外确保安全性而深入理解因果关系的努力。

作者将“不要自己造轮子”的原则扩展到Web开发领域，反对自定义实现滚动、链接导航、文本选择等浏览器原生行为。

Galois 宣布，SAW 现在支持从 Cryptol 规范生成 Isabelle 理论，将 Cryptol 和 SAW 的易用性与 Isabelle 等交互式定理证明器的表达能力相结合，从而实现对加密协议的半自动化验证。

苹果公司发布了其 corecrypto 库中量子安全算法 ML-KEM 和 ML-DSA 的形式化验证方法与工具，提供了正确性的数学证明，并公开了实现以供独立评估。