Succinct Labs：SP1 和 SPN 有什么区别？
本文信息来源：hazeflow
揭秘 SP1 和 Succinct 证明者网络 (SPN)，了解何时使用何种技术。
第一部分：SP1 zkVM
1. 什么是 SP1？
- SP1 zkVM 是“Succinct Processor 1 零知识虚拟机”的缩写。
- 可以把它想象成一台特殊的计算机，它不仅能运行你的程序，还能生成数学证明，证明程序运行正确。
2. SP1 之前：
- 想要零知识证明？手动编写复杂的加密电路（就像手算微积分一样）
- 想要验证他人的计算？自己重新运行整个程序（缓慢且昂贵）
- 没有验证就没有信任：要么盲目信任，要么浪费资源重新计算
3. SP1 之后：
- 只需编写普通代码，SP1 会处理加密部分
- 获得数学上的正确性证明，无需其他人重新运行任何内容
- 在几毫秒内验证证明，而不是重新运行数小时/数天的计算
- 使任何开发人员都能通过用 Rust 编写代码来创建真实的 ZKP 应用程序
- 让普通开发人员（而不仅仅是密码学博士）也能使用 ZK
4. SP1 的工作原理
- 用 Rust 编写代码 → 将其编译成 RISC-V 指令
- 程序表已创建 → 所有指令的固定配方
- 执行阶段 → CPU 逐步运行程序，使用特殊表（ADD、MUL、内存等）检查每条指令
- 证明生成 → 所有表都转换为数学约束，以构建一个 STARK 证明，证明执行是有效的。
- 最终压缩 → 对于长程序，证明被组合并压缩成一个微小的 SNARK 证明，区块链可以验证。
5. 主要创新
- 以查找为中心的架构：表格相互专门化和交叉验证
- 预编译：加密操作速度提升 10-50 倍（以太坊区块：100 亿次循环 → 2 亿次循环）
- 高效递归：将多个证明组合成一个最终证明
- STARK 到 SNARK：将大型证明（STARK）压缩成以太坊可验证的微型证明（SNARK）
6. 用例
- ZK Rollups：将乐观 Rollup 转换为 ZK Rollup，提款速度更快（约 1 小时 vs 7 天）。
- ZK 轻客户端：构建依赖共识证明而非多重签名的区块链桥。
- DeFi 偿付能力证明：交易所在不透露余额的情况下证明资产≥负债。
- 身份证明：在不共享私人数据的情况下证明“年满 18 岁”等属性。
- 通用计算：链下任务、机器学习推理或使用 zk 证明进行数据验证。
7. 实时用例
- 基于 SP1 zkVM 构建的 OP Succinct 将 Optimistic Rollup 的最终确定时间从 7 天缩短到约 1 小时。
- Mantle 是第一个作为 ZK 有效性 Rollup 推出的 OP Stack L2，具有 1 小时最终确定时间和 12 小时提款时间。
第二部分：SP1 和 SPN 的区别。
1. 什么是 Succinct 证明者网络 (SPN)？
- 一个使用零知识证明来验证软件的去中心化网络。
- 可以把它想象成一个市场：应用程序（如 Rollup、跨链桥、AI 代理）需要证明——证明者（拥有 GPU、数据中心甚至家用硬件的人）生成这些证明。
2. SP1 和 SPN 之间到底有什么区别？
- SP1 解决了证明的软件端问题：你编写普通的 Rust 代码，它编译成 RISC-V，然后 SP1 生成零知识证明。
- 在你的笔记本电脑上运行 SP1 会很慢且成本高昂。
- 为此，Succinct 证明者网络通过协调全球的证明者集群、数据中心、GPU 农场，甚至是家用 GPU，来更快、更便宜地提供证明。
3. 参与者
- 请求者：Rollup、区块链、桥、AI 代理、游戏
- 证明者：拥有 GPU、服务器或专用硬件的团队，用于生成证明
- 委托者：不运行硬件但可以质押其 $PROVE 的普通用户
- 拍卖师：协调请求和证明者的服务
- 以太坊结算合约：持有所有资金，检查拍卖师的证明，向证明者和委托者支付款项，并在证明者失败时对其进行罚没。
4. 系统工作流程
- 请求者在以太坊上存入 $PROVE 并提交证明请求。
- 拍卖师在证明者之间进行拍卖。
- 证明者出价。
- 获胜的证明者运行 SP1 zkVM 并生成证明。
- 该证明被发送给拍卖师，拍卖师将其记录在其数据库中。
- 拍卖师使用 SP1 证明其数据库状态，并将该证明发布到以太坊。
- 以太坊验证更新并向证明者（以及任何支持他们的委托人）支付费用。
当前状态（阶段 2.5 测试网）：反向拍卖系统（出价最低者获胜）。
5. 主网有哪些变化
- PROVE 上线 → 支付、质押和罚没具有真实的经济权重。
- 证明竞赛（概率性包含）→ 不再只有一个获胜者，多个证明者可以提交。
- 委托全面开放 → 任何人都可以支持证明者，帮助他们获得工作资格并赚取部分奖励。
- 更大的规模 → 数据中心、ASIC/FPGA 团队以及家用 GPU 组成的证明池加入，使 SPN 成为全球最大的证明集群。