微软研究院发布 Vega：面向 AI 时代的零知识身份证明

微软研究院推出名为 Vega 的零知识证明系统，专门用于在不暴露证件本身的前提下，向第三方或 AI 代理证明用户身份属性。整套证明过程在普通消费级手机上 92 毫秒即可完成，生成的证明体约 108 KB，验证仅需 23 毫秒，且无需可信初始化（trusted setup）。系统使用 Rust 开发，并将在不久后开源。

背景：AI 代理时代需要新的身份验证方式

随着 AI 助手与自主代理越来越多地代替人类操作数字服务，平台需要一种方式确认交互对象是真实用户、未成年人或具备某项职业资质。欧盟正在推进 EUDI 数字身份钱包，英国《在线安全法》也要求以政府签发的证件进行年龄核验。但目前主流做法是让用户上传身份证件，这既带来隐私风险，也频繁引发数据泄露事件。Vega 的目标正是回答一个问题：能否在不交出证件的情况下，证明证件上的某一项事实。

核心思路：凭证不离设备，证明可复用

Vega 基于零知识证明（ZKP）实现，用户可在手机端本地对政府签发的证件（例如移动驾照 mDL）生成证明，向网站、应用或 AI 中介服务证明「已满 21 岁」等单一事实，而证件本身从不离开设备。Vega 引入「折叠-复用」（fold-and-reuse）证明机制：同一证件首次证明完成后，重复向不同服务或经由 AI 代理出示时可大幅跳过昂贵的计算步骤。系统兼容 mDL、EUDI 钱包等真实凭证格式，签发方无需改动现有流程。

性能表现：消费级设备即可运行

在典型约 2 KB 的移动驾照上，Vega 端到端证明耗时 92 毫秒，证明体 108 KB，验证耗时 23 毫秒；证明密钥 464 KB，可轻松装入手机。对于较小的凭证，证明耗时降至 62 毫秒，证明体 83 毫秒，验证 17 毫秒。用户体验上等同于「点击按钮 → 不到 100 毫秒后完成出示」，服务端只获得所请求的事实，证件本体从未离开用户手机。

技术基础：组合 Spartan、Nova 系列工作

Vega 的证明系统建立在微软研究院多年的折叠方案（folding scheme）研究之上：

• Spartan：证明标准 R1CS 电路，无需可信初始化。
• Nova：引入折叠方案，将多个计算实例压缩为一个。
• HyperNova：扩展 Nova 的零知识能力，提出「NovaBlindFold」技术。
• NeutronNova：提供批量实例下最高效的折叠方案。

Vega 将这些构件以直接方式组合，电路仅由少量标准组件构成，没有复杂的多域构造，也不依赖可信初始化，并新增了跨证明复用与低开销零知识机制。官方表示整套系统设计目标在于易审计、易扩展到新凭证格式、易部署。后续 Vega 将以开源形式发布，开发者可基于其构建面向 AI 代理时代的隐私友好身份层。