Apple 公布 corecrypto 后量子算法 ML-KEM 与 ML-DSA 的形式化验证方案
Apple 随本周 corecrypto 更新公开了量子安全算法 ML-KEM 和 ML-DSA 的实现，以及为证明其符合 FIPS 203 与 FIPS 204 规范而构建的数学证明，供外部专家独立评估。
#芯片/固件
Apple Security Research 博客AI 评分3434
Google Project Zero精选AI 评分8888 Project Zero 披露 Pixel 10 零点击利用链：VPU 驱动 mmap 缺陷可读写内核
Google Project Zero 公开了一条针对 Pixel 10 的零点击利用链，从 Dolby 解码器漏洞 CVE-2025-54957 到内核提权共两步。
推荐理由：Project Zero 公开 Pixel 10 零点击利用链的完整技术路径，展示 Android 驱动中一个浅层 mmap 缺陷如何被直接用于内核任意读写。