Succinct 正在以太坊上构建一个协议，用于协调分布式证明者网络，为任何软件生成零知识证明。该协议在证明者和请求者之间创建了一个双边市场，使任何人都可以接收区块链、桥梁、AI 代理、游戏等应用的证明。 

在本篇博文中，我们将介绍 Succinct Prover Network 作为可验证应用的架构，以及 PROVE 代币的实用性。PROVE 是 Succinct Prover Network 的支付代币。它进一步激励证明者为请求者提供有竞争力的价格，并通过质押、价值分配和治理来保障网络安全。 

简介 Succinct Prover Network

去年，我们在白皮书中介绍了 Succinct Prover Network 的核心理念。我们阐述了无需许可的证明生成市场的重要性，该市场汇聚了供应和需求，从而打造全球最稳健、最高效的证明集群。随着零知识证明的普及，Succinct 正在构建一个层，为所有应用程序提供最可靠的证明服务，同时协调由数据中心、节点运营商、本地证明器和硬件团队组成的生态系统，共同改进证明生成。 

在构建网络时，我们充分考虑了请求者和证明者的用户体验，以实现安全支付、可验证匹配和高性能用户体验。简而言之，我们希望让证明者网络的用户能够享受加密货币可验证性的所有优势，同时又能拥有普通 Web 应用程序的速度和效率。 

为了实现这一目标，证明者网络构建了一个去中心化的市场，任何证明者都可以快速加入并开始履行证明，任何请求者都可以作为可验证应用程序 (vApp)获得具有竞争力的价格。开放的市场准入机制使证明者能够竞争提供最高效的证明服务。该网络由以下主要理念驱动： 

• 作为 vApp 的网络架构 为用户提供与高性能 Web 应用程序交互的体验，同时确保他们的存款安全，并使他们能够独立验证网络状态。 
• 一种可以实现支付、激励证明者并保护网络安全的代币。
• 将证明分配给最具竞争力的证明者的拍卖机制。

网络架构

该网络架构为一个可结算至以太坊的 vApp。具体而言，这意味着该网络由管理拍卖流程和证明分配的链下组件，以及结算状态根和正确执行证明的链上智能合约组成。这类似于将执行与链上结算分离的 L2 序列器的设计模式。该网络不托管用户资金，允许安全支付，并允许任何人验证其是否正确处理了证明请求匹配流程。 

我们在最近的论文中介绍了 vApp 开发范式。我们展示了如何利用零知识虚拟机的进步来设计兼具 web2 性能和 web3 可验证性的应用程序。简洁证明者网络 (Succinct Prover Network) 利用这种设计模式，为用户提供兼具 web2 和 web3 性能的最佳方案。 

该架构实现了统一部署，避免了现有区块链在交易吞吐量方面的限制。用户无需担心任何现有区块链的区块延迟，即可享受实时体验。我们相信，对于服务于 Web2 和 Web3 应用的证明者网络而言，这是最佳架构。 

链下和链上组件

现在，我们将介绍网络中链下运行的基本服务层组件，以及用于结算的链上智能合约。除了链上处理的支付外，用户仅与管理证明分配和履行的快速链下组件进行交互。 

链下拍卖服务和链上智能合约。

主要有两个组成部分：

• 链下拍卖服务：拍卖服务是负责将用户请求与证明者匹配的主要链下实体。请求者提交证明请求和付款，证明者向拍卖服务提交出价；请求者接收证明，证明者接收付款。由于用户通过 RPC 调用直接与拍卖服务交互，因此他们面对的是一个高性能、实时的系统。 
• 链上结算合约：结算合约负责结算拍卖商定期提交的状态根和零知识证明。这些证明包含拍卖商通过传入请求、取消和履行对网络状态所做的更新。结算合约还允许用户直接从以太坊提取资金。  

执行和结算分离是该网络架构的一大特点。由于拍卖商负责处理请求和证明履行，用户将享受到快速的网页应用体验。结算合约确保了网络的可验证性和用户存款的安全性。值得一提的是，拍卖商不托管任何用户资金。资金存储在以太坊上，用户可以直接提取。 

拍卖师服务和可验证数据库

拍卖师服务由可验证数据库和 SP1 程序组成。

该网络采用后端架构，允许任何人独立验证网络中余额更新和证明履行情况，并具备普通 Web 应用程序的高性能。拍卖商是持有用户状态的主要参与者，并定期将状态更新证明发布到以太坊。拍卖商服务由两部分组成：

