Microsoft Research 发布 Magnetar：基于标准哈希的通用零知识证明计算
Proof-based general-purpose computing with Magnetar
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
Microsoft Research 发布零知识虚拟机 Magnetar，可证明 Rust、Go 或 C 编写的 RISC-V 程序执行，并生成毫秒级可验证的简短证明。
来源：Microsoft Research · microsoft.com