Succinct Network 是一个去中心化协议，它协调一组分布式的证明者，通过一种名为证明竞赛的新型激励机制来生成零知识证明，从而为零知识技术创建一个高效而强大的证明集群。

概述

Succinct Network 代表了零知识证明基础设施的重大进步，旨在使密码学计算在全球范围内易于访问和高效。该网络作为一个统一的平台运作，用户可以在该平台上提交 RISC-V 程序的证明请求，包括输入和费用，而证明者则竞争以最小的延迟和成本生成这些证明。这种协调通过证明竞赛进行，本质上是为获得生成证明的权利而进行的全额支付拍卖，并在特定于应用程序的区块链上结算。

该网络与 SP1 共同设计，SP1 是一个零知识虚拟机 (zkVM)，可以证明 RISC-V 字节码的执行。这种紧密的集成确保了证明方面的技术进步能够迅速使使用者受益。通过聚合对零知识证明的供需，Succinct Network 创建了一个良性循环，激励全球范围内的竞争，以开发日益高效的证明基础设施，同时保持一个去中心化的证明者生态系统 ^[1]。

技术

SP1 zkVM

Succinct Network 的核心是 SP1，这是一个高性能 zkVM，可以证明任意确定性程序。SP1 允许开发人员使用 Rust 编写程序，并生成可以在各种平台上验证的零知识证明，包括 以太坊、其他 L2、Solana、移动设备和 Web 浏览器 ^[2]。

SP1 的主要功能包括：

• 支持 Rust 中的通用编程
• 高性能证明能力
• 跨平台验证
• 嵌入式证明者地址以防止证明复制
• 唯一的 nonce 生成以防止工作重用

SP1 不断改进，最近的 SP1 Turbo (v4.0.0) 为各种 ZK 工作负载提供了显著的成本和延迟改进 ^[3]。

证明竞赛

证明竞赛是为 Succinct Network 提供支持的新型激励机制。它们充当全额支付拍卖，证明者竞争以获得证明请求提供的费用。该机制旨在：

1. 实现证明者之间的竞争：证明者竞标履行请求的权利，从而为证明创建价格信号和市场出清价格。
2. 平衡效率和去中心化：与简单的反向拍卖（其中成本最低的证明者将赢得 100% 的拍卖）不同，证明竞赛通过其全额支付功能来激励去中心化的证明者集合。
3. 防止女巫攻击：该机制通过全额支付功能和抵押品要求来阻止证明者在拍卖中拆分其身份进行投标。
4. 最大化吞吐量：通过经由投标将证明请求分配给单个证明者，证明竞赛可以防止基于挖矿的方法中发现的争用，在基于挖矿的方法中，多个证明者可能会同时处理同一请求 ^[1]。

网络架构

Succinct Network 是通过特定于应用程序的区块链实现的，该区块链旨在以低延迟和高吞吐量协调用户和证明者。此架构提供：

• 抗审查性：确保下游应用程序对其请求具有抗审查性保证
• 活跃性：以高可用性可靠地协调证明请求和履行
• 性能：通过较短的区块时间最大限度地减少证明履行中的过度延迟

区块链旨在实现渐进式去中心化，其中可以通过运行网络并就请求、投标和证明履行达成共识的节点为请求提供强大的抗审查性和活跃性保证 ^[1]。

证明池

Succinct Network 的一项关键创新是证明池的概念，它允许可能没有足够的复杂性或抵押品来直接参与拍卖的单个证明者集体竞标请求槽位。与比特币中的挖矿池类似，证明池可以实现：

1. 无需许可的参与：家庭证明者可以加入，而无需学习如何在拍卖中投标
2. 有竞争力的证明：通过优化运营并在低成本电力区域寻找容量，池可以与硬件团队保持竞争力
3. 证明委托：证明者可以通过参与更积极或更不积极地投标的池来表达风险偏好

证明池可以作为专业硬件和规模经济的潜在集中化效应的制衡力量，有助于维持去中心化网络 ^[1]。

用例

Succinct Network 支持各种受益于零知识证明的应用程序：

Rollup

ZK rollup 可以使用该网络以具有竞争力的价格和高可靠性交付证明，从而使去中心化系统能够扩展其吞吐量，而不会牺牲可验证性。值得注意的合作伙伴关系包括 Mantle，这是一个领先的乐观 L2，拥有超过 22 亿美元的 TVL，它正在使用 Succinct 的 zkEVM 框架过渡到 ZK-rollup ^[4]。

预言机和桥

ZK 预言机可以以无需信任的方式为区块链提供来自外部数据源的输入，而 ZK 桥可以实现区块链之间的互操作性。去中心化的证明者集合对于这些应用程序至关重要，因为它们不能依赖于单点故障。

身份和身份验证

零知识属性确保可以将私有用户输入合并到证明中而不会泄露，这对于涉及敏感识别信息的应用程序至关重要。客户端证明可以与网络结合使用，以在证明过程中保持输入的私密性。

信用评分和审计

执行信用评分、公证或审计的企业可以通过利用 ZK 证明来提供证明作为审计，从而降低运营成本。

可验证的推理

AI 应用程序可以使用该网络来向最终用户证明 AI 模型在给定查询集上的输出，正如 Phala Network 所展示的那样，它在 主网上推出了由 Succinct 提供支持的第一个 AI 代理 rollup ^[5]。

协处理器

区块链可以使用该网络作为协处理器，将繁重的计算卸载给链下参与者，从而可以访问历史数据、使用高保真经济模型计算费用，并使第三方能够以无需信任的方式查询区块链。

外包云计算

该网络可以用作通用的外包计算层，允许用户将程序发送给他们通常在云服务器中运行的证明者，同时保持可验证性 ^[1]。

测试网和开发

Succinct Prover Network 测试网于 2025 年 2 月启动，主题为“信任危机”，允许参与者生成证明并赚取星星。测试网为用户提供了一个体验网络功能的平台，也为证明者提供了一个参与生态系统的平台 ^[6]。

最近的开发包括：

• SP1-2FA，通过可信执行环境 (TEE) 为 SP1 增加第二层保护 ^[7]
• OP Succinct Lite，在 OP Stack 上启用 ZK 欺诈证明 ^[8]
• SP1 Solana 验证器，将可扩展的零知识证明引入 Solana 生态系统 ^[9]

合作伙伴关系和生态系统

Succinct 已与 区块链 领域的领先项目建立了合作伙伴关系：

• Mantle：使用 Succinct 的 zkEVM 框架从乐观 L2 过渡到 ZK rollup ^[4]
• Phala Network：在 主网上推出了由 Succinct 提供支持的第一个 AI 代理 rollup ^[5]
• Galxe：将 ZK 的可验证性引入抽奖活动 ^[10]
• Polygon, Celestia, Avail：使用 Succinct 为关键基础设施提供支持 ^[11]
• Optimism：为 OP Stack 开发了 OP Succinct 和 OP Succinct Lite ^[8]

投资者

Succinct 得到了 区块链 和加密货币领域知名投资者的支持，包括：

• Paradigm
• Electric Capital
• Standard Crypto
• Coinbase Ventures
• Bankless Ventures

这些投资者支持 Succinct 证明世界软件并扩大零知识技术采用的使命 ^[11]。

团队

Succinct 团队包括零知识证明、密码学和分布式系统方面的专家。白皮书中提到的主要团队成员包括：

• Uma Roy
• John Guibas
• Kshitij Kulkarni

该团队与莱斯大学的 Mallesh Pai 和 SMG 等学术研究人员以及 Paradigm 的 Dan Robinson 等行业专家合作 ^[1]。