Succinct和RISC Zero上的证明生成

Hazeflow 是一家区块链研究公司。我们正在撰写关于区块链行业独特视角和观点的文章，并发布教育研究材料。

Succinct 和 RISC Zero 上的证明生成

SP1 Turbo (Succinct)、SP1 Hypercube (Succinct)、R0VM (RISC Zero) 之间的比较。

TL;DR

1. SP1 Turbo: 采用率 + 成本效益。

2. SP1 Hypercube: 下一代成本领导者。

3. R0VM: 更小的证明 + 抗量子安全性，但更昂贵。

大多数人将证明生成视为某种黑暗森林，很少看到不同 zk 项目之间的任何差异。但是，我们应该回答的关键问题是：

• 它要花费多少钱？

• 需要多少时间？ • 硬件要求是什么？

• 证明的大小是多少？

• 证明生成的下一步是什么？

1. zkVM 正在相互竞争。

我们将采用 3 个核心 zkVM（可以创建 zk 证明的虚拟机）：

• SP1 Turbo (由 Succinct 提供)

• SP1 Hypercube (由 Succinct 提供)

• R0VM (由 RISC Zero 提供)

让我们看一下目前的高层概览：

查看表格，我们已经可以定义多个有趣的结果：

• ISA 代表指令集架构（Instruction Set Architecture），每个 zkVM 都使用相同的 RISC-V（不要与 RISC Zero 混淆，那是不同的）。

• 每个 zkVM 具有相同的验证时间，即验证证明所需的时间。

• 每个系统都有少量的活动集群。

• 但是，Succinct zkVM 的证明大小比 RISC Zero 生成的证明大 3 倍。

证明大小意味着什么？ 实际上，这意味着证明占用多少数据。更大的证明不一定更难生成，但它会产生更高的成本。 R0VM 的证明更轻（更小），并且对于 L1 验证更有效。 但是，如果没有更多数据支持，这一点就不那么明显了。

让我们看一下概述生成证明需要什么（在不同的群集中）的表格。

2. 生成一些证明需要什么？

在这里，prover 之间的差异很大。

ZkCloud 可以被认为是富人的 prover。 显然，它是最快的（仅 43.3 秒），但是你必须很有钱才能负担得起。

• ZkCloud 的每个证明的成本最高：平均 0.4 美元（比 SP1 Hypercube 多 20 倍）。

• 你需要 48 个 GPU，具有 1152 GB 的 VRAM（大多数现代 PC 的 VRAM 构建在 8-16 GB 左右）。

• 你需要 2352 个 CPU 核心（大多数现代 CPU 的核心在 6-8 个左右）。

• 你需要 9216 GB 的 RAM（大多数现代 PC 的 RAM 构建在 16-64 GB 左右）。

但是，你可以用最少的钱获得最快的证明时间。使用 Marlin Protocol、Cysic 和 Snarkify，情况有所不同。

• 你仍然需要使用非常好的硬件（因为证明生成是一个复杂的过程），但是与 ZkCloud 相比，它要少得多。

• 所有 3 个 prover 具有相似的证明生成时间和相似的成本，但是，Snarkify 需要更少的硬件，以更便宜的价格更快地生成证明。

Hypercube 目前在性价比方面处于领先地位。

• 这是生成证明的最便宜的方法（仅 2 美分）。

• 你只需要 1 个 GPU 和 32 核 CPU。

• 唯一的缺点是你需要 1 TB 的 RAM。 Hypercube 生成证明的速度是 SP1 Turbo Cluster 中 prover 的两倍，而成本却大大降低。

Fermah 目前显示的时间最差，几乎需要 19 分钟。

3. 直接比较（Succinct vs. RISC Zero）

我们可以有信心地说，Succinct 的 zkVM 具有更广泛的生态系统吸引力（目前）。 根据 ethproofs.org，在 10 个集群中，有 4 个集群正在使用 Succinct。

• SP1 Turbo 是主力：部署最广泛，开源，双重许可，具有 3 个活动集群。 证明需要大约 3–4 分钟，费用约为 0.04–0.10 美元。

• SP1 Hypercube 是更新的一代。 它带来了显着的收益：证明的成本低至 0.02 美元，延迟约为 2 分钟。 但是，它是闭源的，并且只有一个集群处于活动状态。

• R0VM 在证明大小和抗量子性方面表现出色。 ZkCloud 的集群可以提供亚分钟级的证明，但基础设施成本非常高。

Succinct 用于：Katana，Celestia（Blobstream），Sophon，Plume Network，+15 多个，主要见于新的 zk 基础设施和 L2 生态系统中，总价值锁定（Total Value Secured, TVS）为：31.4 亿美元（6.62％）。

RISC Zero 用于：Bob Network 和 Taiko Alethia，集成较少，但 R0 在以太坊 zk rollup 生态系统中特别强大，TVS 为：2.39 亿美元（3.57％）。

之前

• 原文链接： research.hazeflow.xyz/p/...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～