Microsoft Research· Srinath Setty·· 6 小时前AI 评分44
Microsoft Research 发布 Magnetar：通用零知识证明计算系统
Proof-based general-purpose computing with Magnetar
AI 导读
Microsoft Research 发布 Magnetar，这是一种面向通用程序的零知识证明计算系统，可对 Rust、Go 或 C 写的程序生成正确执行证明，验证耗时毫秒级。
来源：Microsoft Research · microsoft.com