Microsoft Research· Srinath Setty·· 4 天前精选AI 评分72
微软研究院介绍通用零知识虚拟机 Magnetar
Proof-based general-purpose computing with Magnetar
AI 导读
微软研究院介绍了通用零知识虚拟机 Magnetar，可在笔记本电脑上每秒证明 720 万至 870 万条 RISC-V 处理器指令，证明验证仅需约 12 毫秒。
推荐理由
该研究展示了仅依赖标准哈希函数实现通用零知识证明的可行性，大幅降低了证明开销与长期密码学迁移风险。
来源：Microsoft Research · microsoft.com