微软研究院推出基于证明的通用计算系统 Magnetar
微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程,在 15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍,证明验证约需 12 毫秒。
推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何同时兼顾通用性、速度与标准哈希函数安全性。
微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程,在 15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍,证明验证约需 12 毫秒。
推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何同时兼顾通用性、速度与标准哈希函数安全性。
Google DeepMind 与新加坡政府科技局(GovTech Singapore)合作,基于轻量级 Gemma 模型微调出一个保护隐私的端侧诈骗检测模型,并在 SICW 2026 上展示。
推荐理由:原文披露了端侧反诈模型的两阶段流水线和数据隔离做法,可供关注隐私保护与端侧部署的团队参考。
Google DeepMind 开始广泛推送 Gemini 4 Argon,并同步扩大 Fairwind Program 的受信任网络安全防御者范围。该模型在 12 个端到端模拟网络攻击场景中全部通过,上一代为 5 个;在对抗测试集上违规请求减少近两倍。
推荐理由:原文披露了 Gemini 4 Argon 在网络安全与生物风险上的防护分层,以及智能体越界监控的具体做法。
Google DeepMind 发布前沿模型 Gemini 4 Argon,面向开发者、企业和科研人员开放,API 定价为每百万输入 token 2 美元、每百万输出 token 10 美元,缓存输入 token 享 95% 折扣。
推荐理由:官方给出多领域基准排名、内部工程与科研落地案例和定价,可据此判断前沿模型在专业工作流中的位置。
GitHub 发布与 Microsoft Applied Sciences 合作微调的 ModernBERT 分类器,用代码上下文识别无固定格式的密钥,候选批次评估耗时不到 2 毫秒,可将可拦截的密钥数量提升一倍以上。
推荐理由:GitHub 用九个季度的数据说明密钥泄露压力来自代码量增长,并给出用分类器把防护前移到 push 环节的思路。