跳到正文
今天10月31日周六1 条
10月30日周五
10月24日周六
10月23日周五
10月22日周四
10月21日周三
10月16日周五
  1. Microsoft Research34

    微软研究院 Magnetar:基于哈希函数的通用零知识证明系统

    微软研究院推出零知识证明系统 Magnetar,可证明用 Rust、Go 或 C 编写的程序,平均比此前最快的同类系统快 10 至 39 倍,且安全性仅依赖标准哈希函数。该系统让证明生成像运行程序一样常规,验证者可在毫秒内确认结果而无需重跑程序或信任执行方。Magnetar 是微软研究院十余年零知识证明实用化研究的最新成果,建立在 Spartan、Phalanx 等工作之上。

10月14日周三
  1. Google DeepMind38

    Google DeepMind 与新加坡政府合作构建微调 AI 模型用于诈骗检测

    Google DeepMind 与新加坡政府科技局(GovTech Singapore)合作,基于轻量级 Gemma 模型微调出一款端侧诈骗检测模型,可在设备本地分析对话并实时预警。该模型采用两阶段流水线:先用轻量分类器低功耗筛查消息,再用微调后的 Gemma 分析更大范围对话上下文以确认威胁。模型完全在端侧运行,新加坡政府和 Google 均无法访问用户对话,部署将分阶段推进。

  2. Google DeepMind70

    Google DeepMind 发布 Gemini 4 Argon 并公布安全防护方案

    Google DeepMind 开始广泛推送 Gemini 4 Argon,并同步公开其安全与安全报告。该模型在网络安全测试中解决了全部 12 个端到端模拟攻击场景,上一代为 5 个;在 Gray Swan 的间接提示注入基准上,15 次自适应攻击的成功率降至 0.7%。公司还部署了输入筛查、激活探针和实时监控三层防护,并设置自动失准监控,读取智能体动作与思维链,以拦截严重越界行为。

    推荐理由:原文披露了 Gemini 4 Argon 在网络安全与生物风险上的防护设计,以及智能体越界行为的监控机制,可供关注前沿模型安全的人参考。

  3. GitHub Blog · AI & ML34

    GitHub 如何用 ModernBERT 分类器减少密钥扫描误报

    GitHub 用微调的 ModernBERT 分类器替换原 LLM 流水线做密钥扫描,用户接受率提升 11.5%,推送后扫描中位执行时间降低 86%,服务成本降低 98% 以上。新方案先用正则表达式高召回生成候选,再由分类器结合文件路径、变量名和上下文判断是否为真实凭据,并已将通用密钥检测扩展到推送保护阶段。

10月8日周四
10月6日周二
  1. Google Research31

    Google 发布智能体隐私与安全开放问题报告:从上下文完整性切入

    Google 发布《智能体隐私与安全的开放与新兴问题:上下文视角》报告,汇总 50 余位学界与业界专家在 2025 年底纽约 CAPS 研讨会的成果。报告指出智能体因非结构化输入、概率性控制流和自主委派而难以沿用传统软件的安全方法,主张以 Contextual Integrity 理论为基础构建上下文策略引擎,在系统沙箱、模型推理和用户控制多层协同防护。

10月2日周五
  1. Google Research31

    Google 发布基于 TEE 的可验证隐私联邦学习系统

    Google 宣布下一代联邦学习系统,利用 TEE 实现完全可验证、可审计的数据匿名化保证,Gboard 已采用该系统并获得比此前联邦学习系统更快的计算速度。系统通过访问策略公开透明日志 Rekor、KMS 策略校验和 Federated Language 编排实现端到端可验证,仅向工作负载运营方暴露指标和差分隐私模型权重。

9月30日周三