Microsoft Research· Srinath Setty·· 1 天前精选AI 评分77
Microsoft Research 推出基于零知识证明的通用计算系统 Magnetar
Proof-based general-purpose computing with Magnetar
AI 导读
Microsoft Research 介绍了零知识虚拟机 Magnetar，可为以 Rust、Go 或 C 编写并编译为 RISC-V 的程序生成执行证明，供他人在无需重跑程序的情况下验证。
推荐理由
Magnetar 将通用程序证明、运行效率与标准哈希函数安全假设结合起来，文章还列出其与同类 zkVM 的基准比较及验证时间。
来源：Microsoft Research · microsoft.com