• 一个可验证的数据库，用于存储用户余额、待处理的证明请求以及已完成的证明。该数据库通过发布到以太坊的读写操作的 Merkle 证明，实现了承诺友好性。 
• 一个证明器，从数据库中读取数据并计算网络新状态的零知识证明。该证明器由一个包含网络状态转换函数的 SP1 程序组成。该状态转换函数跟踪余额更新、证明分配和证明履行。然后，证明器执行并生成该程序的证明，并定期将这些证明结算到以太坊上，任何人都可以使用这些证明来独立验证网络状态。 

重要的是，由于用户直接与数据库交互，他们在提交请求和竞价时可以享受实时体验。定期的证明使他们能够验证网络的状态。

PROVE代币

PROVE 代币是在以太坊上发行的 ERC-20 代币，在 Succinct Prover 网络中发挥三大主要功能： 

• PROVE是Succinct Prover Network 的 支付代币。请求者使用 PROVE 向证明者支付费用。
• PROVE通过质押、价值分配和治理来保护网络。
• PROVE 激励证明者向请求者提供有竞争力的价格。 

PROVE 的初始供应量为 10 亿个代币，新代币的最大发行率由网络治理设定。 

质押

证明者质押 PROVE 代币，以便能够参与拍卖并履行证明。质押的代币将作为经济担保，使证明者对证明的恶意篡改和错过截止日期的行为负责。质押者还可以参与协议治理，更新网络参数，例如发行率、质押要求和其他拍卖细节。质押者将接收协议设定的网络发行量。 

代表团

任何人都可以质押 PROVE 并将其委托给证明者，以满足证明者的质押需求。委托人还可以通过为证明者提供经济保障，赚取 PROVE 手续费的一小部分。委托质押者最多可以同时质押给一位证明者。 

演练：质押

假设 Alice 发出一个证明请求，并且在同一时间段内，网络生成了新的 PROVE 代币。网络会将 Alice 的证明请求和代币发行所产生的费用分配给完成其证明的证明者、质押给该证明者的委托人以及协议金库。 

• 获胜的证明者将获得大部分费用。   
• 为获胜证明者提供担保的代表将 获得由证明者决定的请求费用的一小部分，以向证明者提供经济保障。
• 该协议收取网络费用，并转入国库。

网络排放量进一步按比例分配给所有利益相关者。 

PROVE 代币促进价值分配（费用分配具有指示性）。

激励措施

PROVE 代币还将用于激励证明者投资基础设施，并逐步降低成本。更多详情即将公布！

治理

PROVE 代币用于对重要的网络参数进行投票。治理投票的一些参数包括： 

• 协议金库收取的网络费用
• 拍卖相关参数，例如要使用的拍卖形式
• 质押要求

拍卖机制

该网络利用实时竞价机制对证明请求进行分配，将请求分配给当前能够满足请求的最高效证明者。拍卖机制能够以最小的延迟实现价格发现，并使用 PROVE 代币进行支付。网络的初始版本使用简单的反向拍卖，将请求分配给出价最低的证明者。随着时间的推移，该机制可以过渡到我们白皮书中描述的证明竞赛机制，该机制将奖励分配给更广泛的证明者群体，以鼓励去中心化。   

我们提供了请求者和证明者如何参与拍卖机制的演练。 

演练：请求证明

通过链上 PROVE 支付（可安全处理用户资金）和链下后端（可处理请求数据），可以轻松请求证明。假设 Alice 运行 ZK Rollup 并希望请求证明。Alice 的证明请求需要至少 50 个 PROVE 进行质押才能参与其证明的拍卖，最高费用为 100 个 PROVE。Alice 为证明设置了 10 分钟的截止时间。 

Alice 可以使用简洁证明者网络轻松做到这一点：

• Alice 将 PROVE 转给拍卖师以支付她的证明费用。 
• Alice 发起一个证明请求，其中包含需要证明的程序、证明的截止日期以及她愿意支付的最高费用，并通过 RPC 调用将其发送给网络的链下拍卖商。 
• Alice 的请求被直接发送到链下拍卖商，在那里拍卖商会将其与愿意满足该请求的最便宜的证明者进行匹配，价格最多为 100 PROVE。 
• Alice 收到证明并将付款转给证明者。 
• 余额更新在以太坊上以单个 ZK 证明的形式结算，允许 Alice 独立验证交易是否正确。

