Microsoft Research· Srinath Setty·· 12 天前精选AI 评分72
微软研究院发布零知识证明虚拟机Magnetar
Proof-based general-purpose computing with Magnetar
AI 导读
微软研究院发布零知识证明虚拟机Magnetar，可证明Rust、Go或C编写的RISC-V程序执行，在15个基准程序上平均比现有最快zkVM快10至39倍，证明验证约12毫秒。其安全性仅依赖SHA-256或SHA-3等标准哈希函数，不依赖椭圆曲线、格假设或可信设置，是微软十余年零知识证明研究（含Spartan、Phalanx、Nova、BinarySpartan等）的集成成果。
推荐理由
文章梳理了零知识证明普及的三大障碍及微软十余年研究脉络，便于理解Magnetar各项设计选择的来龙去脉。
这篇内容暂未取得可阅读的正文，目前提供中文导读和原文入口。节目介绍或原站公开片段不代表完整文章。
来源：Microsoft Research · microsoft.com
原文链接：https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/