微软研究院发布Magnetar证明系统

微软研究院于10月15日公布Magnetar证明系统，用一台专为证明普通程序执行而设计的虚拟机来降低证明生成成本。研究人员称，Magnetar支持由Rust、Go和C编译的代码，在其基准测试中平均比某些同类证明系统快10至39倍；微软的测试显示验证耗时约12毫秒。 这些数字来自基准测试，并不保证在生产环境的rollup或所有智能合约负载中取得同等提升。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。