除了这种简单的用户流程外，该网络还允许 Alice 轻松地从智能合约中提取资金，无需任何链下参与者的许可。即使拍卖师不在场，Alice 也可以轻松地直接从以太坊中提取资金。 

演练：实现证明

证明者同样可以轻松满足证明请求。证明者参与拍卖，竞争证明价格，并从用户那里收取 PROVE 手续费。假设 Bob、Charlie 和 Don 是证明者，他们正在竞争满足 Alice 证明请求的能力。我们举例说明以下几种情况： 

• Bob 质押了 100 个 PROVE，Charlie 质押了 150 个 PROVE。他们两人都有资格参与拍卖。而 Don 只质押了 25 个 PROVE。他没有资格参与拍卖。 
• Bob 和 Charlie 分别向链下拍卖师提交 60 PROVE 和 70 PROVE 的出价，以证明 Alice 的请求。
• 鲍勃赢得了拍卖，证明请求被分配给他；从分配任务开始，他有 10 分钟的时间来完成证明。 
• Bob 在 10 分钟内将已履行的证明提交给链下拍卖师，Alice 将 60 PROVE 的付款转给他。 

如果Bob在10分钟内未提交分配给他的证明，则该证明请求将被取消，Bob的质押将被扣除50 PROVE。Alice可以重新尝试向其他证明者请求该证明。 

或者，Alice 可以与 Bob 签订服务水平协议，将 Bob 列入白名单，作为唯一有资格满足 Alice 请求的证明者。在这种情况下，Charlie 和 Don 没有资格参与拍卖，只有 Bob 可以加入。

按需请求和链下预订

该网络允许任何人通过直接与拍卖商互动来请求证明。这将用户连接到一组分布式的证明器，这些证明器可以满足请求。用户在请求证明时有两种选择： 

• 按需请求：请求可以按需发送到网络，并在网络中进行公开拍卖，最终进入可用的证明器池。这对于希望从所有在线证明器中为其证明找到最具竞争力价格的用户尤其有利。按需请求对于需要突发容量且不会在长时间内重复发送请求的应用程序也非常有用。
• 链下预留：对于需要强可靠性保证或大规模证明的用户，可以与证明者签订链下服务水平协议。这些协议可以通过将已达成一致的证明者列入白名单在网络中实施，并且由于其长期性，可能带来更优惠的定价。白名单仅允许获得批准的证明者参与该请求的竞标。 

通过为用户提供可请求服务类型的灵活性，网络可以通过单一统一的界面为所有用户提供服务。

测试网第 2.5 阶段：端到端部署

Succinct Prover Network 测试网的第 2.5 阶段将采用该系统的端到端部署。

我们将在几周后于测试网的 2.5 阶段部署该系统的端到端版本。在 2.5 阶段，应用程序开发者将能够轻松请求证明。无论您是运行 Rollup 区块链、尝试扩容 Layer 1 区块链，还是开发下一代游戏，我们都欢迎您试用我们的网络。 

常见问题解答

什么是简洁证明器网络？

简洁证明器网络 (Succinct Prover Network) 是以太坊上的一个协议，旨在实现一个用于生成零知识证明的去中心化市场。它使任何应用程序（从区块链到 ZK Rollup 再到游戏）都能从一组分布式证明器中获取证明。 

简洁证明者网络的架构是怎样的？

该网络架构为可验证应用程序 (vApp)，拥有管理用户请求和撮合的链下拍卖商，以及结算状态根和证明的链上智能合约。类似于 L2 排序器及其链上结算机制，这允许任何人独立验证网络状态，同时确保用户获得高性能体验。 

PROVE 代币是什么？ 

PROVE 是网络的支付代币。它通过质押和治理来保障网络安全，并协调证明者和请求者之间的激励机制。

PROVE 供应量是多少？ 

PROVE 的初始供应量为 10 亿个代币。总供应量可以通过 PROVE 的发行量进行调整，而 PROVE 的发行量则由网络治理进行调整。 

如何将证明者分配给请求？ 

网络会进行拍卖，将请求分配给最高效的证明者；初期，这将是一场反向拍卖。此次拍卖在链下进行。任何人都可以通过发布在链上的零知识证明独立验证拍卖结果。用户可以按需请求证明，也可以与证明者进行链下预约。