Microsoft Research 发布 Magnetar：基于标准哈希函数的通用零知识证明 zkVM
Microsoft Research 发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序，并同时改善证明效率、通用性与安全性三项难题。
推荐理由：微软研究院梳理十余年零知识证明研究脉络，Magnetar 用标准哈希函数实现通用程序证明，速度较同类 zkVM 提升 10 至 39 倍。
公司与模型
Microsoft / Copilot 最新动态
微软的 Copilot 系列产品、Azure AI 云服务，以及与 OpenAI 的合作动向。
4 条精选近 30 天 4 条共收录 13 条
更新
Microsoft / Copilot的精选
Microsoft Research精选
GitHub Blog · AI & ML精选 GitHub 将 ModernBERT 分类器引入推送保护，拦截非结构化密钥
GitHub 宣布用与 Microsoft Applied Sciences 共建的 ModernBERT 微调分类器扩展推送保护，可识别数据库密码等非结构化密钥，候选批量评估耗时不到 2 毫秒。
推荐理由：GitHub 用九个季度的数据说明泄露风险随代码量上升，并给出把密钥拦截从事后补救前移到推送环节的思路。
Microsoft Research精选 Microsoft Research Asia 开源 Agent Lightning v1.0，约 3500 行代码的轻量智能体 RL 框架
Microsoft Research Asia 开源 Agent Lightning v1.0，这是一个约 3500 行的轻量智能体强化学习框架，提出 Harnessed Agentic RL 训练范式，让部署时使用的 harness 直接参与 RL 训练，无需在训练框架内重写智能体。
推荐理由：微软开源约 3500 行的智能体 RL 框架，让部署用的 harness 直接参与训练，并给出完整代码智能体训练示例。
Microsoft Research精选 微软研究发现将物理 AI 推理卸载到边缘或云端 GPU 可提升机器人性能与续航
微软研究院首次系统测量了机器人移动操作负载，发现把物理 AI 推理从机载 GPU 卸载到边缘或云端 GPU 可提升任务成功率与续航。
推荐理由：微软对机器人移动操作负载做了系统测量，给出了机载 GPU 与边缘/云端卸载在任务成功率与续航上的具体差距。