Succinct：完善 ZK 证明供应链的基础设施

Succinct 是什么？

Succinct 正在建立让所有开发者可以简单使用 ZK 证明技术（zero-knowledge proofs）的基础设施。目前 Succinct 已经推出了一个开源、模组化的 zkVM SP1，现在正在开发一个去中心化的证明者网路Succinct Prover Network，未来该网路上将可以运行ZK 证明Rollup、协处理器（Coprocessors）及其他基础设施，是更顶层的「为ZK 基础设施服务的基础设施」。

为什么 ZK 证明技术很重要？

ZK 证明能在完成证明的同时有效地保护隐私。假设有个人希望向一个公司提供证明自己健康的体检报告，但他不想要这些医疗敏感数据被传播和留存。通过生成一个 ZK 证明，用户可以证明他的健康状况符合公司的规定，同时不需要提供实际的医疗数据报告，避免了隐私泄露的风险。

在区块链得到大规模采用的路线图中，ZK 证明被认为是一个关键技术，对区块链的未来至关重要，它允许区块链开发者不可逆地证明任何陈述，例如区块链的状态转换函数或共识证明。

同时，ZK 证明也是无需许可的，不依赖外部资本或运营商的安全性，可以证明任何陈述的有效性；ZK 证明也是高效的，只需一方生成就可以由任何人验证。

团队发展历程和融资情形

Succinct 于 2022 年创办，团队规模精简，办公室位于旧金山。创始人之前曾撰写并发表过各种有关ZK 桥接、互通性和共享排序的研究，团队还有多年在模型训练平台/数据平台/AI 领域的工作经历。

uccinct 于 2022 年创办，团队规模精简，办公室位于旧金山。创始人之前曾撰写并发表过各种有关ZK 桥接、互通性和共享排序的研究，团队还有多年在模型训练平台/数据平台/AI 领域的工作经历。

Succinct 的许多客户都是行业中的顶级团队。目前 Wormhole、Lido、Near、Celestia Blobstream X、Avail (Vector bridge)和 Gnosis (native bridge) 已经在使用开发中的 Prover Network 的早期版本，打造符合 Succinct 协议标准的 ZK 证明 dapp。

2024年3月22日，Succinct 宣布获得由 Paradigm 领投的 A 轮融资 $ 43 M。目前团队的融资总额（种子轮和A 轮）共$ 55 M，参与方包括Robot Ventures、Bankless Ventures、Geometry、ZK Validator，以及天使投资人包括Eigenlayer 的创办人Sreeram Kannan、Polygon 的共同创办人Sandeep Nailwal 、Polygon Zero 的共同创办人Daniel Lubarov 以及Bitwise 的共同创办人Elad Gil。

来源：项目方推特

开发团队背景

Uma Roy

Uma Roy 是 Succinct 的联合创办人及 CEO。青少年时期，她曾经参加过美国数学奥林匹克（USAJMO）预选赛，这认为是美国高中生最负盛名的比赛之一。 USAJMO 一般是根据 AMC 10 指数来确定截止招收的人数，每年只有大约 230-240 名学生有资格参加预选赛。

Uma 在 MIT 取得了学士和硕士学位，她大学时期延续着高中的兴趣，做的是表示论（抽象代数的分支）和量子代数方面的研究。 2019年之后，她开始转向数据平台、AI方面的工作，8月她开始了在Google Brain AI的参与为期一年的驻留计画。 2021年时，她是新创公司 Gantry （知名客户有 Duolingo）的第一位工程师，帮助它们开发机器学习模型监控平台。

John Guibas

John Guibas 是 Succinct 的联合创办人，根据 Google Scholar 的资料，他从 2017 年开始发表文章，目前已经有447次引用。 2017年，仅高中的 John 获得了 AI grant，这是由知名投资人Nat Friedman 和Daniel Gross 建立的（他们曾经投资过Figma和Stripe） ，这个项目一开始只提供研究奖金，无条件支持有潜力的AI 研究；后来项目转为支持早期AI 新创的加速器。当时 John 和另外两人的题目就已经和隐私有关：他们在研究如何使用 GAN 生成可用且保护隐私的训练数据。

2019 年他进入 Stanford 学习电脑科学，大学时期主要待在 Stanford DAWN 实验室和 NVIDIA 研究中心，研究数据库系统和机器学习。 2022年，他获得了 Paradigm Fellowship，大三的他从 Stanford University 退学。同年，他还参与了 0xPARC 基金会（以太坊生态支持的基金会）的驻留计画，研究 ZK 证明技术。

