Boundless 是一个通用的、去中心化的协议,旨在提供可验证的计算服务,并将零知识 (ZK) 技术集成到多个区块链中。它作为一个独立的验证者网络运行,从各种链、rollup 和应用程序卸载密集的计算任务,旨在为区块链生态系统提供一致的可扩展性和互操作性层。 [1] [2]
Boundless 的开发旨在解决传统 区块链 架构中固有的可扩展性限制。该项目识别出一个核心问题:区块链是为状态共识而设计的,而不是为高吞吐量计算而设计的,这迫使每个 验证者 重新执行每个交易。这种设计导致通过 gas 限制来限制执行,在数千个节点上不必要地复制计算,并通过像新网络这样的扩展解决方案来分割状态。 [10] 该协议的解决方案是将执行与共识分离,将计算工作转移到无需许可的“证明者”网络。这些证明者生成紧凑的、密码学上安全的 ZK 证明,然后可以在链上有效地验证。这种模型允许区块链的总计算能力随着更多证明者的加入而增加,该项目将这一概念描述为使区块链“互联网规模化”。 [9]
该网络经济模型的核心是一种名为可验证工作证明 (PoVW) 的新型激励机制。与传统的奖励矿工解决任意难题的工作量证明系统不同,PoVW 奖励证明者执行有用的计算工作——为客户生成 ZK 证明。该系统旨在创建一个有竞争力的、开放的证明生成市场,旨在随着时间的推移提高成本效率。该协议的原生代币 ZK Coin (ZKC) 是该机制的核心,充当证明工作的 抵押品,对证明者的奖励以及网络治理的手段。 [8]
该项目的愿景是创建一个“生态系统”,一个统一的结构,应用程序可以在不同的区块链(如 以太坊、比特币 和 Solana)上组合交易和读取状态,而无需依赖传统的、基于信任的桥梁。通过使各种链可进行 ZK 证明,Boundless 旨在启用一类新的跨链应用程序。该协议由 RISC Zero 孵化,并得到一系列风险投资公司和来自知名 区块链 项目的顾问的支持。 [1] [9]
Boundless 方法的技术基础受到 RISC Zero 于 2021 年开发的第一个 RISC-V zkVM 的影响,该技术能够从标准编程语言生成证明。Boundless 项目本身由 RISC Zero 孵化。 [9] [8]
在 2024 年末,该项目启动了面向早期采用者的协作开发计划 (CDP)。 随后于 2025 年 7 月推出了 Boundless 主网 Beta 版,该版本被描述为第一个去中心化、无需许可的 ZK 证明协议,吸引了 411,000 名参与者。 在此 beta 阶段,启动了一项名为“The Signal”的倡议,网络开始为包括 以太坊 和 Base 在内的整个区块链生成证明,并与 20 多个合作伙伴合作。 在主网前阶段,超过 2,500 名证明者加入了网络。 [9]
Boundless官方主网于2025年9月15日上线,在Base网络上启动。此次事件标志着可验证工作证明(PoVW)机制及其原生代币ZK Coin(ZKC)的代币生成事件(TGE)的推出。同时,空投申领、质押和证明功能也已向公众开放。同一天,该代币开始在多个中心化交易所交易;KuCoin上线了ZKC/USDT现货交易对,币安宣布推出ZKC的U本位永续合约。 [11] [2] [5]
Boundless作为一个通用协议运行,为各种区块链层(包括L1、rollup和应用程序)带来可验证的计算,而无需修改底层链。 [9]
该协议的架构旨在将复杂计算的执行与区块链的共识层分离。流程如下:
- 证明请求: 客户端,例如dApp或rollup,向Boundless网络提交ZK证明生成请求。这些客户端可以使用他们自己的原生代币(例如ETH或SOL)来支付服务费用。
- 证明者竞争: 一个去中心化且无需许可的独立证明者网络竞争完成这些请求。
- 证明生成: 获胜的证明者链下执行计算并生成紧凑的ZK证明。
- 链上验证: 生成的证明被提交回客户端的原生链,在那里可以通过智能合约进行高效验证。
这种模式允许开发者“一次构建,随处验证”,使他们的协议与任何集成Boundless的链兼容。该技术方法受到RISC Zero等zkVM的启发,允许开发者从标准编程语言生成证明,而无需编写自定义电路。 [1] [8]
对网络计算资源的访问通过无界市场进行管理,这是一组部署在每个集成链上的智能合约。该市场充当一个无需许可的交换中心,将来自应用程序的证明请求与来自证明者节点的计算能力相匹配。 [10]
履行证明请求的过程包括以下几个步骤:
- 创建和广播证明请求: 开发人员构建一个请求,指定要执行的 zkVM 程序、程序的输入、对输出的要求(例如预期的日志哈希)以及拍卖参数。这些参数包括提供的价格(最小/最大)、启动时间、超时以及证明者所需的抵押。该请求可以在链上提交或链下发送。
- 反向荷兰式拍卖: 拍卖在请求中指定的时间开始。价格从最低开始线性上升,直到达到最高价格,并在达到最高价格后保持不变,直到拍卖到期。证明者节点可以估算计算成本,并在价格有利可图时出价。第一个出价的证明者锁定请求,获得履行请求的专有权,以换取发布抵押。或者,证明者可以直接履行未锁定的作业而无需出价,从而获得当前的拍卖价格而无需发布抵押。如果锁定的作业未及时履行,则证明者的抵押将成为第一个提交有效证明的证明者的赏金。
- 证明生成和批处理: 证明者可以将多个作业批量处理在一起以优化成本。来自每个作业的单独执行收据被组织为 Merkle 树 中的叶子。然后生成一个高效的 Groth16 证明,以通过 Merkle 根证明整个批次的有效性。此过程将链上验证 gas 成本分摊到批处理中的所有请求中。
- 结算: 批处理证明被提交到链上的市场合约。合约验证单个 Groth16 证明,根据其相应的请求检查每个 Merkle 包含证明,然后结算付款。证明者从请求者锁定的资金中获得报酬,并且他们的抵押被退回。交付时会发出链上事件,并且该证明可在 calldata 中获得。请求者还可以设置一个回调到智能合约,该合约在证明交付时触发。
整个市场机制旨在实现无需许可和高效,允许开发人员从其原生 区块链 生态系统访问可验证的计算。 [10]
可验证工作量证明是 Boundless 协议的核心激励机制。它旨在奖励为网络贡献有用计算工作的参与者,将 ZK 证明转化为协议可以奖励的计量资源。 [10]
- 激励模型: 协议衡量每个证明的计算复杂性,并根据证明者贡献的“可验证工作”按比例奖励他们新发行的 ZKC 代币。这意味着 ZKC 是通过生成证明而不是解决任意难题来“挖掘”的。
- 奖励分配: 在每个 epoch 中,75% 的新 ZKC 发行通过 PoVW 机制分配给活跃的证明者,而剩余的 25% 分配给所有协议质押者。
- 质押要求: 为了有资格获得 PoVW 奖励,证明者必须质押一定数量的 ZKC,该数量与其在给定 epoch 内的证明活动量成比例。该系统旨在激励性能和效率。 [9] [8]
PoVW 机制通过链上“计量器”透明地测量和奖励工作。
- 不可变的周期标签: 在 Boundless 上生成的每个证明都包含一个不可变的标签,该标签记录了已证明的计算周期数,以及一个唯一的 nonce 以防止重放。此标签是证明的公共声明的一部分,不能被证明者或请求者篡改。
- Epoch 统计: 在每个 epoch 结束时,智能合约会对该期间内完成的所有证明中的周期标签进行求和,以确定网络上完成的可验证工作总量。
- 确定性支付: 为该 epoch 铸造固定数量的 ZKC,并根据 provers 在已证明的总周期中所占的比例,按比例分配给 provers。例如,贡献了总周期 5% 的 prover 将获得为该 epoch 铸造的 ZKC 的 5%。 [10]
PoVW 模型被认为是优于传统共识机制的重大进步,原因如下:
- 准确性: 它奖励密码学验证的工作,并根据执行的计算的实际复杂性来调整支付。
- 无需许可的精英管理: 任何能够满足网络延迟和权益要求的节点都可以参与,并根据他们证明的工作量获得相应的奖励。
- 透明的经济学: 由于整个计量和支付过程都在链上且防篡改,因此经济激励是透明且可审计的。 [10]
为了确保证明生成市场的可靠性和活跃性,Boundless 引入了一种基于抵押和罚没的经济安全模型。
- 抵押要求: 在验证者可以接受证明请求之前,他们必须锁定 ZKC 作为抵押。此抵押的价值通常需要至少是任务最高费用的 10 倍,从而为证明交付提供强大的经济保证。
- 罚没机制: 如果验证者未能在指定时间内提交有效证明,他们的抵押抵押将被罚没。罚没的资金将进行分配:50% 将从供应中永久销毁,剩余 50% 将作为赏金在链上重新分配给另一个验证者以完成请求。
- 经济效应: 随着网络上对可验证计算的需求增长,作为抵押锁定的 ZKC 总量预计会增加,这旨在减少代币的流通供应并增强网络安全性。 [8]
Boundless协议的原生实用代币是 ZK Coin (ZKC)。它的初始总供应量为10亿枚。 [8] [2]
The ZKC token has several core functions within the ecosystem:
- Proving Collateral: Provers must stake ZKC to accept proving jobs, which serves as an economic guarantee for the timely delivery of valid proofs.
- Protocol Staking: Staking ZKC is a foundational requirement for network participation. It allows holders to earn a baseline share of protocol rewards (25% of all epoch emissions) and participate in governance.
- Mining Rewards: Active provers earn 75% of all ZKC emissions from each epoch through the Proof of Verifiable Work mechanism.
- Governance: Staked ZKC grants holders voting power over protocol upgrades, marketplace mechanics, the addition of new zkVMs, and ecosystem grants. The governance model is planned to adopt a time-weighted voting power system. [8]
ZKC代币在生态系统中具有几个核心功能:
- 证明抵押品: 验证者必须质押ZKC才能接受证明工作,这为及时交付有效证明提供了经济保障。
- 协议质押: 质押 ZKC 是参与网络的基础要求。它允许持有者赚取协议奖励的基本份额(所有epoch排放量的25%)并参与治理。
- 挖矿奖励: 活跃的验证者通过可验证工作证明机制从每个epoch中获得所有ZKC排放量的75%。
- 治理: 质押的ZKC授予持有者对协议升级、市场机制、添加新的zkVM和生态系统赠款的投票权。治理模型计划采用时间加权投票权系统。 [8]
最初的10亿枚ZKC供应分配给各个利益相关者:
- 生态系统增长 (49%):
- 生态系统基金 (31%): 由Boundless基金会持有,用于赠款、开发者工具和协议维护。受1年锁仓期和24个月线性解锁计划的约束。
- 战略增长基金 (18%): 指定用于企业集成和机构证明者引入,基于里程碑在12个月内解锁。
- 核心团队和早期贡献者 (23.5%):
- 核心团队 (20%): 分配给主要开发团队。
- RISC Zero (3.5%): 分配给孵化公司。
- 这两项分配均受1年锁仓期和24个月线性解锁计划的约束。
- 投资者 (21.5%): 用于战略合作伙伴,受1年锁仓期和24个月线性解锁计划的约束。
- 社区代币销售和空投 (~6%):
- 社区销售 (5%): 50%在代币生成事件 (TGE) 时解锁,剩余部分在六个月后解锁。
- 空投 (1%): 100%在TGE时为早期贡献者和社区成员解锁。
此分配结构在官方博客文章中详细说明。 [8]
该协议采用算法化的发行计划,将新的ZKC作为奖励引入生态系统。第一年的通货膨胀率设定为7%,之后逐渐下降,从第八年开始永久维持在3%。在这些发行量中,75%通过PoVW分配给证明者,25%分配给所有ZKC质押者。 [8]
Boundless由RISC Zero孵化,并获得了区块链行业内多个实体的支持。该项目的部分治理由Boundless基金会负责,该基金会管理生态系统基金以促进增长。 [8]
该项目得到了多家机构投资者的支持,包括Geometry Venture Development、IOSG Ventures、Figment Capital、Bain Capital Crypto、zkv、Fenbushi Capital、Galaxy、Delphi Ventures、Blockchain Capital和Maven11 Capital。其顾问包括业内知名人士,如Helius创始人Mert、Commonware创始人Patrick O'Grady、Celestia首席运营官Nick White以及斯坦福大学教授Dan Boneh。 [1]
在主网启动时,Boundless已经建立了集成,为几个主要的区块链生态系统提供证明,包括以太坊、比特币(通过BitVM)、Solana、Base、Unichain和OP Mainnet。该项目还支持像BOB(Build on Bitcoin)这样的混合设计。“The Signal”倡议的合作伙伴包括Stellar、Optimism和Taiko。Taiko,一个ZK-rollup项目,在主网启动后公开承认了与Boundless团队的持续合作。 [9] [5]
该协议旨在通过为任意复杂代码提供可验证的计算,为区块链生态系统的各个部分提供服务,允许开发者超越链上执行的限制。 [10]
- Taiko: 一个基于Type-1的zkEVM rollup,利用Boundless的多证明者网络生成其有效性证明。
- Citrea: 一个为比特币设计的ZK rollup,在比特币网络上记录承诺,并使用Boundless为智能合约执行和区块空间包含生成ZK证明。这增加了EVM风格的可编程性,同时继承了比特币的安全性。
- SOON: 一个基于 SVM 的 rollup 堆栈,允许开发者在任何链上结算。它使用通过 Boundless 生成的 ZK 欺诈证明,将挑战窗口从七天减少到大约三个小时,从而为用户实现更快的提款速度。
- BOB (Build on Bitcoin): 一个混合 比特币 rollup,运行 EVM 合约,但将最终性锚定到比特币。它使用 Boundless 来生成有效性证明,从而实现一小时的最终确认时间。
- Hibachi: 一个使用 Boundless 来证明其链下撮合引擎运行的交易所。每一批交易都经过验证,涵盖交易执行和交易所的偿付能力,使其资产负债表可以进行实时的密码学审计。
- Mendi Finance: 一个统一的借贷平台,将多个链上的流动性视为一个单一的池。它的核心逻辑,用 Solidity 编写,运行在 Boundless 上,允许大规模状态读取和复杂的利率计算在链下执行,没有 gas 限制。这使得用户可以在一个网络上提供 collateral 抵押品,并在另一个网络上借款,而无需托管桥。
这些用例展示了项目如何使用 Boundless 来卸载其最繁重的计算逻辑,获得更强的安全保障,并摆脱链上环境的限制。 [10]