Magnetar 论文:基于标准哈希的后量子 RV64 zkVM
作者 Srinath Setty 在 IACR ePrint 发布预印本 Magnetar,称其为首个同时实现通用 RV64I 证明、基于标准哈希的后量子安全与高效递归的 zkVM,安全仅依赖 SHA-256/SHA-3 等标准哈希,不依赖 Poseidon 等代数哈希、椭圆曲线或格假设。作者称在 120 bits 可证安全、M4 Max 12 性能核上以 7.2–8.7 百万周期每秒证明 2^{22} 周期执行,证明约 600 KiB、验证 11–13 ms;15 项负载下吞吐为 SP1 Hypercube 的 24–66×、Jolt-Dory 的 12–37×、Jolt-Akita 的 6–20×。此为预印本,未读全文,结果未经同行评审。
推荐理由:安全根基只用标准哈希,代价是证明约600 KiB,Jolt证明更小但依赖椭圆曲线或格假设。