2022 年他开始和教授、研究伙伴合作，发展 Succinct 的雏形。他们发现 zkSNARKs 非常适合验证 ML 模型，于是在以太坊生态上建立一个使用 zkSNARKs 的、无需信任的互通层，这时主要的贡献者有 Daniel Kang、Tatsu Hashimoto、Yi Sun 和 Matei Zaharia。

2023 年，因为创办 Succinct，John 获得了知名的 Thiel Fellowship。这个奖学金仅供 22 岁以下的人申请，可以无条件使用 $100,000 在两年的时间自由探索，知名的获奖人还有以太坊创办人 Vitalik Buterin，Blur/Blast 的创办人 Tieshun Roquerre。

Succinct 解决了什么问题？

问题1：信任在区块链中面临了很多考验

跨链桥：目前，跨链桥的安全问题一直无法得到保证。我们非常频繁地看到跨链桥被骇客攻击。

多签的欺诈证明：当 Blast 发布，有用户指出多签问题时，很多人才意识到，原来我们平常使用的大部分 Layer 2，它们的多重签名都没有欺诈证明。

中心化的验证节点：2022年时有人控诉，BNB Chain都是由币安控制的委员会按顺序轮流出块，一共21 个验证节点控制数十亿美元，这21 个节点还是由币安所控制的11 名成员选出来的。

扩展性：信任在扩展性面前容易成为牺牲品。目前质押的机制效率很低，而招募质押方/节点运营商的流程复杂、耗时，这些开销都是阻碍着扩展性的成本。

在缺乏信任的区块链世界，Succinct 提出了一个口号：「可编程的真相（Programmable Truth）」。现在的区块链架构在信任中，而这些信任在人性面前无比脆弱，就像创办人 Uma 说的，「这些架构依赖于密码学真相，而不是信任」（secured by cryptographic truth, not trust）。只有 ZK 证明的大规模采用，才能真正实现新一代更安全、可扩展和创新的区块链架构。

问题2：ZK 证明很重要，但太复杂

ZK 证明目前的实作需要大量定制。 Succinct 之前做了非常多的 ZK Bridge 专案，在这个过程中他们意识到，每个专案都需要复杂的定制，且需要重复部署。最重要的是：没有人喜欢编写 ZK 电路（Circuits），这需要大量数学背景知识（电路是零知识证明语境中逻辑函数的表示）。

Succinct 在这个过程中意识到：答案是 zkVM（ZK 虚拟机），因此他们开发了 SP1。开发者将 Rust 代码部署到生产环境、监控它、请求证明，API 配置也变得非常容易。 Succinct 还提供了一个内置的证明浏览器，可以让开发者在其中查看所有证明、跟踪所有内容。

问题3：目前的 ZK 证明领域是破裂的

这一点针对的是未来。他们认为虽然 ZK 技术在用火箭般的速度发展，但 ZK 证明的供应链是断裂的，跟不上 ZK 技术的进步。

因此，现在基于 ZK 证明的 dapp 都需要开发者针对特定需求部署，常常只能是一次性的，并且太依赖集中式证明器，减慢开发速度、增加成本。在堆栈的每个部分（包括 L2、协处理器、Bridge 等）中集成一个标准化的部署设计，需要更复杂的 ZK 基础设施，这就是目前开发中的 Succinct Prover Network 想做的。

Succinct 的产品和运作机制

开源的 zkVM：SP1

来源：官方 Blog

2024年2月14日，Succinct 在推特发布了 SP1。 SP1 与 AI 的发展历程有一些相似之处。在 GPT-4 之前，要做 AI，你必须做很多复杂的工作：收集数据、清理数据、训练模型、对模型进行微调等等，还必须具备相关的专业知识。有了 GPT-4，任何人都可以调用 OpenAI API 来使用 AI。

可以说，SP1 或者任何更好的开源 zkVM，都像是 ZK 证明世界中的 GPT-4。未来所有的 zkRollup、zk 预言机或 zkBridge，都能通过 zkVM 证明那些用普通的 Rust 或 WASM 语言撰写的 ZK 证明代码， 无须编写复杂的电路。

人们以前认为 ZK 项目必须客制化地编写电路，性能才能达到可用的状态。而SP1 成功让一个通用zkVM 的性能表现，和客制化的ZK 电路接近，就像是创办人Uma所说的，SP1 把那些「地狱般的电路玩意都抛在了脑后」（Uma: ” left all the hellish circuit stuff behind.”）。

SP1 提供了许多套件和程式库供开发者重复使用，最重要的是：它完全开源。过去的 zkVM 的约束逻辑是闭源的，且无法修改。而 SP1 采用的是模组化的架构，并且从一开始就可以定制。这种可定制性允许开发者向核心 zkVM 逻辑添加「预编译」，从而让性能大幅提升。

