350行Python实现生产级ML-DSA验证
我最近生活中不怎么用Python。1 不过，我刚刚写了一个纯Python生产的ML-DSA验证器.是350行代码 （还有更多测试），它支持所有参数集，我对它相当满意。 你可以这样取mldsa摘自PyPI,感谢威廉·伍德拉夫 或者你可以复制粘贴：这是一个没有依赖的单一文件，是双重许可的CC0和0BSD。它支持Python 3.8及更高版本。API的设计灵感来源于优秀的PYCA/密码学. 我希望这能让... 
评论
点赞
收藏不透明且可互操作的 Passkey 记录（及 Go API 设计）
Filippo Valsorda 提出 Passkey Record 规范草案，将 WebAuthn 凭证数据编码为类似密码哈希的可移植字符串，旨在解决各后端存储格式不兼容问题。文章附带了 Go 语言 crypto/passkey 无状态 API 设计预览，并论证了在不使用 Credential ID 作为主键索引的情况下，通过用户 ID 查找即可防御碰撞攻击。适合关注身份认证架构、Go 语言生态及 WebAuthn 底层实现的开发者。
Vulnerability reports are not special anymore
作者 Filippo Valsorda 指出，随着漏洞披露流程的标准化和自动化，负责任的安全研究已变得像常规工程任务一样普遍且缺乏独特性。文章探讨了这一现象对安全社区文化的影响，认为过度强调“特殊贡献者”身份可能掩盖了实际的安全协作需求，引发了关于安全研究伦理和激励机制的讨论。
Frood：基于Alpine Initramfs的极简NAS架构实践
作者分享了一种独特的NAS架构：将完整的Alpine Linux系统打包进initramfs镜像中运行于内存。文章详细解析了构建过程、声明式配置管理、去除了传统bootloader改用UKI以及QEMU测试方法。相比NixOS等复杂方案，此方法极简且易于维护，适合喜欢折腾底层Linux系统的极客参考。 
注册表设计之弊：为何密码学协议应避免动态协商
文章强烈反对在密码学协议中使用数字标识符注册表，认为这会导致运行时协商和复杂的安全漏洞。作者主张每个协议版本应固定使用具体的加密原语，通过版本升级来替换算法，而非在协议内部进行动态协商。文中以age加密工具和JWT漏洞为例，论证了减少协议灵活性和消除注册表能显著提升安全性。 
量子计算机并非 128 位对称密钥的威胁
文章指出由于 Grover 算法的扩展特性，后量子迁移无需更新对称密钥大小，这一观点与多数权威机构一致，澄清了常见误区。
加密工程师视角下的量子计算机时间表
加密工程师Filippo Valsorda认为，具备密码学相关能力的量子计算机在近几年内出现的风险已经高到足以作为决策依据。这是一个来自一线专家的强烈预警，对密码学迁移和长期安全规划有重要参考价值。
关闭 Dependabot
作者建议关闭 Dependabot，改用两个定时 GitHub Actions：一个运行 govulncheck 检查漏洞，另一个针对最新依赖版本运行 CI。这是一种替代方案的个人实践分享。
检查 Go 模块源码
指出 GitHub 等代码托管平台未必显示 Go 模块的正确源码，并介绍了一个名为 的新工具，用于方便地查看模块源码。
go.sum 不是锁文件
Filippo Valsorda 指出在 Go 语言中 go.mod 同时充当清单和锁文件，因此 go.sum 不应被直接查看或手动修改，这是一个常见的误解。
2025 Go 密码学现状综述
作者回顾了 GopherCon US 2025 上关于 Go 与密码学交叉领域的年度演讲，总结了过去一年内的关键进展和变化。 
Geomys 维护者的职业行为准则
Filippo Valsorda 阐述了 Geomys 项目维护者所坚持的专业标准，涉及开源维护中的职业道德与工程实践。
2024/2025 开源供应链攻击回顾
对近期开源项目供应链攻击进行回顾性调查，归纳出钓鱼、控制权交接和 GitHub Actions 不安全触发器等常见根本原因及缓解措施。
XAES-256-GCM规范发布：更安全、合规的AES-GCM扩展方案
Go核心贡献者Filippo Valsorda发布XAES-256-GCM规范，旨在解决AES-GCM的Nonce重用风险。该算法通过扩展Nonce长度实现随机生成Nonce的安全性，同时保持FIPS 140合规性和硬件加速性能，是对XChaCha20Poly1305的重要补充。 
最后的守护者：关键Go项目维护危机与解决方案
Geomys团队作为专业开源维护者，接手了关键的Go项目如bluemonday和gorilla/csrf。文章详细描述了在gorilla/csrf出现安全漏洞且原维护者失联时，团队如何通过研究浏览器安全元数据，在Go 1.25标准库中引入新的CSRF中间件，并提供兼容包作为替代方案。这展示了可持续资金支持的开源维护模式如何解决关键依赖的维护危机。
CSRF 防御的现代实践：从 Token 到 Fetch Metadata
Filippo Valsorda 深入剖析了 CSRF 攻击原理及防御机制的演变。文章对比了传统 Token 方案与现代浏览器 Fetch Metadata 机制，指出后者无需额外配置即可有效防御 CSRF。作者结合 Go 1.25 的新特性，提出了一套基于 Origin 和 Sec-Fetch-Site 头的现代防御算法，旨在解决 SSO 兼容性与安全性平衡问题，适合后端与安全工程师阅读。 
Go 汇编代码的变异测试：填补加密库测试盲区
Go核心维护者Filippo Valsorda介绍为Go 1.26引入汇编变异测试框架，旨在解决加密汇编代码因常量时间执行特性导致的传统覆盖率测试失效问题。文章回顾了2017年P-256模减法的进位处理漏洞，详细阐述了如何在汇编层面进行指令变异以检测未覆盖路径，并展示了在arm64架构下的具体实现案例与初步测试结果。 
age加密与认证：从设计哲学到潜在的新特性
age加密工具作者深入探讨为何默认不包含签名功能，并揭示age已具备基于接收者密钥的隐式认证属性。文章分析了云备份等场景下的认证需求，区分了AEAD与发送者认证，并提出通过插件机制引入显式认证支持的设计构想，征求社区反馈。 
一个宽约简技巧：用形式化验证重构Ed25519标量域实现
Go标准库加密作者Filippo Valsorda详解如何用形式化验证工具fiat-crypto替换Ed25519中晦涩难懂的标量域宽约简代码。文章通过具体数学推导展示了如何用简单的乘加操作替代900行“圣诞树”硬编码，是极具工程参考价值的密码学实现案例。
使用 Passkey 和 age 进行文件加密
Filippo Valsorda 介绍了如何使用 TypeScript 库 Typage 和 age 加密格式，结合 WebAuthn 的 PRF 扩展，实现基于 Passkey 的文件对称加密。文章详细解释了 fido2prf 格式的设计原理、安全性考量（如防链接性、硬件绑定），以及如何在浏览器和 FIDO2 硬件密钥中使用，并附带了 CLI 插件的实现细节。
运行证书透明度日志：低成本守护Web安全的实践指南
作者Filippo Valsorda介绍如何低成本运行证书透明度日志。得益于新的静态CT API和Sunlight实现，现在只需一台服务器、少量存储和带宽即可运营。文章提供了详细的硬件配置建议、成本估算及加入社区的方法，强调这对WebPKI安全的重要性。