微软研究院发布 Magnetar:零知识证明快 10-39 倍且仅依赖哈希函数
Microsoft Research · rss · 2026-10-16
微软研究院发布 zkVM 系统 Magnetar,在零知识证明实用化上同时攻克三大难题:
- 通用性:可直接证明 Rust、Go 或 C 编译后的 RISC-V 程序,无需改写成加密电路,避免数月的手工翻译及其安全漏洞
- 效率:平均比此前最快的同类系统快 10 到 39 倍
- 安全:安全性仅依赖标准哈希函数,抗量子且无需依赖未经时间检验的新加密假设或可信设置
文章梳理了十余年的研究脉络:Spartan 证明系统、Phalanx 的重复利用、Nova/HyperNova 的折叠技术、Brakedown 的哈希承诺、Jolt 的完整处理器证明,直至 BinarySpartan 补齐最后拼图。作者展望:未来 AI agent 可为每个动作附带策略合规证明,金融机构可在不公开交易的情况下证明处理正确性。
「Infra」频道最新
- x86 开机数毫秒重演 40 年计算史：16 位实模式到 64 位长模式的四级接力 — lauriewired · 2026-10-16
- 推理平台 engy.ai 单日处理超 500 亿 tokens,主打低价开源模型 — const_reborn · 2026-10-16
- 新推理引擎『e』单台 DGX Station 跑出 10500 tok/s 聚合吞吐 — brandon_galang · 2026-10-16
- SGLang Day-0 支持 FLUX 3 Image Klein：单图 10 参考图，BF16/FP8/NVFP4 多精度 — ying11231 · 2026-10-16
- 英伟达 Nemotron 3.5 Super VL 上线 CoreWeave：12B 激活参数多模态 MoE，输入仅 $0.25/百万 tokens — wandb · 2026-10-16
- 2026 晶圆厂设备支出上调至 1530 亿美元，设备周期被拉长 — BenBajarin · 2026-10-16