微软研究院发布基于零知识证明的通用计算系统 Magnetar

微软研究院发布零知识证明虚拟机 Magnetar，其安全仅基于 SHA-256 等标准哈希函数，无需椭圆曲线或可信设置。该系统能证明 Rust、Go 或 C 编写的程序执行，在笔记本电脑上平均比现有最快同类系统快 10 至 39 倍，验证一个证明约需 12 毫秒。