Microsoft Research· Srinath Setty·· 2 小时前精选AI 评分80
Microsoft Research 介绍基于证明的通用计算系统 Magnetar
Proof-based general-purpose computing with Magnetar
AI 导读
Microsoft Research 介绍零知识虚拟机 Magnetar，可为以常规方式编写并编译的 Rust、Go 或 C 程序生成执行证明，供他人在毫秒内验证。
推荐理由
文章将通用程序证明、运行速度与密码学假设放在同一框架比较，并说明 Magnetar 如何以标准哈希函数为基础推进零知识证明的实用化。
来源：Microsoft Research · microsoft.com