Microsoft Research· Srinath Setty·· 18 天前精选AI 评分67
Microsoft Research 发布 Magnetar 通用零知识虚拟机的通用计算版本
Proof-based general-purpose computing with Magnetar
AI 导读
Microsoft Research 发布 Magnetar，一种基于 RISC-V 的通用零知识虚拟机（zkVM），可证明用 Rust、Go 或 C 编写的程序执行。
推荐理由
把零知识证明与标准哈希函数对齐并在普通代码上跑通，给出可迁移的zkVM工程实践。
来源：Microsoft Research · microsoft.com