Microsoft Research 发布 Magnetar：基于标准哈希的通用零知识计算系统

Microsoft Research 发布 Magnetar，一个基于标准哈希函数（如 SHA-256 或 SHA-3）的零知识虚拟机（zkVM），可证明用 Rust、Go 或 C 编写的程序执行，平均速度比现有最快系统快 10 至 39 倍，验证耗时约 12 毫秒，无需椭圆曲线或可信设置，支持任意规模计算的分段证明与组合。