两个最雄心勃勃的 ZK 项目 Succinct 和 Boundless 正在竞相将可验证的计算带到链上空间的每个角落。 它们都使用 zkVM，但它们并不相同。 以下是它们的不同🧠🧵之处的细分

2/ 从高层次来看： - @SuccinctLabs 构建其 zkVM (SP1) 并运行一个去中心化网络，任何人都可以请求对离链工作的证明。 - @boundless_xyz (来自 RISC Zero) 构建一个 ZK 协议层，将任何离链计算转化为可验证的收据。 两者都希望用密码学真相取代信任。

3/ 让我们从他们的证明引擎开始 - Succinct 的 SP1 运行 Rust 程序并使用递归 SNARK 生成 ZKP。它快速、模块化，并针对类似 rollup 的工作负载进行了优化。 - Boundless 使用 RISC Zero 的 zkVM 来处理大规模计算和可扩展证明。

4/ 在幕后： Succinct 使用一个链外拍卖者。你提交一个任务（比如“证明这个计算”），网络实时找到最便宜的证明者。 证明者之间相互压价以争取任务，形成了一个证明工作的市场。 这感觉像是一个 Web2 API。快速、高效，但通过稍后在链上发布的 ZKP 来确保安全，以便为你提供程序正确运行的加密证明。

5/ 其背后的引擎称为 SP1 - 一个可以运行复杂逻辑、验证签名、模拟汇总或充当其他链的轻客户端的 zkVM。 SP1 针对速度、重用和低成本的链上验证进行了优化。证明小且验证成本低（在以太坊上大约为 200k gas）。

6/ SP1 zkVM 已上线。开发者可以在链上验证证明，并使用 SP1 发布生产级应用。 但简洁证明网络 - 任何人都可以运行证明者并赚取收益的去中心化层 - 仍处于测试网的最后阶段（阶段 2.5）。 证明者网络的主网即将到来。

7/ 另一方面，Boundless 将证明转变为公共服务。任何链都可以请求它证明某些事情。任何应用程序都可以将复杂逻辑外包给它。 这不仅仅是一个网络，它是一个可验证计算的整个层。 你可以将 Boundless 想象成带有加密收据的云计算。

8/ 基于 RISC Zero，Boundless 还可以在 zkVM 中运行 Rust 或 C++ 代码。 但它用一种协议将其包装，其中作业在链上发布，然后由证明者在链下声明和计算。

9/ 它引入了一种新的概念，称为可验证工作证明（PoVW）。证明者根据他们实际进行的计算量获得奖励。 这就像挖矿，但不是对随机数字进行哈希，而是证明有用的工作，运行实际的程序。 Boundless称之为zk挖矿。

10/ Boundless 的第一个实时用例是 Mainnet Beta 上的 The Signal，这是一个 ZK 共识客户端，可以将以太坊的最终性证明为一个可验证的单一证明。 任何链都可以读取该证明，使跨链应用能够在没有多重签名或预言机的情况下读取以太坊状态。 随着网络的扩展，The Signal 将证明更多的链。

11/ 有什么区别？ 简洁：快速的链外拍卖 → 一个证明者赢得工作 → 提交链上证明。你可以快速获得低延迟和可验证的结果。 无界：任务在链上发布 → 任何证明者在链外计算 → 提交链上证明 → PoVW 奖励证明者。从一开始就是开放的证明者竞争和完全无信任的。

12/ 谁在使用它们？ - @Mantle_Official → 从乐观 Rollup 升级到 zkRollup，使用 Succinct 的 SP1 zkVM 实现快速最终性和 EVM 等价性。 - Rollup-as-a-Service 平台（Conduit, AltLayer, Caldera, Alchemy, Gelato）→ 通过 OP-Succinct 提供 ZK Rollup，让开发者可以一键启动 L2 的 SP1 驱动的最终性升级。 - Polygon 的 @Agglayer → 使用 SP1 帮助在 Polygon Rollup 之间实现 zk 统一层，增强跨 Rollup 的可组合性。 - @celestia (Blobstream DA 桥) → SP1 验证 Celestia 的区块包含性，以实现无信任的 DA 桥接，使 Rollup 能够在以太坊上使用 Celestia blobs 进行结算。

13/ - @eigenlayer → 使用 Boundless 计算链下的质押价值更新，发布 ZK 证明，减少 L1 的 gas 费用约 99.9%。 - @hibachi_xyz → 构建了第一个可证明的交易所。链下匹配以高频率执行；每个批次都通过 R0VM 在 Boundless 上进行证明。 - @citrea_xyz (比特币 zkRollup) → 使用 Boundless 证明批量比特币交易，使比特币上的 EVM 兼容 ZK rollup 成为可能。 - @build_on_bob → Boundless 为 BOB 的混合 L2 提供支持，将 EVM 智能合约和基于证明的 rollup 引入比特币。

14/ 谁赢得了ZK游戏？ 他们并不是直接竞争对手。事实上，他们的方法可以相辅相成。 明确的是：ZK基础设施正在模块化。快速、通用和无信任的计算不再是科幻小说，它正在发生。