Microsoft Research 发布基于哈希函数的验证计算 Magnetar

Microsoft Research 发布了 Magnetar，一种基于哈希函数的验证计算虚拟机，可证明 Rust、Go 或 C 编写的程序执行，平均速度比现有系统快 10 到 39 倍，验证时间约 12 毫秒，安全性仅依赖标准哈希函数，无需椭圆曲线或信任设置。