Succinct Labs：SP1和SPN有什么区别？

Succinct Labs：SP1 和 SPN 之间有什么区别？

揭秘 SP1 和 Succinct Prover Network (SPN)，了解何时使用哪个。

第一部分. SP1 zkVM

1. 什么是 SP1？

• SP1 zkVM 代表 "Succinct Processor 1 Zero-Knowledge Virtual Machine"（简洁处理器 1 零知识虚拟机）。

• 将其视为一台特殊的计算机，它不仅可以运行你的程序，还可以创建数学证明来证明它运行正确。

2. SP1 之前：

• 想要 ZK 证明？手动编写复杂的密码学电路（就像手算微积分一样）

• 想要验证某人的计算？自己重新运行他们的整个程序（速度慢且成本高）

• 没有验证就没有信任：要么盲目信任，要么浪费资源重新计算

3. SP1 之后：

• 只需编写普通代码，SP1 会处理密码学

• 获得正确性的数学证明，无需其他人重新运行任何内容

• 在几毫秒内验证证明，而不是重新运行数小时/数天的计算

• 使任何开发人员都可以通过用 Rust 编写代码来创建现实世界的 ZKP 应用程序

• 使 ZK 可供普通开发人员使用，而不仅仅是密码学博士

4. SP1 的工作原理

• 用 Rust 编写代码 -> 将其编译为 RISC-V 指令

• 创建程序表 -> 所有指令的固定配方

• 执行阶段 -> CPU 逐步运行程序，并使用特殊表（ADD、MUL、内存等）检查每个指令

• 证明生成 -> 所有表都转换为数学约束，以构建 STARK 证明，证明执行有效。

• 最终压缩 -> 对于长程序，证明被组合并压缩为区块链可以验证的微小的 SNARK 证明。

  

5. 主要创新

• 以查找为中心的架构：表相互专门化和交叉验证

• 预编译：加密操作的 10-50 倍加速（以太坊区块：10B 周期 -> 200M 周期）

• 高效的递归：将多个证明组合成一个最终证明

• STARK 到 SNARK：将大型证明 (STARK) 压缩为以太坊可以验证的微小证明 (SNARK)

6. 用例

• ZK Rollups：通过更快的提款（约 1 小时 vs 7 天）将乐观 rollups 转换为 zk rollups。

• ZK 轻客户端：构建依赖于共识证明而不是多重签名的区块链桥。

• DeFi 清偿能力证明：交易所证明资产 ≥ 负债，而无需披露余额。

• 身份证明：证明“超过 18 岁”等属性，而无需共享私人数据。

• 通用计算：具有 zk 证明的链下任务、机器学习推理或数据验证。

7. 实际用例

• OP Succinct，构建于 SP1 zkVM 之上，将 Optimistic Rollup 的最终确定性从 7 天缩短到约 1 小时。

• Mantle 是第一个作为 ZK Validty Rollup 推出的 OP Stack L2，具有 1 小时的最终确定性和 12 小时的提款时间。

• • *

第二部分. SP1 和 SPN 之间的区别。

1. 什么是 Succinct Prover Network (SPN)？

• 一个使用 zk 证明来证明软件的去中心化网络。

• 将其视为一个市场：应用程序（如 rollups、桥、AI 代理）需要证明——Provers（拥有 GPU、数据中心甚至家用硬件的人）生成这些证明。

2. SP1 和 SPN 之间的实际区别是什么？

• SP1 解决了证明的软件方面：你编写普通的 Rust 代码，它编译为 RISC-V，SP1 生成 ZK 证明。

• 在你的笔记本电脑上运行 SP1 会很慢且成本很高。

• 为此，Succinct Prover Network 通过协调 provers、数据中心、GPU 农场甚至家用 GPU 的全球集群来解决这个问题，以更快、更便宜地交付证明。

3. 涉及的角色

• 请求者：rollups、区块链、桥、AI 代理、游戏

• Provers：拥有 GPU、服务器或专用硬件以生成证明的团队

• 委托者：不运行硬件但可以质押他们的 $PROVE 的普通用户

• Auctioneer：协调请求和 provers 的服务

• 以太坊结算合约：持有所有资金，检查 Auctioneer 的证明，支付给 provers 和委托者，如果 provers 失败则削减他们的资金。

4. 系统工作流程

• 请求者在以太坊上存入 $PROVE 并提交证明请求。

• Auctioneer 在 provers 之间运行拍卖。

• Provers 出价。

• 中标的 prover 运行 SP1 zkVM 并生成证明。

• 证明被发送到 Auctioneer，Auctioneer 将其记录在其数据库中。

• Auctioneer 使用 SP1 证明其数据库状态，并将该证明发布到以太坊。

• 以太坊验证更新并支付给 prover （以及支持他们的任何委托者）。

今天的状态（2.5 阶段测试网）：反向拍卖系统（最低出价获胜）。

5. 主网的变化

• PROVE 上线 -> 支付、质押和削减具有真正的经济权重。

• 证明竞赛（概率包含） -> 不是一个获胜者，而是几个 provers 可以提交。

• 委托完全开放 -> 任何人都可以支持 prover，帮助他们获得工作资格并赚取部分奖励。

• 更大的规模 -> 数据中心、ASIC/FPGA 团队和家用 GPU 的证明池加入，使 SPN 成为世界上最大的证明集群。

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