Microsoft Research 提出 Magnetar 通用零知识虚拟机

Microsoft Research 推出 Magnetar 零知识虚拟机，可验证 Rust、Go 或 C 程序执行，平均速度较此前最快的同类系统快 10 至 39 倍。其证明验证约需 12 毫秒，仅依赖 SHA-256、SHA-3 等标准哈希函数，并支持将不同规模的计算分段证明后组合。