Succinct Labs：SP1 和 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 成为全球最大的证明集群。