为什么开源那么重要？ RISC Zero 是这个领域中的一个重要竞争对手，他们的约束等核心逻辑是闭源的；编译的版本虽然是开源的，但任何外部团队都不能修改。 Succinct 正是因为无法修改 RISC Zero，才打算构建一个真正的开源 zkVM，让它成为可定制、可以被社区修改、没有供应商、平台风险的产品，这是团队发布 SP1 的动机。

另一个开源很重要的原因是，SP1 本身是使用 Polygon Zero 开发的 Plonky3 构建的，比如 Succinct 中的约束逻辑是用 Plonky3 的 Air Builder 来表达的。 Plonky 是一个模组化元件库/工具包，开发者可以用它来构建新的证明系统、新的 zkVM，有非常强大的开源社区。过去，Succinct 完成的许多专案使用到了Plonky2，而Plonky3 类似于Plonky2 的超高质量版本，目前还在不断完善中，Succinct 甚至已将一些PR 合并到Plonky3 的上游，为Plonky 这个开源社区做出了贡献。

去中心化证明网路：Succinct Prover Network

Succinct Prover Network 目前正在开发中，它是一个托管的基础设施层网路，dapp可以把自己的生产证明的流程外包到证明市场中。通过使用 SP1 或其他 zkVM，开发者可以简单地把使用ZK 证明的 dapp 部署到网络上。

同时，这个网路也是一个开放的证明市场：开发者只需向网路提交证明请求，拍卖机制就会将这些请求与运行最新硬体的各种证明者进行匹配；证明者也可以在这个开放的网路里，通过生成具有成本效益、高可靠性的证明来赚取费用。

证明供应链的未来

当一个证明被生成时，实际上有一堆不同的参与者和一堆不同的步骤，我们可以把它称之为证明供应链。证明生成是这样的运行的：开发者申请要求证明，使用某种证明系统来表达他们的逻辑，无论是用电路还是 兹克虚拟机的方式；接着证明被生成，生成的证明可能会被聚合起来，最终来到dapp 所在的链上。

2023年11月，Succinct 发布了 Succinct Prover Network 的第一个「前端」：alpha.succinct.xyz。目前 dapp 已经可以通过它进行部署。

这只是一个非常简化的证明供应链，可以说目前 Succinct 平台自己就是完整的一个证明供应链。但这不是一个可持续的状态，因为以下两个原因：

• 难以定价。随着证明供应链变得更加复杂，定价难度也会提高
• 硬体会带来定价的复杂性，可能会有各种各样的硬体供应商，dapp 会想去和20个不同的硬体供应商交谈，找出谁的价格或容量最优惠吗？

Succinct 想做的是让证明供应链中的所有人能有一个地方相互协调，一个开放的证明网路市场是整个证明供应链中必不可少的一环。

在未来的证明供应链生态系统中，由于在Succinct Prover Network 里所有的dapp 和基础设施都无缝继承了最新的ZK 证明系统和定制硬体技术，这个分散式的证明网路市场将会达到规模经济，使开发人员可以得到高效又便宜的ZK 证明（竞争性自由市场机制能保证dapp 获得尽可能便宜的成本）；未来各种硬体上都可以生成分散式证明，使证明成本降低10-100倍，最终让ZK 证明适用于所有基础设施。

竞品分析

许多开源项目和 SP1 有着类似的目标：

• Andreessen 的团队：Justin Thaler、Sam Ragsdale 一直在研究 Lasso 和 Jolt。 Succinct 认为未来这些技术的发展都可能成为 SP1 的一部分，反之亦然。
• 基于折叠（folding）的方法的项目
• 其它类似 ZK-Stark-FRI 方法的项目

团队表示，未来Succinct Prover Network 如果可能的话，不止会支援SP1，也会支援Lasso 、Jolt、或者开源的RISC Zero，因为他们追求的是完全的模组化和灵活性，也只有这样可以让ZK 技术以最具有可持续的方式快速发展。

结论

安全性

目前 Succinct 的路线图只是基础设施，并不对安全负责，追根究底它只是一种保存电路二进位档和 API 的方法，这套方法可以被用于请求证明、进行大规模分散式证明等等。

电路本身需要被审计，撰写电路的开发者需要确保所证明的内容的完整性，而不是平台。电路编写和审计的难度可能还是会成为 ZK 证明走向主流的障碍。

高门槛的节点

最终在 Succinct Prover Network 运行的实际节点软体可能非常少，因为证明者的门槛很高，一个证明者必须要做到：

• 参与证明拍卖，提出愿意为某个价格生成一个证明
• 必须能下载电路二进位档和工件
• 必须实际运行它们并生成证明

因此，未来 Succinct 要思考的可能是，怎样的网路激励措施或活动可以促进证明者的参与？