Fenbushi Capital 最近发布了一篇关于基准测试八种不同 zkVM 的综合博客文章。() 以下是摘要，包括关键结果和要点。

什么是 zkVMs？ zkVMs 旨在以加密方式验证程序执行的正确性，而不披露输入或中间计算状态。 关于证明以太坊区块，zkVMs 综合了三项基本的加密保证来验证所有状态转换： · 读写内存一致性证明 · 指令编码证明 · 指令证明

zkVMs如何扩展以太坊？ 验证者可以验证一个简洁的加密证明，而不是重新执行每一笔交易，这样非常高效，并且可以显著提高L1的吞吐量。

Fenbushi 的博客介绍了一种标准化的基准测试框架，旨在使 zkVM 性能更具可比性。 它评估了八个 zkVM——SP1、RISC Zero、OpenVM、Pico、ZKM、Jolt、Nexus 和 Novanet——在四个计算任务和三个性能指标（证明者时间、证明大小和峰值 RAM 利用率）上的表现。

在不同的证明系统中，有几个主要的系统，例如基于FRI-STARK的、基于Nova的、基于Lasso查找的和GKR。 zkVM架构可以进一步分为两种主要范式：vRAM风格和模块化风格。

用于基准测试的硬件和测试程序： 基准测试是在一台配备 Ubuntu 24.04、8 个虚拟 CPU、192GB RAM 和 32GB VRAM 的 NVIDIA RTX 5090 GPU 的 Linux 系统上进行的。 用于评估的四个测试程序包括： 1. 计算第 100,000 个斐波那契数。 2. SHA2–2048 哈希计算。 3. 使用 secp256k1 曲线进行 ECDSA 签名验证。 4. 模拟 100 笔以太坊转账交易 (ETHTransfer)。

SHA2–2048 的证明时间： 对于像 SHA2 这样的加密操作，基于预编译的加速是一种常见的优化策略。

100 ETH 转账交易的证明时间： 总结： RISC Zero 在斐波那契测试中略慢于 SP1，但在其他三个测试程序中表现突出，明显胜出。

内存效率和峰值内存使用： SP1（GPU）、RISC Zero（GPU）在测试程序中表现出相对恒定的内存消耗。

证明大小（以kB为单位）观察结果如下： RISC Zero和Jolt在评估的基准测试中始终产生最紧凑的证明大小。

性能总结： 总体而言，RISC Zero 的性能表现出色且一致，而 SP1、OpenVM、Pico 和 Jolt 在某些单独类别中也达到了很好的性能。

结论： RISC Zero、OpenVM 和 SP1 在执行与 EVM 相关的计算任务方面表现出特别强大的性能，这使它们成为扩展以太坊的优秀候选者。 RISC Zero 在与区块链应用相关的关键指标上显示出卓越的效率，并且在高效的内存利用和紧凑的证明大小方面表现出色。 恭喜 @RiscZero、@openvm_org 和 @SuccinctLabs！