微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明系统
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程，在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约需 12 毫秒。
#安全/对齐
Microsoft ResearchAI 评分5858
Google DeepMind精选AI 评分7070 Google DeepMind 推出 SynthID Bio，为 AI 生成蛋白质嵌入可验证水印
Google DeepMind 发布 SynthID Bio，将水印技术用于合成生物学，把不可感知的签名嵌入生物代码，在数字模型和合成出的实体蛋白质上都能验证，同时保持其生物功能。
推荐理由：原文给出了水印在湿实验中保持蛋白功能与结合亲和力的验证结果，读者可据此判断生物设计溯源这一新防线如何运作。