【长推】主流 ZKVM 性能测试报告：RISC0 脱颖而出，zkWASM 表现最差

RISC0 成为首选。它在证明生成时间和大小方面都表现出色，同时保持合理的内存占用。凭借强大的零知识证明能力和对多种编程语言的支持，它符合隐私、性能和灵活性的需求。它在性能和效率之间的整体平衡使其成为现阶段最可行的 zkVM。 Valida 在证明生成速度和大小方面取得了令人印象深刻的结果，证明大小为 280 KB，证明时间为 < 1 秒。但是，由于 Valida 的 Rust 支持有限，因此无法进行分析。Valida 目前使用 LLVM 后端编译 Rust，转译 LLVM IR 以利用其 C/C++ 实现，这会导致在处理特定于 Rust 的数据结构或依赖项时出错。因此，无法测试复杂的内存交互，并且目前不建议将 Valida 与 Rust 代码一起使用。 SP1 虽然最初很有趣，但未能满足零知识证明要求。它在算术运算中的表现值得称赞，但鉴于它缺乏 ZK 功能，不足以证明进一步考虑的合理性。Nexus 展示了一致的证明大小和可管理的内存使用情况，但其在内存密集型任务期间表现不佳，而且其证明大小（尤其是对于较大的工作负载）使其失去了成为顶级竞争者的资格。此外，zkMIPS 提供了可靠的证明时间，但内存问题太严重了。最后，zkWASM 的结果最差，在证明大小和生成时间方面都苦苦挣扎。尽管它可能支持 WASM 字节码，但 RAM 消耗（在内存测试中高达 57 GB）过多。\n原文链接